QF_Equality+LinearArith (Unsat Core Track)

Competition results for the QF_Equality+LinearArith division in the Unsat Core Track.

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

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

Logics:

• QF_ALIA : 30 benchmarks
• QF_AUFLIA : 300 benchmarks
• QF_UFDTLIA : 11 benchmarks
• QF_UFDTLIRA : 17 benchmarks
• QF_UFIDL : 113 benchmarks
• QF_UFLIA : 26 benchmarks
• QF_UFLRA : 101 benchmarks

Winners

Sequential Performance	Parallel Performance
Yices2	Yices2

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2022-Yices2n	0	1092093	26528.56	26534.568		45	0
Yices2	0	1048219	25367.295	25372.775		48	0
cvc5	0	461775	9628.213	9628.623		102	0
SMTInterpol	0	316411	14052.295	9600.223		97	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2022-Yices2n	0	1092093	26528.56	26534.568		45	0
Yices2	0	1048219	25367.295	25372.775		48	0
cvc5	0	461775	9628.213	9628.623		102	0
SMTInterpol	0	322473	15740.175	10516.562		96	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.