QF_ABVFP (Main Track)
Competition results for the QF_ABVFP division as of Fri Jul 13 00:02:11 GMT
Benchmarks in this division : 18129
Time limit: 1200s
Winners:
Sequential Performances | Parallel Performances |
CVC4 | CVC4 |
Result table1
Sequential Performance
Solver |
Error Score |
Correctly Solved Score |
CPU time Score |
Solved |
Unsolved |
COLIBRI |
5.893 |
15091.072 |
59.663 |
17764 |
365 |
CVC4 |
0.000 |
18038.569 |
14.405 |
18117 |
12 |
Parallel Performance
Solver |
Error Score |
Correctly Solved Score |
CPU time Score |
WALL time Score |
Solved |
Unsolved |
COLIBRI |
5.893 | 15091.072 | 59.663 | 59.668 | 17764 | 365 |
CVC4 |
0.000 | 18038.569 | 14.405 | 14.400 | 18117 | 12 |
n. Non-competing.
1. Scores are computed according to Section 7 of the rules.
Last modified: Fri 13 Jul 2018 00:04 UTC