Equality+MachineArith (Proof Exhibition Track)

Competition results for the Equality+MachineArith division in the Proof Exhibition Track.

Page generated on 2022-08-10 11:19:33 +0000

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

Logics:

• ABV : 23 benchmarks
• ABVFP : 1 benchmarks
• ABVFPLRA : 4 benchmarks
• AUFBV : 321 benchmarks
• AUFBVDTLIA : 171 benchmarks
• AUFBVDTNIA : 3 benchmarks
• AUFBVDTNIRA : 1062 benchmarks
• AUFBVFP : 24 benchmarks
• AUFFPDTNIRA : 132 benchmarks
• UFBV : 126 benchmarks
• UFBVFP : 1 benchmarks
• UFBVLIA : 8 benchmarks
• UFFPDTNIRA : 321 benchmarks

This track is experimental. Solvers are only ranked by performance, but no winner is selected.

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Unsolved	Abstained	Timeout	Memout
cvc5-lfsc	0	655	1554804.73	1554993.022	1542	0	640	640
cvc5	0	461	1780783.616	1780863.673	1736	0	794	672

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Unsolved	Abstained	Timeout	Memout
cvc5-lfsc	0	655	1554977.48	1554961.512	1542	0	640	640
cvc5	0	461	1780981.036	1780822.053	1736	0	794	672

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.