SMT-Temporal-Planning-Benchmarks Benchmarks
Family
Name
SMT-Temporal-Planning-Benchmarks
Generation Date
None
First Occurrence
2013-07-02
Benchmarks
51
Benchmarks
QF_RDL
•
Charts
•
Solver Isomap
tms-2-3-light-03.smt2
cooking18.smt2
tempo-width-1.smt2
cooking06.smt2
cooking20.smt2
cooking01.smt2
cooking03.smt2
cooking11.smt2
tms-2-3-light-08.smt2
cooking16.smt2
tempo-width-3.smt2
tms-2-3-light-10.smt2
tempo-depth-2.smt2
cooking14.smt2
tms-2-3-light-40.smt2
cooking09.smt2
cooking19.smt2
tms-2-3-light-06.smt2
tempo-depth-3.smt2
tempo-width-2.smt2
cooking07.smt2
cooking02.smt2
tempo-matrix1x1.pddl.smt2
tempo-depth-5.smt2
cooking04.smt2
tms-2-3-light-07.smt2
cooking05.smt2
cooking17.smt2
cooking12.smt2
tms-2-3-light-05.smt2
tms-2-3-light-70.smt2
tms-2-3-light-60.smt2
tempo-depth-4.smt2
tms-2-3-light-30.smt2
cooking13.smt2
cooking08.smt2
tms-2-3-light-80.smt2
cooking10.smt2
tms-2-3-light-04.smt2
tms-2-3-light-09.smt2
tms-2-3-light-90.smt2
cooking15.smt2
cooking22.smt2
cooking21.smt2
tms-2-3-light-20.smt2
tempo-width-4.smt2
tempo-width-5.smt2
tempo-depth-6.smt2
tempo-depth-7.smt2
tempo-matrix2x2.pddl.smt2
tempo-width-6.smt2