QF_Datatypes (Unsat Core Track)

Competition results for the QF_Datatypes division in the Unsat Core Track.

Page generated on 2022-08-10 11:18:51 +0000

Benchmarks: 200
Time Limit: 1200 seconds
Memory Limit: 60 GB

Logics:

• QF_DT : 100 benchmarks
• QF_UFDT : 100 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
z3-4.8.17n	0	854021	146660.01	146716.406		92	0
2021-z3n	0	840410	150496.343	151407.411		96	0
cvc5	0	189461	217422.741	217454.181		162	0
smtinterpol	0	39537	231858.315	229200.035		184	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
z3-4.8.17n	0	854021	146698.21	146712.156		92	0
2021-z3n	0	840410	151152.623	151402.751		96	0
cvc5	0	189461	217443.691	217447.251		162	0
smtinterpol	0	83167	234082.645	227401.265		174	0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.