AUFNIRA (Unsat Core Track)

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

Page generated on 2021-07-18 17:31:25 +0000

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

Winners

Sequential Performance	Parallel Performance
cvc5-uc	cvc5-uc

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2020-CVC4-ucn	0	18144	8399.491	8402.035	6	0
cvc5-uc	0	17861	11002.959	11003.148	9	0
z3n	0	16403	6704.109	7227.973	1	0
Vampire	0	15373	13302.986	12373.1	10	0
UltimateEliminator+MathSAT	0	312	2712.352	1564.665	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2020-CVC4-ucn	0	18144	8401.551	8401.735	6	0
cvc5-uc	0	17861	11005.509	11002.828	9	0
Vampire	0	16591	17279.106	9823.129	6	0
z3n	0	16403	6704.639	7227.953	1	0
UltimateEliminator+MathSAT	0	312	2712.352	1564.665	0	0

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