Benchmark

non-incremental/QF_UF/QG-classification/qg7/iso_brn_nogen_sk019.smt2 

http://www.cs.bham.ac.uk/~vxs/quasigroups/benchmark/
Benchmark
Size6011889
Compressed Size279705
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categorycrafted
First Occurrence2007-07-03
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status sat
Inferred Status sat
Size 6011881
Compressed Size279710
Max. Term Depth30
Asserts 5048
Declared Functions2
Declared Constants8
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not5460 or937 and242487 =248122
let5

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 CVC3 CVC3-SMT-COMP-2010 default sat ✅ 9.35241 —
CVC3-SMT-COMP-2011 default sat ✅ 8.66553 —
CVC3-SMT-COMP-2012 default sat ✅ 8.19760 —
CVC4 CVC4-SMT-COMP-2011 default sat ✅ 5.82250 —
CVC4-SMT-COMP-2012-Resubmission default sat ✅ 7.47362 —
CVC4-SMT-EVAL-2013 default sat ✅ 5.50908 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 2.21574 —
MathSAT5-SMT-COMP-2010 default sat ✅ 3.10933 —
MathSAT5-SMT-COMP-2011 default sat ✅ 2.87723 —
MathSAT5-SMT-COMP-2012 default sat ✅ 2.80663 —
test_pmathsat-SMT-COMP-2010 default sat ✅ 1.98049 —
OpenSMT OpenSMT-SMT-COMP-2010 default sat ✅ 2.43863 —
OpenSMT-SMT-COMP-2011 default sat ✅ 3.17365 —
OpenSMT-SMT-EVAL-2013 default sat ✅ 186.55900 —
SMTInterpol SMTInterpol-2.0r8402-SMT-EVAL-2013 default sat ✅ 7.16718 —
SMTInterpol-SMT-COMP-2011 default sat ✅ 8.34694 —
SMTInterpol-SMT-COMP-2012 default sat ✅ 5.81435 —
veriT veriT-SMT-COMP-2010 default sat ✅ 3.78233 —
veriT-SMT-COMP-2011 default sat ✅ 3.06194 —
veriT-SMT-EVAL-2013 default sat ✅ 2.05402 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 1.41792 —
Z3-SMT-COMP-2011 default sat ✅ 1.59810 —
SMT-COMP 2014 CVC4 CVC4 f7118b2 default sat ✅ 6.29595 6.28904
MathSAT MathSAT-5.2.12-Main default sat ✅ 2.29836 2.29765
OpenSMT opensmt2-2014-06-14c default sat ✅ 4.65397 4.64629
SMTInterpol smtinterpol-2.1-118-g3dada2f default sat ✅ 7.42274 10.71240
veriT veriT-smtcomp2014 default sat ✅ 2.24991 2.24066
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 0.55248 0.53892
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 1.32515 1.31680
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 6.75397 6.75197
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 6.64507 6.64599
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 1.37988 1.37979
OpenSMT OpenSMT2 default sat ✅ 88.26920 88.30560
OpenSMT2-parallel default sat ✅ 11.40780 28.32870
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 7.22454 10.83440
SMT-RAT SMT-RAT-final default sat ✅ 12.95220 12.95800
veriT veriT default sat ✅ 2.17216 2.17167
Yices2 Yices default sat ✅ 0.53632 0.53492
Z3 z3 4.4.0 default sat ✅ 1.33859 1.33880
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 6.81984 6.82392
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 1.19266 1.19459
OpenSMT OpenSMT2-2016-05-12 default sat ✅ 3.87777 3.88029
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 6.73063 14.14310
Toysmt toysmt default sat ✅ 50.59800 50.61280
veriT veriT-dev default sat ✅ 0.94729 0.94785
Yices2 Yices-2.4.2 default sat ✅ 0.52600 0.52626
Z3 z3-4.4.1 default sat ✅ 1.30692 1.30896
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 7.18402 7.18295
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 1.30570 1.30523
OpenSMT opensmt2-2017-06-04 default sat ✅ 3.84698 3.84515
SMTInterpol SMTInterpol default sat ✅ 6.94935 11.57510
veriT veriT-2017-06-17 default sat ✅ 0.90604 0.90580
Yices2 Yices2-Main default sat ✅ 0.48225 0.48124
Z3 z3-4.5.0 default sat ✅ 1.33784 1.33686
SMT-COMP 2018 CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 7.34908 7.34861
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 1.39531 1.39611
OpenSMT opensmt2_default sat ✅ 5.42434 5.42402
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 9.10386 15.28250
veriT veriT_default sat ✅ 0.97051 0.97070
Yices2 Yices 2.6.0_default sat ✅ 0.54202 0.53952
Z3 z3-4.7.1_default sat ✅ 1.45011 1.44981
SMT-COMP 2021 MathSAT mathsat-5.6.6_default sat ✅ 1.33863 1.33853
Par4 Par4-wrapped-sq_default sat ✅ 0.59216 1.08000
SMTInterpol smtinterpol-2.5-823-g881e8631_default sat ✅ 18.40550 35.65630
veriT veriT_default sat ✅ 0.94413 0.94413
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.51981 0.51978
Yices 2.6.2 for SMTCOMP2020_default sat ✅ 0.51690 0.51689
Z3 z3-4.8.11_default sat ✅ 1.41490 1.41487
z3-4.8.8_default sat ✅ 1.38137 1.38129
SMT-COMP 2024 cvc5 cvc5 sat ✅ 2.61644 2.51372
OpenSMT OpenSMT sat ✅ 2.71422 2.61381
plat-smt plat-smt sat ✅ 1.35613 1.25573
SMTInterpol SMTInterpol sat ✅ 8.96729 17.94949
Yices2 Yices2 sat ✅ 0.64786 0.54798
Z3alpha Z3-alpha sat ✅ 1.81714 1.71729
SMT-COMP 2025 cvc5 cvc5 sat ✅ 2.53703 2.41602
OpenSMT OpenSMT sat ✅ 2.07203 1.93731
SMTInterpol SMTInterpol sat ✅ 6.62728 13.30739
Yices2 Yices2 sat ✅ 0.56026 0.43612