UFNIA (Unsat Core Track)

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

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

Benchmarks: 3630
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	99372	938880.547	948512.444	749	0
cvc5	0	96878	949051.275	949209.954	726	0
Vampire	0	93427	1205767.067	976692.677	749	0
z3-4.8.17n	0	75076	673203.893	674272.764	468	4
UltimateEliminator+MathSAT	0	657	264145.791	253270.81	163	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Vampire	0	101085	1501179.197	784470.344	466	0
2020-CVC4-ucn	0	99372	947724.757	948477.484	749	0
cvc5	0	96878	949216.345	949178.834	726	0
z3-4.8.17n	0	75076	673681.763	674252.674	468	4
UltimateEliminator+MathSAT	0	657	264165.631	253263.63	162	0

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