Equality_MachineArith (Single Query Track)

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

Results were generated on 2025-08-11

Benchmarks: 8931
Time Limit: 1200 seconds
Memory Limit: 30720 GB

• ABV : 2487 benchmarks
• ABVFP : 60 benchmarks
• ABVFPLRA : 77 benchmarks
• AUFBV : 761 benchmarks
• AUFBVDTLIA : 784 benchmarks
• AUFBVDTNIA : 300 benchmarks
• AUFBVDTNIRA : 2520 benchmarks
• AUFBVFP : 57 benchmarks
• AUFBVFPDTNIRA : 117 benchmarks
• AUFFPDTNIRA : 159 benchmarks
• UFBV : 144 benchmarks
• UFBVDT : 1 benchmarks
• UFBVDTLIA : 24 benchmarks
• UFBVDTNIA : 157 benchmarks
• UFBVDTNIRA : 629 benchmarks
• UFBVFP : 2 benchmarks
• UFBVFPDTNIRA : 89 benchmarks
• UFBVLIA : 208 benchmarks
• UFFPDTNIRA : 355 benchmarks

Winners

Sequential Performance Performance

Parallel Performance Performance

SAT Performance Performance

UNSAT Performance Performance

24 seconds Performance Performance