Equality+MachineArith (Unsat Core Track)

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

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

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

Logics:

• ABV : 23 benchmarks
• ABVFP : 1 benchmarks
• ABVFPLRA : 4 benchmarks
• AUFBVDTLIA : 166 benchmarks
• AUFBVDTNIA : 3 benchmarks
• AUFBVDTNIRA : 1062 benchmarks
• AUFFPDTNIRA : 132 benchmarks
• UFFPDTNIRA : 319 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
z3-4.8.17n	0	88967	755598.366	755717.903		545	0
cvc5	0	49431	1239141.11	1239473.96		1028	1
2021-cvc5-ucn	0	6353	66189.065	66223.372		54	0
UltimateEliminator+MathSAT	0	0	7970.464	4754.841		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
z3-4.8.17n	0	88967	755692.666	755694.733		545	0
cvc5	0	49431	1239434.59	1239424.81		1028	1
2021-cvc5-ucn	0	6353	66199.085	66221.602		54	0
UltimateEliminator+MathSAT	0	0	7970.464	4754.841		0	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.