AUFLIRA (Unsat Core Track)

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

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

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

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2021-cvc5-ucn	0	181102	73252.881	73259.565	60	0
z3-4.8.17n	0	181071	11512.218	11503.782	6	0
cvc5	0	180991	55701.391	55710.065	41	0
Vampire	0	172332	43324.954	39446.14	31	0
smtinterpol	0	155904	363172.997	356898.379	289	0
UltimateEliminator+MathSAT	0	6786	50323.553	30315.235	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2021-cvc5-ucn	0	181102	73261.101	73257.185	60	0
z3-4.8.17n	0	181071	11514.708	11503.542	6	0
cvc5	0	180991	55709.031	55708.335	41	0
Vampire	0	172341	55194.814	30755.396	19	0
smtinterpol	0	155904	364656.277	356215.962	287	0
UltimateEliminator+MathSAT	0	6786	50323.553	30315.235	0	0

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