UFDT (Unsat Core Track)

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

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

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

Winners

Sequential Performance	Parallel Performance
cvc5	Vampire

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2020-CVC4-ucn	0	338990	145815.803	149833.286	121	0
cvc5	0	336005	150262.624	150268.64	122	0
Vampire	0	335886	141537.348	114796.96	88	0
z3-4.8.17n	0	300866	201446.305	202234.786	111	8
smtinterpol	0	214962	605151.164	596484.726	482	0
UltimateEliminator+MathSAT	0	0	5534.462	3276.487	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Vampire	0	345585	186713.998	98326.999	58	0
2020-CVC4-ucn	0	338990	149830.613	149827.526	121	0
cvc5	0	336005	150286.554	150262.58	122	0
z3-4.8.17n	0	300866	201470.295	202229.526	111	8
smtinterpol	0	215636	626007.904	592937.307	469	0
UltimateEliminator+MathSAT	0	0	5534.462	3276.487	0	0

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