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
Logics:Winners
Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
---|
cvc5 | cvc5 | cvc5 | cvc5 | cvc5 |
Sequential Performance Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 2214 | 113772.887333 | 114018.230201 | 2214 | 637 | 1577 | 3951 | 0 | 2723 | 0 |
Bitwuzla | 0 | 913 | 31121.540494 | 31220.189361 | 913 | 405 | 508 | 2675 | 2577 | 387 | 0 |
SMTInterpol | 0 | 689 | 29664.004521 | 24586.256109 | 690 | 45 | 645 | 4765 | 710 | 2569 | 0 |
Parallel Performance Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 2214 | 113772.887333 | 114018.230201 | 2214 | 637 | 1577 | 3951 | 0 | 2723 | 0 |
Bitwuzla | 0 | 913 | 31121.540494 | 31220.189361 | 913 | 405 | 508 | 2675 | 2577 | 387 | 0 |
SMTInterpol | 0 | 690 | 30920.011664 | 25785.087325 | 690 | 45 | 645 | 4765 | 710 | 2569 | 0 |
SAT Performance Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 637 | 54645.217903 | 54720.645381 | 637 | 637 | 0 | 301 | 5227 | 107 | 0 |
Bitwuzla | 0 | 405 | 5053.471403 | 5094.869316 | 405 | 405 | 0 | 284 | 5476 | 46 | 0 |
SMTInterpol | 0 | 45 | 33.139743 | 24.358256 | 45 | 45 | 0 | 785 | 5335 | 254 | 0 |
UNSAT Performance Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 1577 | 59127.66943 | 59297.58482 | 1577 | 0 | 1577 | 1142 | 3446 | 1101 | 0 |
SMTInterpol | 0 | 645 | 30886.871921 | 25760.729069 | 645 | 0 | 645 | 1617 | 3903 | 1376 | 0 |
Bitwuzla | 0 | 508 | 26068.06909 | 26125.320045 | 508 | 0 | 508 | 522 | 5135 | 20 | 0 |
24 seconds Performance Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 1803 | 2318.811342 | 2499.28111 | 1803 | 385 | 1418 | 149 | 4213 | 0 | 0 |
Bitwuzla | 0 | 779 | 1840.360145 | 1918.774137 | 779 | 382 | 397 | 2280 | 3106 | 0 | 0 |
SMTInterpol | 0 | 612 | 3667.879897 | 1471.87422 | 612 | 45 | 567 | 1928 | 3625 | 0 | 0 |