QF_UFFPDTNIRA (Model Validation Track)
non-competitive
Benchmarks: 24
Sequential Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
cvc5
|
0
|
24
|
29.27 |
32.19 |
24 |
24 |
0 |
0 |
0 |
0 |
Parallel Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
cvc5
|
0
|
24
|
29.27 |
32.19 |
24 |
24 |
0 |
0 |
0 |
0 |
SAT Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
cvc5
|
0
|
24
|
29.27 |
32.19 |
24 |
24 |
0 |
0 |
0 |
0 |
24 seconds Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
cvc5
|
0
|
24
|
29.27 |
32.19 |
24 |
24 |
0 |
0 |
0 |
0 |