Benchmark

non-incremental/QF_IDL/asp/BlockedNQueens/156.48.1960.36.1721347806.dat.smt2 

Benchmark without description.
Benchmark
Size698264
Compressed Size55921
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 698256
Compressed Size55927
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants9857
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true6808 not2952 and1 =>4056
=11884 -2364 >=336

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.40 (3/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 ✅ 74.25240 —
CVC4-SMT-EVAL-2013 default sat ✅ 102.62700 —
OpenSMT OpenSMT-SMT-COMP-2010 default unknown ❌ — —
OpenSMT-SMT-COMP-2011 default unknown ❌ — —
veriT veriT-SMT-COMP-2010 default unknown ❌ — —
veriT-SMT-COMP-2011 default unknown ❌ — —
veriT-SMT-EVAL-2013 default sat ✅ 257.17600 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 31.50040 —
Z3-SMT-COMP-2011 default sat ✅ 3.17657 —
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 104.64700 104.67200
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 101.77500 101.78500
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 490.35200 512.74100
veriT veriT default sat ✅ 115.45300 115.50000
Yices2 Yices default sat ✅ 6.61742 6.61899
Z3 z3 4.4.0 default sat ✅ 34.45580 34.46980
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 28.91470 28.93460
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 438.86500 454.08800
veriT veriT-dev default sat ✅ 78.30370 78.34880
Yices2 Yices-2.4.2 default sat ✅ 6.38286 6.38663
Z3 z3-4.4.1 default sat ✅ 42.03790 42.06760
SMT-COMP 2017 0.20 (4/5) CVC4 CVC4-smtcomp2017-main default sat ✅ 47.36030 47.32670
SMTInterpol SMTInterpol default unknown ❌ 600.03600 622.97000
veriT veriT-2017-06-17 default sat ✅ 86.33130 86.32210
Yices2 Yices2-Main default sat ✅ 8.66679 8.66664
Z3 z3-4.5.0 default sat ✅ 40.90600 40.89210
SMT-COMP 2018 0.29 (5/7) CVC4 CVC4-experimental-idl-2_default unknown ❌ 1200.06000 1200.10000
master-2018-06-10-b19c840-competition-default_default sat ✅ 117.09300 117.08500
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unknown ❌ 1200.11000 1199.92000
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 933.13200 968.10400
SMT-RAT SMTRAT-Rat-final_default unknown ❌ 1200.01000 1199.94000
veriT veriT_default sat ✅ 110.68100 110.66900
Yices2 Yices 2.6.0_default sat ✅ 19.09110 19.08980
Z3 z3-4.7.1_default sat ✅ 50.21810 50.21830
SMT-COMP 2020 0.29 (5/7) CVC4 CVC4-sq-final_default sat ✅ 140.50000 140.49900
MathSAT MathSAT5_default.sh unknown ❌ 1200.04000 1199.94000
Par4 Par4-wrapped-sq_default sat ✅ 24.94960 98.68000
SMTInterpol smtinterpol-2.5-679-gacfde87a_default unknown ❌ 1200.08000 1224.10000
veriT veriT_default sat ✅ 42.88940 42.88900
Yices2 Yices 2.6.2 bug fix_default sat ✅ 21.74790 21.74500
Z3 z3-4.8.8_default sat ✅ 17.50230 17.50120
z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 44.87150 44.86810
SMT-COMP 2021 0.25 (6/8) cvc5 cvc5-fixed_default sat ✅ 94.66290 94.64780
MathSAT mathsat-5.6.6_default unknown ❌ 1200.11000 1199.27000
OpenSMT OpenSMT-fixed_default sat ✅ 1090.37000 1090.29000
Par4 Par4-wrapped-sq_default sat ✅ 18.82490 74.20000
SMTInterpol smtinterpol-2.5-823-g881e8631_default unknown ❌ 1200.11000 1227.22000
veriT veriT_default sat ✅ 107.51000 107.47000
YicesLS YicesLS_0611_1448_default sat ✅ 16.61970 16.61950
Z3 z3-4.8.11_default sat ✅ 32.94740 32.94220
SMT-COMP 2022 0.17 (5/6) cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 76.84780 76.84570
MathSAT MathSAT-5.6.8_default unknown ❌ 1200.02000 1199.93000
Par4 Par4-wrapped-sq_default sat ✅ 16.59980 65.44000
veriT veriT_default sat ✅ 31.25730 31.24070
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 15.16850 15.16040
Z3 z3-4.8.17_default sat ✅ 42.29210 42.28900
SMT-COMP 2024 0.40 (3/5) cvc5 cvc5 sat ✅ 83.92159 83.81402
OpenSMT OpenSMT unknown ❌ 1201.21602 1200.72096
SMTInterpol SMTInterpol unknown ❌ 1201.72246 1257.40398
Yices2 Yices2 sat ✅ 22.45320 22.35285
Z3alpha Z3-alpha sat ✅ 33.83437 33.72828
SMT-COMP 2025 0.33 (4/6) cvc5 cvc5 sat ✅ 75.66726 75.52450
OpenSMT OpenSMT unknown ❌ 1201.29149 1201.07319
SMTInterpol SMTInterpol unknown ❌ 1201.34461 1257.61906
Yices2 Yices2 sat ✅ 13.83517 13.70670
Z3alpha Z3-alpha sat ✅ 34.66393 136.83474
Z3 Z3-alpha-base sat ✅ 28.57091 28.44247