Benchmark

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

http://www.cs.bham.ac.uk/~vxs/quasigroups/benchmark/
Benchmark
Size6031463
Compressed Size294739
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 6031455
Compressed Size294727
Max. Term Depth30
Asserts 5049
Declared Functions2
Declared Constants7
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not5754 or1272 and242872 =248500
let7

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 CVC3 CVC3-SMT-COMP-2010 default sat ✅ 7.95122 —
CVC3-SMT-COMP-2011 default sat ✅ 7.36256 —
CVC3-SMT-COMP-2012 default sat ✅ 6.85258 —
CVC4 CVC4-SMT-COMP-2011 default sat ✅ 5.68525 —
CVC4-SMT-COMP-2012-Resubmission default sat ✅ 7.36696 —
CVC4-SMT-EVAL-2013 default sat ✅ 5.56716 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 2.21042 —
MathSAT5-SMT-COMP-2010 default sat ✅ 3.08248 —
MathSAT5-SMT-COMP-2011 default sat ✅ 2.80974 —
MathSAT5-SMT-COMP-2012 default sat ✅ 2.76375 —
test_pmathsat-SMT-COMP-2010 default sat ✅ 1.98925 —
OpenSMT OpenSMT-SMT-COMP-2010 default sat ✅ 2.55465 —
OpenSMT-SMT-COMP-2011 default sat ✅ 3.17495 —
OpenSMT-SMT-EVAL-2013 default sat ✅ 189.94000 —
SMTInterpol SMTInterpol-2.0r8402-SMT-EVAL-2013 default sat ✅ 6.65217 —
SMTInterpol-SMT-COMP-2011 default sat ✅ 8.11991 —
SMTInterpol-SMT-COMP-2012 default sat ✅ 7.17914 —
veriT veriT-SMT-COMP-2010 default sat ✅ 4.23201 —
veriT-SMT-COMP-2011 default sat ✅ 4.90838 —
veriT-SMT-EVAL-2013 default sat ✅ 2.07529 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 1.45015 —
Z3-SMT-COMP-2011 default sat ✅ 1.56036 —
SMT-COMP 2014 CVC4 CVC4 f7118b2 default sat ✅ 6.32269 6.31404
MathSAT MathSAT-5.2.12-Main default sat ✅ 2.32464 2.31665
OpenSMT opensmt2-2014-06-14c default sat ✅ 4.68362 4.67629
SMTInterpol smtinterpol-2.1-118-g3dada2f default sat ✅ 7.34405 11.04230
veriT veriT-smtcomp2014 default sat ✅ 2.38489 2.37364
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 0.54338 0.53192
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 1.42576 1.41578
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 6.82679 6.82796
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 6.77370 6.77297
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 1.45898 1.45878
OpenSMT OpenSMT2 default sat ✅ 33.42210 33.42890
OpenSMT2-parallel default sat ✅ 13.14750 35.17470
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 6.98094 10.40340
SMT-RAT SMT-RAT-final default sat ✅ 12.93070 12.93400
veriT veriT default sat ✅ 2.18953 2.18967
Yices2 Yices default sat ✅ 0.53321 0.53192
Z3 z3 4.4.0 default sat ✅ 1.31324 1.31380
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 6.79019 6.79493
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 1.30248 1.30440
OpenSMT OpenSMT2-2016-05-12 default sat ✅ 4.49509 4.49782
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 6.68323 14.76230
Toysmt toysmt default sat ✅ 53.59270 53.62400
veriT veriT-dev default sat ✅ 0.99475 0.99618
Yices2 Yices-2.4.2 default sat ✅ 0.53852 0.53877
Z3 z3-4.4.1 default sat ✅ 1.45603 1.45816
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 7.26149 7.25900
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 1.39196 1.38897
OpenSMT opensmt2-2017-06-04 default sat ✅ 4.04811 4.04719
SMTInterpol SMTInterpol default sat ✅ 7.79485 17.73810
veriT veriT-2017-06-17 default sat ✅ 0.90741 0.90635
Yices2 Yices2-Main default sat ✅ 0.49807 0.49711
Z3 z3-4.5.0 default sat ✅ 1.27625 1.27581
SMT-COMP 2018 CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 7.51845 7.51767
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 1.36938 1.37033
OpenSMT opensmt2_default sat ✅ 4.85285 4.85291
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 8.33541 13.89330
veriT veriT_default sat ✅ 0.97812 0.97825
Yices2 Yices 2.6.0_default sat ✅ 0.52311 0.52300
Z3 z3-4.7.1_default sat ✅ 1.49968 1.49952
SMT-COMP 2022 cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 7.84886 7.84598
MathSAT MathSAT-5.6.8_default sat ✅ 1.42563 1.42549
veriT veriT_default sat ✅ 0.95227 0.95250
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.51910 0.51905
Z3 z3-4.8.17_default sat ✅ 1.31016 1.31199
z3-4.8.11_default sat ✅ 1.26560 1.26543
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 4.22495 4.22527
OpenSMT OpenSMT a78dcf01_default sat ✅ 3.10197 3.10183
SMTInterpol smtinterpol-2.5-1272-g2d6d356c_default sat ✅ 10.39120 20.25880
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.52906 0.52896
Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.51969 0.51968
SMT-COMP 2024 cvc5 cvc5 sat ✅ 3.12464 3.02459
OpenSMT OpenSMT sat ✅ 2.78480 2.68478
plat-smt plat-smt sat ✅ 1.22540 1.12509
SMTInterpol SMTInterpol sat ✅ 9.44478 18.62772
Yices2 Yices2 sat ✅ 0.60954 0.50927
Z3alpha Z3-alpha sat ✅ 2.18958 2.08911
SMT-COMP 2025 cvc5 cvc5 sat ✅ 2.56814 2.44087
OpenSMT OpenSMT sat ✅ 2.11344 1.98511
SMTInterpol SMTInterpol sat ✅ 7.01945 13.57616
Yices2 Yices2 sat ✅ 0.56363 0.44634