Benchmark

non-incremental/QF_IDL/asp/HamiltonianPath/gryzzles.44.lp.smt2 

Benchmark without description.
Benchmark
Size370932
Compressed Size52684
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 370924
Compressed Size52694
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants4673
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true512 not3150 or516 and749
=>3153 =5932 -2144 >372
>=634

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.20 (4/5) CVC3 CVC3-SMT-COMP-2010 default unknown ❌ — —
CVC3-SMT-COMP-2011 default unknown ❌ — —
CVC3-SMT-COMP-2012 default unknown ❌ — —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 2.74879 —
CVC4-SMT-EVAL-2013 default sat ✅ 3.46101 —
OpenSMT OpenSMT-SMT-COMP-2010 default unknown ❌ — —
OpenSMT-SMT-COMP-2011 default sat ✅ 43.68590 —
veriT veriT-SMT-COMP-2010 default sat ✅ 565.76800 —
veriT-SMT-COMP-2011 default sat ✅ 368.37800 —
veriT-SMT-EVAL-2013 default sat ✅ 111.93000 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 0.42686 —
Z3-SMT-COMP-2011 default sat ✅ 0.38746 —
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 3.54268 3.54246
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 3.51629 3.51547
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 6.36926 13.42400
veriT veriT default sat ✅ 23.00810 23.00650
Yices2 Yices default sat ✅ 0.41633 0.41594
Z3 z3 4.4.0 default sat ✅ 0.54302 0.54292
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 3.63371 3.63590
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 4.30065 14.31900
veriT veriT-dev default sat ✅ 21.52620 21.53920
Yices2 Yices-2.4.2 default sat ✅ 0.53116 0.53141
Z3 z3-4.4.1 default sat ✅ 0.61055 0.61216
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 3.67419 3.67303
SMTInterpol SMTInterpol default sat ✅ 4.69309 12.83600
veriT veriT-2017-06-17 default sat ✅ 21.56140 21.55980
Yices2 Yices2-Main default sat ✅ 0.53338 0.53107
Z3 z3-4.5.0 default sat ✅ 0.70770 0.69647
SMT-COMP 2018 CVC4 CVC4-experimental-idl-2_default sat ✅ 244.49500 244.41800
master-2018-06-10-b19c840-competition-default_default sat ✅ 3.98629 3.98642
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 3.88972 3.89066
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 5.32913 13.14720
SMT-RAT SMTRAT-Rat-final_default sat ✅ 61.01910 61.01290
veriT veriT_default sat ✅ 20.69770 20.69840
Yices2 Yices 2.6.0_default sat ✅ 0.42599 0.42586
Z3 z3-4.7.1_default sat ✅ 0.52985 0.52978
SMT-COMP 2019 0.14 (6/7) CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 3.48701 3.48712
Par4 Par4-wrapped-sq_default sat ✅ 0.51314 0.00592
ProB ProB-wrapped-sq_default unknown ❌ 2400.09000 2400.03000
SMTInterpol smtinterpol-2.5-514-wrapped-sq_default sat ✅ 9.14703 21.64510
veriT veriT-wrapped-sq_default sat ✅ 21.97630 21.97550
Yices2 Yices 2.6.0_default sat ✅ 0.49505 0.49504
Yices 2.6.2-wrapped-sq_default sat ✅ 0.47405 0.47391
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 0.48315 0.48308
SMT-COMP 2021 cvc5 cvc5-fixed_default sat ✅ 4.31154 4.31175
MathSAT mathsat-5.6.6_default sat ✅ 3.85208 3.85208
OpenSMT OpenSMT-fixed_default sat ✅ 17.85830 17.85510
Par4 Par4-wrapped-sq_default sat ✅ 0.41720 0.00659
SMTInterpol smtinterpol-2.5-823-g881e8631_default sat ✅ 13.32550 28.15740
veriT veriT_default sat ✅ 7.70162 7.69981
YicesLS YicesLS_0611_1448_default sat ✅ 0.43800 0.43778
Z3 z3-4.8.11_default sat ✅ 0.65810 0.65803
SMT-COMP 2022 cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 6.29655 6.29159
MathSAT MathSAT-5.6.8_default sat ✅ 3.84011 3.83985
Par4 Par4-wrapped-sq_default sat ✅ 0.37746 0.00835
veriT veriT_default sat ✅ 7.11660 7.11212
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.35016 0.35013
Z3 z3-4.8.17_default sat ✅ 0.81586 0.81761
SMT-COMP 2024 cvc5 cvc5 sat ✅ 3.39357 3.29326
OpenSMT OpenSMT sat ✅ 18.24207 18.14183
SMTInterpol SMTInterpol sat ✅ 9.69074 23.51821
Yices2 Yices2 sat ✅ 0.50510 0.40567
Z3alpha Z3-alpha sat ✅ 0.76053 0.66075