QF_LinearIntArith (Unsat Core Track)

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

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

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

Logics:

• QF_IDL : 100 benchmarks
• QF_LIA : 1003 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
MathSATn	0	5238494	169654.648	169643.154		129	2
Yices2	0	5006882	136567.498	136583.072		102	0
z3-4.8.17n	0	4950336	161760.401	161706.501		122	0
2021-cvc5-ucn	0	4858335	206292.774	206899.307		148	0
smtinterpol	0	4794493	175050.529	165898.425		117	0
cvc5	0	4680564	229010.316	229022.923		164	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
MathSATn	0	5238494	169691.468	169637.514		129	2
Yices2	0	5006882	136578.908	136579.582		102	0
z3-4.8.17n	0	4950336	161777.061	161701.731		122	0
2021-cvc5-ucn	0	4858335	206769.514	206892.087		148	0
smtinterpol	0	4794495	175705.809	165777.575		115	0
cvc5	0	4680564	229039.996	229016.593		164	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.