AUFNIRA (Unsat Core Track)

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

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

Benchmarks: 549
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	17761	19019.644	14704.3	11	0
2020-CVC4-ucn	0	17040	33918.946	33914.501	28	0
cvc5	0	17001	36612.378	36620.766	30	0
z3-4.8.17n	0	14899	27306.199	27708.895	12	1
UltimateEliminator+MathSAT	0	832	4048.156	2859.677	1	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Vampire	0	18639	20913.504	13385.257	9	0
2020-CVC4-ucn	0	17040	33926.916	33913.231	28	0
cvc5	0	17001	36619.778	36619.776	30	0
z3-4.8.17n	0	14899	27705.089	27708.325	12	1
UltimateEliminator+MathSAT	0	832	4048.156	2859.677	1	0

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