pidgeons Benchmarks

Family
Namepidgeons
Generation DateNone
First Occurrence2013-07-02
Benchmarks19

Benchmarks

QF_LIA • Charts • Solver Isomap
pigeon-hole-3.smt2
pigeon-hole-5.smt2
pigeon-hole-9.smt2
pigeon-hole-14.smt2
pigeon-hole-8.smt2
pigeon-hole-15.smt2
pigeon-hole-20.smt2
pigeon-hole-4.smt2
pigeon-hole-12.smt2
pigeon-hole-13.smt2
pigeon-hole-6.smt2
pigeon-hole-2.smt2
pigeon-hole-17.smt2
pigeon-hole-7.smt2
pigeon-hole-19.smt2
pigeon-hole-18.smt2
pigeon-hole-11.smt2
pigeon-hole-10.smt2
pigeon-hole-16.smt2