Equality+LinearArith (Unsat Core Track)

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

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

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

Logics:

• ALIA : 401 benchmarks
• AUFDTLIA : 88 benchmarks
• AUFDTLIRA : 4986 benchmarks
• AUFLIA : 1296 benchmarks
• AUFLIRA : 9889 benchmarks
• UFDTLIA : 202 benchmarks
• UFDTLIRA : 2873 benchmarks
• UFIDL : 30 benchmarks
• UFLIA : 3915 benchmarks
• UFLRA : 10 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2021-cvc5-ucn	0	1476115	26569.756	26533.48		732	0
cvc5	0	1337345	48270.252	48162.886		701	0
SMTInterpol	0	1074292	164533.244	122646.698		3164	0
Vampire	0	703744	45713.94	12300.415		857	0
UltimateEliminator+MathSAT	5	6718	3239.325	2076.029		14	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2021-cvc5-ucn	0	1476115	26569.756	26533.48		732	0
cvc5	0	1337345	48270.252	48162.886		701	0
SMTInterpol	0	1075375	170725.774	128201.897		3128	0
Vampire	0	704875	83714.55	21855.87		680	0
UltimateEliminator+MathSAT	5	6718	3239.325	2076.029		14	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.