Benchmark

non-incremental/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A70.smt2 

TLP-GP automated DTP to SMT-LIB encoding for planning
by F.Maris and P.Regnier, IRIT - Universite Paul Sabatier, Toulouse
Benchmark
Size175275
Compressed Size15303
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2011-06-30
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status sat
Inferred Status sat
Size 175267
Compressed Size14865
Max. Term Depth327
Asserts 1
Declared Functions0
Declared Constants287
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

or606 and1 =1 let323
+1 -1447 <468 <=484
>214 >=1164

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 CVC3 CVC3-SMT-COMP-2010 default sat ✅ 43.15600 —
CVC3-SMT-COMP-2011 default sat ✅ 39.98440 —
CVC3-SMT-COMP-2012 default sat ✅ 40.78890 —
CVC4 CVC4-SMT-COMP-2010 default sat ✅ 0.73836 —
CVC4-SMT-COMP-2011 default sat ✅ 0.46952 —
CVC4-SMT-COMP-2012-Resubmission default sat ✅ 1.25075 —
CVC4-SMT-EVAL-2013 default sat ✅ 0.39972 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 0.14244 —
MathSAT5-SMT-COMP-2010 default sat ✅ 0.20178 —
MathSAT5-SMT-COMP-2011 default sat ✅ 0.18044 —
MathSAT5-SMT-COMP-2012 default sat ✅ 0.16215 —
test_pmathsat-SMT-COMP-2010 default sat ✅ 0.21924 —
OpenSMT OpenSMT-SMT-COMP-2010 default sat ✅ 2.79048 —
OpenSMT-SMT-COMP-2011 default sat ✅ 0.63330 —
SMTInterpol SMTInterpol-2.0r8402-SMT-EVAL-2013 default sat ✅ 1.60658 —
SMTInterpol-SMT-COMP-2011 default sat ✅ 1.72305 —
SMTInterpol-SMT-COMP-2012 default sat ✅ 1.54774 —
veriT veriT-SMT-EVAL-2013 default sat ✅ 0.32199 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 0.12094 —
Z3-SMT-COMP-2011 default sat ✅ 0.14370 —
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 0.54657 0.54392
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 0.55252 0.54992
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 0.16900 0.16797
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 1.67089 3.33249
SMT-RAT SMT-RAT-final default sat ✅ 9.50296 9.50555
veriT veriT default sat ✅ 0.09152 0.09098
Yices2 Yices default sat ✅ 0.02379 0.02300
Z3 z3 4.4.0 default sat ✅ 0.13597 0.13598
SMT-COMP 2016 0.11 (8/9) CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 0.49704 0.49752
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 0.14120 0.14229
OpenSMT OpenSMT2-2016-05-12 default sat ✅ 1.69870 1.69964
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 1.45122 4.48310
SMT-RAT SMT-RAT default sat ✅ 1.70847 1.70955
Toysmt toysmt default unknown ❌ 2400.03000 2400.79000
veriT veriT-dev default sat ✅ 0.08743 0.08758
Yices2 Yices-2.4.2 default sat ✅ 0.02652 0.02649
Z3 z3-4.4.1 default sat ✅ 0.13522 0.13661
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 0.52687 0.51872
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 0.13932 0.13959
OpenSMT opensmt2-2017-06-04 default sat ✅ 1.72039 1.72014
SMTInterpol SMTInterpol default sat ✅ 1.36449 4.30779
SMT-RAT SMTRAT-comp2017_2 default sat ✅ 3.31957 3.31825
veriT veriT-2017-06-17 default sat ✅ 0.08635 0.08595
Yices2 Yices2-Main default sat ✅ 0.02820 0.02749
Z3 z3-4.5.0 default sat ✅ 0.13433 0.13069
SMT-COMP 2018 Ctrl-Ergo Ctrl-Ergo-SMTComp-2018_default sat ✅ 1.69541 6.37000
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 0.48578 0.48562
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 0.15379 0.15481
OpenSMT opensmt2_default sat ✅ 0.64284 0.64275
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 1.10869 3.00262
SMT-RAT SMTRAT-Rat-final_default sat ✅ 8.72003 8.72006
SMTRAT-MCSAT-final_default unknown ❌ 1200.08000 1199.90000
veriT veriT_default sat ✅ 0.07624 0.07636
Yices2 Yices 2.6.0_default sat ✅ 0.02446 0.02441
Z3 z3-4.7.1_default sat ✅ 0.18128 0.18120
SMT-COMP 2021 MathSAT mathsat-5.6.6_default sat ✅ 0.16226 0.16214
mc2 mc2 2021-06-07_default.sh sat ✅ 7.73425 7.73372
Par4 Par4-wrapped-sq_default sat ✅ 0.08011 0.00875
SMTInterpol smtinterpol-2.5-823-g881e8631_default sat ✅ 1.96033 5.73743
veriT veriT_default sat ✅ 0.06644 0.06668
Z3 z3-4.8.11_default sat ✅ 0.18792 0.18780
SMT-COMP 2022 cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 1.03560 1.03610
MathSAT MathSAT-5.6.8_default sat ✅ 0.16058 0.16053
veriT veriT_default sat ✅ 0.06687 0.06715
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.02755 0.02705
Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.02748 0.02740
Z3 z3-4.8.17_default sat ✅ 0.17413 0.17595
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 0.47483 0.47537
OpenSMT OpenSMT a78dcf01_default sat ✅ 0.07786 0.07782
SMTInterpol smtinterpol-2.5-1272-g2d6d356c_default sat ✅ 1.97623 5.76826
Yaga Yaga_SMT-COMP-2023_presubmition_default sat ✅ 0.07443 0.07437
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.02703 0.02695
Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.02657 0.02652
Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.02646 0.02644
SMT-COMP 2024 cvc5 cvc5 sat ✅ 0.63100 0.52658
OpenSMT OpenSMT sat ✅ 0.26695 0.16714
SMTInterpol SMTInterpol sat ✅ 2.40261 6.90893
Yices2 Yices2 sat ✅ 0.23200 0.13243
Z3alpha Z3-alpha sat ✅ 0.37919 0.27912