QF_UFIDL (Unsat Core Track)
Competition results for the QF_UFIDL
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 113
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
---|
SMTInterpol | cvc5 | - | cvc5 | Yices2 |
Sequential Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 71038 | 5070.423342 | 2383.993157 | 24 | 0 | 24 | 89 | 0 | 89 | 0 |
cvc5 | 0 | 15965 | 735.148182 | 737.145508 | 16 | 0 | 16 | 97 | 0 | 97 | 0 |
OpenSMT | 2 | 594045 | 27127.111064 | 27140.997452 | 67 | 0 | 67 | 46 | 0 | 44 | 0 |
Yices2 | 3 | 716326 | 21166.739269 | 21178.987556 | 69 | 0 | 69 | 44 | 0 | 41 | 0 |
Parallel Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 1.161123e+06 | 117224.780275 | 117304.509672 | 16 | 0 | 16 | 97 | 0 | 97 | 0 |
SMTInterpol | 0 | 1.120061e+06 | 156899.359976 | 113346.488391 | 24 | 0 | 24 | 89 | 0 | 89 | 0 |
OpenSMT | 2 | 1.150563e+06 | 79967.658451 | 79999.227752 | 67 | 0 | 67 | 46 | 0 | 44 | 0 |
Yices2 | 3 | 1.14553e+06 | 70400.541833 | 70429.839 | 69 | 0 | 69 | 44 | 0 | 41 | 0 |
UNSAT Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 1.161123e+06 | 117224.780275 | 117304.509672 | 16 | 0 | 16 | 97 | 0 | 97 | 0 |
SMTInterpol | 0 | 1.120061e+06 | 156899.359976 | 113346.488391 | 24 | 0 | 24 | 89 | 0 | 89 | 0 |
OpenSMT | 2 | 1.150563e+06 | 79967.658451 | 79999.227752 | 67 | 0 | 67 | 46 | 0 | 44 | 0 |
Yices2 | 3 | 1.14553e+06 | 70400.541833 | 70429.839 | 69 | 0 | 69 | 44 | 0 | 41 | 0 |
24 seconds Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 0 | 40332 | 66.612395 | 68.326475 | 17 | 0 | 17 | 0 | 96 | 0 | 0 |
cvc5 | 0 | 19 | 1.816383 | 3.117892 | 13 | 0 | 13 | 0 | 100 | 0 | 0 |
SMTInterpol | 0 | 19 | 5.421613 | 5.394828 | 13 | 0 | 13 | 0 | 100 | 0 | 0 |
OpenSMT | 0 | 17 | 1.733091 | 3.047072 | 13 | 0 | 13 | 0 | 100 | 0 | 0 |