UFNIA (Unsat Core Track)

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

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

Benchmarks: 1588
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
cvc5-uc	0	90396	418188.528	418175.582	298	0
2020-CVC4-ucn	0	90245	316456.429	316494.199	227	0
Vampire	0	82486	365025.396	293296.931	223	0
z3n	0	66551	163317.023	163895.474	88	1
SMTInterpol	0	326	2334.502	1064.127	0	0
UltimateEliminator+MathSAT	0	90	319123.475	311349.213	229	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
cvc5-uc	0	90396	418253.998	418162.912	298	0
2020-CVC4-ucn	0	90245	316533.709	316483.919	227	0
Vampire	0	84313	451111.926	223598.748	120	0
z3n	0	66551	163521.843	163891.704	88	1
SMTInterpol	0	326	2334.502	1064.127	0	0
UltimateEliminator+MathSAT	0	90	319180.665	311344.633	228	0

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