Benchmark

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

http://www.cs.bham.ac.uk/~vxs/quasigroups/benchmark/
Benchmark
Size810982
Compressed Size33740
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 810974
Compressed Size33727
Max. Term Depth30
Asserts 5049
Declared Functions1
Declared Constants9
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not5460 or943 and25774 =31416
let5

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 CVC3 CVC3-SMT-COMP-2010 default sat ✅ 1.38909 —
CVC3-SMT-COMP-2011 default sat ✅ 1.31180 —
CVC3-SMT-COMP-2012 default sat ✅ 1.25019 —
CVC4 CVC4-SMT-COMP-2011 default sat ✅ 0.74856 —
CVC4-SMT-COMP-2012-Resubmission default sat ✅ 0.86398 —
CVC4-SMT-EVAL-2013 default sat ✅ 0.85495 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 0.35548 —
MathSAT5-SMT-COMP-2010 default sat ✅ 0.61402 —
MathSAT5-SMT-COMP-2011 default sat ✅ 0.48526 —
MathSAT5-SMT-COMP-2012 default sat ✅ 0.46655 —
test_pmathsat-SMT-COMP-2010 default sat ✅ 0.33789 —
OpenSMT OpenSMT-SMT-COMP-2010 default sat ✅ 0.42047 —
OpenSMT-SMT-COMP-2011 default sat ✅ 0.46531 —
OpenSMT-SMT-EVAL-2013 default sat ✅ 7.86214 —
SMTInterpol SMTInterpol-2.0r8402-SMT-EVAL-2013 default sat ✅ 2.29277 —
SMTInterpol-SMT-COMP-2011 default sat ✅ 2.21786 —
SMTInterpol-SMT-COMP-2012 default sat ✅ 1.77782 —
veriT veriT-SMT-COMP-2010 default sat ✅ 0.97232 —
veriT-SMT-COMP-2011 default sat ✅ 0.84207 —
veriT-SMT-EVAL-2013 default sat ✅ 0.31915 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 0.26057 —
Z3-SMT-COMP-2011 default sat ✅ 0.32059 —
SMT-COMP 2014 CVC4 CVC4 f7118b2 default sat ✅ 0.97168 0.96085
MathSAT MathSAT-5.2.12-Main default sat ✅ 0.38417 0.37594
OpenSMT opensmt2-2014-06-14c default sat ✅ 1.03711 1.02784
SMTInterpol smtinterpol-2.1-118-g3dada2f default sat ✅ 2.34768 5.11022
veriT veriT-smtcomp2014 default sat ✅ 0.40470 0.39594
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 0.20035 0.19197
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 0.28281 0.27496
SMT-COMP 2015 CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 1.04921 1.04784
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 1.04559 1.04384
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 0.30884 0.30795
OpenSMT OpenSMT2 default sat ✅ 2.84307 2.84357
OpenSMT2-parallel default sat ✅ 3.02950 4.66529
SMTInterpol SMTInterpol v2.1-206-g86e9531 default sat ✅ 2.84034 6.38903
SMT-RAT SMT-RAT-final default sat ✅ 2.26863 2.26865
veriT veriT default sat ✅ 0.31803 0.31695
Yices2 Yices default sat ✅ 0.09401 0.09298
Z3 z3 4.4.0 default sat ✅ 0.24447 0.24396
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 1.04412 1.04502
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 0.42223 0.42339
OpenSMT OpenSMT2-2016-05-12 default sat ✅ 0.66394 0.66439
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 2.04361 6.81372
Toysmt toysmt default sat ✅ 23.72190 23.73760
veriT veriT-dev default sat ✅ 0.19598 0.19618
Yices2 Yices-2.4.2 default sat ✅ 0.11069 0.11106
Z3 z3-4.4.1 default sat ✅ 0.44552 0.44709
SMT-COMP 2017 CVC4 CVC4-smtcomp2017-main default sat ✅ 1.16477 1.16405
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 0.31805 0.31803
OpenSMT opensmt2-2017-06-04 default sat ✅ 0.44944 0.44811
SMTInterpol SMTInterpol default sat ✅ 2.30714 7.44702
veriT veriT-2017-06-17 default sat ✅ 0.17597 0.17496
Yices2 Yices2-Main default sat ✅ 0.09521 0.09518
Z3 z3-4.5.0 default sat ✅ 0.33945 0.33933
SMT-COMP 2018 CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 1.13487 1.13480
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 0.25633 0.25721
OpenSMT opensmt2_default sat ✅ 1.07859 1.07825
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default sat ✅ 2.30367 6.30310
veriT veriT_default sat ✅ 0.17057 0.17073
Yices2 Yices 2.6.0_default sat ✅ 0.12945 0.12901
Z3 z3-4.7.1_default sat ✅ 0.37136 0.37129
SMT-COMP 2022 cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 1.49844 1.49607
MathSAT MathSAT-5.6.8_default sat ✅ 0.32470 0.32407
veriT veriT_default sat ✅ 0.18318 0.18338
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.13264 0.13262
Z3 z3-4.8.17_default sat ✅ 0.42931 0.43112
z3-4.8.11_default sat ✅ 0.44008 0.43822
SMT-COMP 2024 cvc5 cvc5 sat ✅ 0.74191 0.64195
OpenSMT OpenSMT sat ✅ 0.63213 0.53206
plat-smt plat-smt sat ✅ 0.42069 0.31999
SMTInterpol SMTInterpol sat ✅ 2.70562 7.80443
Yices2 Yices2 sat ✅ 0.38132 0.28111
Z3alpha Z3-alpha sat ✅ 0.63332 0.53360