QF_LinearIntArith (Unsat Core Track)

Competition results for the QF_LinearIntArith division in the Unsat Core Track.

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

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

Logics:

• QF_IDL : 100 benchmarks
• QF_LIA : 982 benchmarks
• QF_LIRA : 5 benchmarks

Winners

Sequential Performance	Parallel Performance
Yices2	Yices2

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Yices2	0	4898708	11847.253	11782.92		104	1
2022-MathSATn	0	4788043	11349.743	11305.511		142	1
cvc5	0	3950610	27509.931	27464.657		145	0
SMTInterpol	0	3764403	24436.916	17318.239		125	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Yices2	0	4898708	11847.253	11782.92		104	1
2022-MathSATn	0	4788043	11349.743	11305.511		142	1
cvc5	0	3950610	21510.831	21464.347		145	0
SMTInterpol	0	3779019	27390.816	18979.599		123	0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.