Benchmark

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

http://www.cs.bham.ac.uk/~vxs/quasigroups/benchmark/
Benchmark
Size80770
Compressed Size11312
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 80762
Compressed Size11317
Max. Term Depth57
Asserts 18
Declared Functions2
Declared Constants7
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not1064 or1320 and1630 =2275
let42

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 CVC3 CVC3-SMT-COMP-2010 default sat ✅ 2.68728 —
CVC3-SMT-COMP-2011 default sat ✅ 2.55553 —
CVC3-SMT-COMP-2012 default sat ✅ 2.53629 —
CVC4 CVC4-SMT-COMP-2011 default sat ✅ 0.40777 —
CVC4-SMT-COMP-2012-Resubmission default sat ✅ 0.29673 —
CVC4-SMT-EVAL-2013 default sat ✅ 0.38489 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 0.37777 —
MathSAT5-SMT-COMP-2010 default sat ✅ 0.72175 —
MathSAT5-SMT-COMP-2011 default sat ✅ 0.34332 —
MathSAT5-SMT-COMP-2012 default sat ✅ 0.64317 —
test_pmathsat-SMT-COMP-2010 default sat ✅ 0.23161 —
OpenSMT OpenSMT-SMT-COMP-2010 default sat ✅ 0.17079 —
OpenSMT-SMT-COMP-2011 default sat ✅ 0.40241 —
OpenSMT-SMT-EVAL-2013 default sat ✅ 4.37233 —
SMTInterpol SMTInterpol-2.0r8402-SMT-EVAL-2013 default sat ✅ 2.30695 —
SMTInterpol-SMT-COMP-2011 default sat ✅ 1.63911 —
SMTInterpol-SMT-COMP-2012 default sat ✅ 1.53233 —
veriT veriT-SMT-COMP-2010 default sat ✅ 2.19699 —
veriT-SMT-COMP-2011 default sat ✅ 1.41645 —
veriT-SMT-EVAL-2013 default sat ✅ 0.49034 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 0.22648 —
Z3-SMT-COMP-2011 default sat ✅ 0.17435 —
SMT-COMP 2014 CVC4 CVC4 f7118b2 default sat ✅ 0.21388 0.20497
MathSAT MathSAT-5.2.12-Main default sat ✅ 0.16459 0.15598
OpenSMT opensmt2-2014-06-14c default sat ✅ 0.64864 0.63990
SMTInterpol smtinterpol-2.1-118-g3dada2f default sat ✅ 1.11935 2.31665
veriT veriT-smtcomp2014 default sat ✅ 0.63797 0.62990
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 0.02879 0.02000
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 0.11104 0.10298
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 0.32776 0.32595
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 0.33138 0.32795
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 0.23805 0.23696
OpenSMT OpenSMT2 default sat ✅ 0.15333 0.15198
OpenSMT2-parallel default sat ✅ 0.15362 0.15198
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 1.26087 2.79757
SMT-RAT SMT-RAT-final default sat ✅ 0.44159 0.44093
veriT veriT default sat ✅ 0.09151 0.09098
Yices2 Yices default sat ✅ 0.02876 0.02799
Z3 z3 4.4.0 default sat ✅ 0.15408 0.15398
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 0.31487 0.31523
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 0.24874 0.24985
OpenSMT OpenSMT2-2016-05-12 default sat ✅ 0.13874 0.13875
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 1.00713 3.00653
Toysmt toysmt default sat ✅ 834.13200 834.60000
veriT veriT-dev default sat ✅ 0.06851 0.06863
Yices2 Yices-2.4.2 default sat ✅ 0.07103 0.07099
Z3 z3-4.4.1 default sat ✅ 0.14700 0.14835
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 0.30533 0.30438
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 0.17104 0.17150
OpenSMT opensmt2-2017-06-04 default sat ✅ 1.03092 1.03009
SMTInterpol SMTInterpol default sat ✅ 0.97763 2.86521
veriT veriT-2017-06-17 default sat ✅ 0.06392 0.06403
Yices2 Yices2-Main default sat ✅ 0.02841 0.02741
Z3 z3-4.5.0 default sat ✅ 0.14757 0.14679
SMT-COMP 2018 CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 0.39525 0.39533
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 0.26814 0.26938
OpenSMT opensmt2_default sat ✅ 0.36991 0.36981
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 0.97328 2.78016
veriT veriT_default sat ✅ 0.08919 0.08933
Yices2 Yices 2.6.0_default sat ✅ 0.02949 0.02939
Z3 z3-4.7.1_default sat ✅ 0.11300 0.11293
SMT-COMP 2021 MathSAT mathsat-5.6.6_default sat ✅ 0.20261 0.20256
Par4 Par4-wrapped-sq_default sat ✅ 0.02869 0.00630
SMTInterpol smtinterpol-2.5-823-g881e8631_default sat ✅ 1.38412 3.75560
veriT veriT_default sat ✅ 0.05961 0.05984
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.01896 0.01887
Yices 2.6.2 for SMTCOMP2020_default sat ✅ 0.02083 0.01900
Z3 z3-4.8.11_default sat ✅ 0.26902 0.26894
z3-4.8.8_default sat ✅ 0.29406 0.29395
SMT-COMP 2024 cvc5 cvc5 sat ✅ 0.51351 0.41247
OpenSMT OpenSMT sat ✅ 0.37939 0.27876
plat-smt plat-smt sat ✅ 0.30351 0.20359
SMTInterpol SMTInterpol sat ✅ 1.18074 3.11792
Yices2 Yices2 sat ✅ 0.37702 0.27661
Z3alpha Z3-alpha sat ✅ 0.37948 0.27953