Equality_MachineArith (Unsat Core Track)

Competition results for the Equality_MachineArith division in the Unsat Core Track. Chart

Results were generated on 2025-08-11

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

• ABV : 300 benchmarks
• ABVFPLRA : 1 benchmarks
• AUFBV : 1 benchmarks
• AUFBVDTLIA : 139 benchmarks
• AUFBVDTNIA : 300 benchmarks
• AUFBVDTNIRA : 2395 benchmarks
• AUFBVFPDTNIRA : 53 benchmarks
• AUFFPDTNIRA : 131 benchmarks
• UFBVDTLIA : 24 benchmarks
• UFBVDTNIA : 157 benchmarks
• UFBVDTNIRA : 493 benchmarks
• UFBVFPDTNIRA : 67 benchmarks
• UFFPDTNIRA : 300 benchmarks

Winners

Sequential Performance Performance

Parallel Performance Performance

UNSAT Performance Performance

24 seconds Performance Performance