Benchmark

non-incremental/QF_IDL/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=4.smt2 

Benchmark without description.
Benchmark
Size631460
Compressed Size66677
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 631452
Compressed Size66673
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants8209
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1652 not2626 or1 and3806
=>2500 =9458 -1500 >=250

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 ✅ 16.95990 —
CVC4-SMT-EVAL-2013 default sat ✅ 8.22481 —
OpenSMT OpenSMT-SMT-COMP-2010 default unknown ❌ — —
OpenSMT-SMT-COMP-2011 default unknown ❌ — —
veriT veriT-SMT-COMP-2010 default sat ✅ 575.61000 —
veriT-SMT-COMP-2011 default sat ✅ 93.92210 —
veriT-SMT-EVAL-2013 default sat ✅ 101.00800 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 6.54304 —
Z3-SMT-COMP-2011 default sat ✅ 16.12440 —
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 47.21850 47.23580
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 49.33690 49.33650
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 243.13300 252.30400
veriT veriT default sat ✅ 19.29360 19.29710
Yices2 Yices default sat ✅ 4.70849 4.70828
Z3 z3 4.4.0 default sat ✅ 4.22265 4.22436
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 76.22860 76.25800
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 46.86440 60.29700
veriT veriT-dev default sat ✅ 10.99020 10.99650
Yices2 Yices-2.4.2 default sat ✅ 0.56923 0.56971
Z3 z3-4.4.1 default sat ✅ 7.75387 7.75960
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 45.15340 45.14740
SMTInterpol SMTInterpol default sat ✅ 78.38800 92.02510
veriT veriT-2017-06-17 default sat ✅ 18.18020 18.17840
Yices2 Yices2-Main default sat ✅ 13.92920 13.92820
Z3 z3-4.5.0 default sat ✅ 12.02460 24.01380
SMT-COMP 2018 CVC4 CVC4-experimental-idl-2_default sat ✅ 951.54400 951.45000
master-2018-06-10-b19c840-competition-default_default sat ✅ 34.32850 34.32880
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 25.53030 25.52950
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 28.11090 38.12150
SMT-RAT SMTRAT-Rat-final_default sat ✅ 298.36700 298.34100
veriT veriT_default sat ✅ 27.71120 27.70960
Yices2 Yices 2.6.0_default sat ✅ 0.71239 0.71233
Z3 z3-4.7.1_default sat ✅ 34.02870 34.02880
SMT-COMP 2019 0.14 (6/7) CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 17.65920 17.65930
Par4 Par4-wrapped-sq_default sat ✅ 5.50714 21.54000
ProB ProB-wrapped-sq_default unknown ❌ 2400.05000 2399.63000
SMTInterpol smtinterpol-2.5-514-wrapped-sq_default sat ✅ 207.26000 221.05800
veriT veriT-wrapped-sq_default sat ✅ 24.39200 24.39260
Yices2 Yices 2.6.0_default sat ✅ 55.52430 55.51640
Yices 2.6.2-wrapped-sq_default sat ✅ 59.92540 59.92240
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 4.26010 4.25915
SMT-COMP 2020 CVC4 CVC4-sq-final_default sat ✅ 4.15886 4.15912
MathSAT MathSAT5_default.sh sat ✅ 8.27194 8.27186
Par4 Par4-wrapped-sq_default sat ✅ 12.26440 48.39000
SMTInterpol smtinterpol-2.5-679-gacfde87a_default sat ✅ 241.32100 256.62600
veriT veriT_default sat ✅ 63.68410 63.67520
Yices2 Yices 2.6.2 bug fix_default sat ✅ 11.34840 11.34820
Z3 z3-4.8.8_default sat ✅ 6.94603 6.94591
z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 10.49940 10.49840
SMT-COMP 2021 cvc5 cvc5-fixed_default sat ✅ 85.20860 85.18460
MathSAT mathsat-5.6.6_default sat ✅ 26.03100 26.02880
OpenSMT OpenSMT-fixed_default sat ✅ 646.84300 646.76100
Par4 Par4-wrapped-sq_default sat ✅ 6.46560 25.32000
SMTInterpol smtinterpol-2.5-823-g881e8631_default sat ✅ 35.67380 54.79000
veriT veriT_default sat ✅ 76.95970 76.96150
YicesLS YicesLS_0611_1448_default sat ✅ 6.19387 6.18783
Z3 z3-4.8.11_default sat ✅ 12.46080 12.46010
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 79.39700 79.38980
OpenSMT OpenSMT a78dcf01_default sat ✅ 711.48400 711.50800
Par4 Par4-wrapped-sq_default sat ✅ 6.09023 23.93000
SMTInterpol smtinterpol-2.5-1272-g2d6d356c_default sat ✅ 307.18500 327.20000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 26.48910 26.48560
Z3++ Z3++_sq_0526_default sat ✅ 21.88380 21.87960
SMT-COMP 2024 cvc5 cvc5 sat ✅ 97.58900 97.48061
OpenSMT OpenSMT sat ✅ 234.44381 234.14896
SMTInterpol SMTInterpol sat ✅ 53.19420 71.73549
Yices2 Yices2 sat ✅ 18.17912 18.07219
Z3alpha Z3-alpha sat ✅ 5.14002 5.04031