Equality_MachineArith (Single Query Track)

Competition results for the Equality_MachineArith division in the Single Query Track.

Results were generated on 2024-07-08

Benchmarks: 6165
Time Limit: 1200 seconds
Memory Limit: 20480 GB

• ABV : 2487 benchmarks
• ABVFP : 60 benchmarks
• ABVFPLRA : 77 benchmarks
• AUFBV : 761 benchmarks
• AUFBVDTLIA : 784 benchmarks
• AUFBVDTNIA : 8 benchmarks
• AUFBVDTNIRA : 1062 benchmarks
• AUFBVFP : 57 benchmarks
• AUFFPDTNIRA : 159 benchmarks
• UFBV : 144 benchmarks
• UFBVDT : 1 benchmarks
• UFBVFP : 2 benchmarks
• UFBVLIA : 208 benchmarks
• UFFPDTNIRA : 355 benchmarks

Winners

Sequential Performance

Parallel Performance

SAT Performance

UNSAT Performance

24 seconds Performance