DTP Benchmarks
Family
Name
DTP
Generation Date
None
First Occurrence
2005-07-12
Benchmarks
60
Benchmarks
QF_IDL
•
Charts
•
Solver Isomap
DTP_k2_n35_c175_s12.smt2
DTP_k2_n35_c175_s18.smt2
DTP_k2_n35_c175_s17.smt2
DTP_k2_n35_c175_s14.smt2
DTP_k2_n35_c210_s20.smt2
DTP_k2_n35_c245_s10.smt2
DTP_k2_n35_c210_s17.smt2
DTP_k2_n35_c245_s4.smt2
DTP_k2_n35_c175_s13.smt2
DTP_k2_n35_c210_s15.smt2
DTP_k2_n35_c245_s12.smt2
DTP_k2_n35_c245_s5.smt2
DTP_k2_n35_c245_s11.smt2
DTP_k2_n35_c175_s4.smt2
DTP_k2_n35_c175_s9.smt2
DTP_k2_n35_c175_s15.smt2
DTP_k2_n35_c175_s5.smt2
DTP_k2_n35_c245_s13.smt2
DTP_k2_n35_c175_s1.smt2
DTP_k2_n35_c175_s10.smt2
DTP_k2_n35_c245_s6.smt2
DTP_k2_n35_c210_s19.smt2
DTP_k2_n35_c245_s8.smt2
DTP_k2_n35_c175_s8.smt2
DTP_k2_n35_c245_s17.smt2
DTP_k2_n35_c175_s7.smt2
DTP_k2_n35_c210_s2.smt2
DTP_k2_n35_c245_s7.smt2
DTP_k2_n35_c210_s18.smt2
DTP_k2_n35_c245_s3.smt2
DTP_k2_n35_c175_s3.smt2
DTP_k2_n35_c210_s6.smt2
DTP_k2_n35_c175_s20.smt2
DTP_k2_n35_c245_s20.smt2
DTP_k2_n35_c245_s2.smt2
DTP_k2_n35_c210_s11.smt2
DTP_k2_n35_c245_s15.smt2
DTP_k2_n35_c245_s14.smt2
DTP_k2_n35_c210_s4.smt2
DTP_k2_n35_c210_s14.smt2
DTP_k2_n35_c175_s16.smt2
DTP_k2_n35_c175_s11.smt2
DTP_k2_n35_c245_s19.smt2
DTP_k2_n35_c245_s9.smt2
DTP_k2_n35_c245_s16.smt2
DTP_k2_n35_c245_s18.smt2
DTP_k2_n35_c210_s7.smt2
DTP_k2_n35_c210_s5.smt2
DTP_k2_n35_c210_s13.smt2
DTP_k2_n35_c210_s10.smt2
DTP_k2_n35_c210_s8.smt2
DTP_k2_n35_c210_s3.smt2
DTP_k2_n35_c210_s12.smt2
DTP_k2_n35_c210_s16.smt2
DTP_k2_n35_c175_s6.smt2
DTP_k2_n35_c210_s1.smt2
DTP_k2_n35_c175_s2.smt2
DTP_k2_n35_c175_s19.smt2
DTP_k2_n35_c245_s1.smt2
DTP_k2_n35_c210_s9.smt2