Benchmark

non-incremental/QF_UF/QG-classification/qg6/gensys_brn005.smt2 

http://www.cs.bham.ac.uk/~vxs/quasigroups/benchmark/
Benchmark
Size120468
Compressed Size8778
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 120460
Compressed Size8737
Max. Term Depth23
Asserts 730
Declared Functions1
Declared Constants6
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not999 or585 and3284 =4383
let7

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2007 Barcelogic Barcelogic 1.2 sat ✅ 0.90000 —
CVC3 CVC3 1.2 sat ✅ 3.20000 —
MathSAT MathSAT 4.0 sat ✅ 0.70000 —
Yices Yices 1.0 sat ✅ 0.10000 —
Yices 1.0.10 sat ✅ 0.50000 —
Z3 Z3 0.1 sat ✅ 0.30000 —
SMT Evaluation 2013 CVC3 CVC3-SMT-COMP-2010 default sat ✅ 2.91114 —
CVC3-SMT-COMP-2011 default sat ✅ 2.70527 —
CVC3-SMT-COMP-2012 default sat ✅ 2.64270 —
CVC4 CVC4-SMT-COMP-2011 default sat ✅ 0.57995 —
CVC4-SMT-COMP-2012-Resubmission default sat ✅ 0.46924 —
CVC4-SMT-EVAL-2013 default sat ✅ 1.09296 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 0.78888 —
MathSAT5-SMT-COMP-2010 default sat ✅ 0.15554 —
MathSAT5-SMT-COMP-2011 default sat ✅ 0.44992 —
MathSAT5-SMT-COMP-2012 default sat ✅ 0.26204 —
test_pmathsat-SMT-COMP-2010 default sat ✅ 0.15951 —
OpenSMT OpenSMT-SMT-COMP-2010 default sat ✅ 0.41435 —
OpenSMT-SMT-COMP-2011 default sat ✅ 0.08763 —
OpenSMT-SMT-EVAL-2013 default sat ✅ 2.98975 —
SMTInterpol SMTInterpol-2.0r8402-SMT-EVAL-2013 default sat ✅ 2.19701 —
SMTInterpol-SMT-COMP-2011 default sat ✅ 3.57249 —
SMTInterpol-SMT-COMP-2012 default sat ✅ 2.21253 —
veriT veriT-SMT-COMP-2010 default sat ✅ 3.58185 —
veriT-SMT-COMP-2011 default sat ✅ 0.98045 —
veriT-SMT-EVAL-2013 default sat ✅ 0.18184 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 0.16276 —
Z3-SMT-COMP-2011 default sat ✅ 0.17075 —
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 0.73410 0.73189
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 0.73395 0.73189
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 0.25387 0.25296
OpenSMT OpenSMT2 default sat ✅ 3.51406 3.51446
OpenSMT2-parallel default sat ✅ 2.72645 4.51331
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 3.05179 7.71883
SMT-RAT SMT-RAT-final default sat ✅ 0.88188 0.88087
veriT veriT default sat ✅ 0.10016 0.09898
Yices2 Yices default sat ✅ 0.41556 0.41494
Z3 z3 4.4.0 default sat ✅ 0.13620 0.13598
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 0.37900 0.37936
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 0.24629 0.24735
OpenSMT OpenSMT2-2016-05-12 default sat ✅ 1.06025 1.06090
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 2.01513 6.98536
Toysmt toysmt default sat ✅ 209.22800 209.29700
veriT veriT-dev default sat ✅ 0.07165 0.07247
Yices2 Yices-2.4.2 default sat ✅ 0.05466 0.05464
Z3 z3-4.4.1 default sat ✅ 0.25801 0.25947
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 0.19811 0.19758
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 0.31763 0.31796
OpenSMT opensmt2-2017-06-04 default sat ✅ 1.53695 1.53577
SMTInterpol SMTInterpol default sat ✅ 1.45068 4.25641
veriT veriT-2017-06-17 default sat ✅ 0.20211 0.20133
Yices2 Yices2-Main default sat ✅ 0.23641 0.23591
Z3 z3-4.5.0 default sat ✅ 0.86215 0.86144
SMT-COMP 2018 CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 0.42806 0.42824
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 0.17135 0.17242
OpenSMT opensmt2_default sat ✅ 1.16858 1.16855
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 2.01975 5.83664
veriT veriT_default sat ✅ 0.32894 0.32904
Yices2 Yices 2.6.0_default sat ✅ 0.35549 0.35531
Z3 z3-4.7.1_default sat ✅ 0.27347 0.27337
SMT-COMP 2022 cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 1.22380 1.22434
MathSAT MathSAT-5.6.8_default sat ✅ 0.16122 0.16117
veriT veriT_default sat ✅ 0.13478 0.13505
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.16129 0.16126
Z3 z3-4.8.17_default sat ✅ 0.06375 0.06553
z3-4.8.11_default sat ✅ 0.38516 0.38404
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 0.28297 0.28328
OpenSMT OpenSMT a78dcf01_default sat ✅ 0.14049 0.14046
SMTInterpol smtinterpol-2.5-1272-g2d6d356c_default sat ✅ 3.66753 10.56090
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.37293 0.37292
Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.36495 0.36488
SMT-COMP 2024 cvc5 cvc5 sat ✅ 1.70778 1.60817
OpenSMT OpenSMT sat ✅ 0.60587 0.50567
plat-smt plat-smt sat ✅ 0.25509 0.15467
SMTInterpol SMTInterpol sat ✅ 1.28907 3.51644
Yices2 Yices2 sat ✅ 0.39258 0.29186
Z3alpha Z3-alpha sat ✅ 0.99592 0.89571
SMT-COMP 2025 cvc5 cvc5 sat ✅ 0.67314 0.55862
OpenSMT OpenSMT sat ✅ 0.33963 0.22054
SMTInterpol SMTInterpol sat ✅ 2.95735 7.23215
Yices2 Yices2 sat ✅ 0.44639 0.33039