QF_ALIA (Unsat Core Track)

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

Page generated on 2023-07-06 16:05:43 +0000

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

Winners

Sequential Performance	Parallel Performance
SMTInterpol	SMTInterpol

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
SMTInterpol	0	696	32.984	17.439	0	0
2022-Yices2n	0	568	0.155	0.343	0	0
Yices2	0	568	0.159	0.347	0	0
cvc5	0	0	0.957	0.945	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
SMTInterpol	0	696	32.984	17.439	0	0
2022-Yices2n	0	568	0.155	0.343	0	0
Yices2	0	568	0.159	0.347	0	0
cvc5	0	0	0.957	0.945	0	0

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