zankl Benchmarks

Family
Namezankl
Generation DateNone
First Occurrence2010-07-15
Benchmarks166

Benchmarks

QF_NRA • Charts • Solver Isomap
matrix-3-all-19.smt2
gen-04.smt2
matrix-1-all-27.smt2
gen-03.smt2
matrix-2-all-17.smt2
matrix-4-all-27.smt2
matrix-4-all-01.smt2
matrix-1-all-42.smt2
matrix-5-all-25.smt2
matrix-2-all-19.smt2
matrix-2-all-14.smt2
matrix-1-all-56.smt2
matrix-4-all-12.smt2
gen-18.smt2
matrix-2-all-2.smt2
matrix-1-all-37.smt2
matrix-3-all-12.smt2
matrix-4-all-20.smt2
matrix-1-all-33.smt2
gen-10.smt2
matrix-1-all-6.smt2
matrix-1-all-20.smt2
matrix-1-all-23.smt2
matrix-1-all-17.smt2
matrix-1-all-4.smt2
matrix-4-all-17.smt2
matrix-4-all-25.smt2
gen-13.smt2
gen-05.smt2
matrix-1-all-46.smt2
matrix-3-all-5.smt2
matrix-1-all-41.smt2
gen-14.smt2
matrix-1-all-35.smt2
matrix-4-all-14.smt2
gen-07.smt2
matrix-1-all-44.smt2
matrix-5-all-10.smt2
matrix-4-all-9.smt2
matrix-1-all-01.smt2
matrix-4-all-3.smt2
matrix-4-all-15.smt2
matrix-1-all-31.smt2
matrix-4-all-33.smt2
matrix-1-all-9.smt2
matrix-1-all-47.smt2
matrix-5-all-3.smt2
matrix-5-all-15.smt2
matrix-2-all-16.smt2
matrix-2-all-8.smt2
matrix-1-all-49.smt2
matrix-4-all-22.smt2
matrix-5-all-6.smt2
matrix-1-all-50.smt2
matrix-1-all-21.smt2
matrix-2-all-7.smt2
matrix-1-all-39.smt2
matrix-4-all-11.smt2
matrix-1-all-18.smt2
matrix-4-all-8.smt2
matrix-1-all-22.smt2
matrix-4-all-21.smt2
matrix-3-all-13.smt2
matrix-2-all-9.smt2
matrix-3-all-15.smt2
matrix-1-all-30.smt2
matrix-2-all-13.smt2
matrix-1-all-28.smt2
matrix-1-all-24.smt2
matrix-5-all-27.smt2
matrix-3-all-2.smt2
matrix-1-all-16.smt2
matrix-5-all-4.smt2
matrix-4-all-2.smt2
matrix-1-all-19.smt2
matrix-2-all-4.smt2
matrix-1-all-40.smt2
matrix-2-all-27.smt2
gen-17.smt2
matrix-5-all-2.smt2
matrix-4-all-18.smt2
gen-08.smt2
matrix-3-all-14.smt2
matrix-5-all-23.smt2
matrix-4-all-29.smt2
matrix-2-all-12.smt2
matrix-1-all-52.smt2
matrix-3-all-23.smt2
gen-09.smt2
matrix-2-all-10.smt2
matrix-3-all-11.smt2
matrix-1-all-5.smt2
gen-19.smt2
matrix-2-all-5.smt2
matrix-4-all-23.smt2
matrix-1-all-2.smt2
matrix-1-all-45.smt2
matrix-5-all-18.smt2
matrix-1-all-7.smt2
matrix-4-all-24.smt2
matrix-5-all-17.smt2
matrix-3-all-3.smt2
matrix-5-all-9.smt2
matrix-1-all-10.smt2
matrix-4-all-31.smt2
matrix-4-all-10.smt2
matrix-1-all-29.smt2
matrix-3-all-6.smt2
matrix-4-all-26.smt2
matrix-1-all-48.smt2
matrix-3-all-16.smt2
matrix-3-all-7.smt2
matrix-3-all-21.smt2
matrix-1-all-3.smt2
matrix-1-all-38.smt2
matrix-4-all-16.smt2
matrix-1-all-43.smt2
matrix-2-all-6.smt2
matrix-5-all-5.smt2
matrix-3-all-4.smt2
matrix-1-all-25.smt2
matrix-2-all-23.smt2
matrix-4-all-13.smt2
gen-16.smt2
matrix-1-all-11.smt2
matrix-1-all-13.smt2
gen-15.smt2
matrix-1-all-12.smt2
matrix-2-all-21.smt2
matrix-1-all-8.smt2
matrix-2-all-20.smt2
matrix-5-all-14.smt2
matrix-1-all-14.smt2
matrix-4-all-5.smt2
matrix-5-all-13.smt2
matrix-3-all-10.smt2
matrix-3-all-8.smt2
matrix-5-all-7.smt2
matrix-3-all-9.smt2
matrix-2-all-18.smt2
matrix-4-all-7.smt2
matrix-1-all-36.smt2
matrix-5-all-11.smt2
matrix-1-all-34.smt2
matrix-2-all-11.smt2
matrix-3-all-17.smt2
matrix-4-all-4.smt2
matrix-2-all-25.smt2
matrix-4-all-6.smt2
matrix-5-all-19.smt2
matrix-2-all-3.smt2
matrix-1-all-54.smt2
matrix-2-all-01.smt2
matrix-1-all-32.smt2
matrix-3-all-01.smt2
matrix-5-all-20.smt2
matrix-5-all-16.smt2
gen-06.smt2
matrix-5-all-01.smt2
matrix-5-all-21.smt2
matrix-5-all-12.smt2
matrix-2-all-15.smt2
matrix-5-all-8.smt2
matrix-1-all-26.smt2
matrix-1-all-15.smt2
matrix-4-all-19.smt2