UFDTLIA (Unsat Core Track)

Competition results for the UFDTLIA logic in the Unsat Core Track.

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

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

Winners

Sequential Performance	Parallel Performance
Vampire	Vampire

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Vampire	0	1553	90652.173	88383.22	73	0
z3-4.8.17n	0	484	173704.26	174642.932	134	0
2021-cvc5-ucn	0	464	204202.792	207600.859	171	0
cvc5	0	427	208427.523	208487.299	172	0
smtinterpol	0	239	213212.898	212953.861	176	0
UltimateEliminator+MathSAT	0	0	954.138	559.272	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Vampire	0	1553	94252.353	88379.68	73	0
z3-4.8.17n	0	484	173744.43	174636.232	134	0
2021-cvc5-ucn	0	464	207627.542	207592.259	171	0
cvc5	0	427	208478.233	208478.749	172	0
smtinterpol	0	239	213212.898	212953.861	176	0
UltimateEliminator+MathSAT	0	0	954.138	559.272	0	0

n Non-competing.
N/A: Benchmarks not known to be SAT/UNSAT, respectively.