SL-COMP 2014
Competition results as of Wed Jun 25 21:20:39 EDT 2014
FDB_entl
Division COMPLETE: The winner is SPEN
| Solver | Errors |
Solved |
Not Solved |
Remaining |
CPU Time (on solved instances) |
| SPEN |
0 |
43 |
0 |
0 |
0.61 |
| Cyclist-SL |
0 |
19 |
24 |
0 |
141.78 |
| SLIDE |
0 |
0 |
43 |
0 |
0.00 |
| SLEEK-06 |
1 |
31 |
11 |
0 |
43.65 |
UDB_entl
Division COMPLETE: The winner is Cyclist-SL
| Solver | Errors |
Solved |
Not Solved |
Remaining |
CPU Time (on solved instances) |
| Cyclist-SL |
0 |
120 |
52 |
0 |
145.33 |
| SLIDE |
0 |
36 |
136 |
0 |
195.61 |
| SLEEK-06 |
4 |
131 |
37 |
0 |
80.60 |
UDB_sat
Division COMPLETE: The winner is SLEEK-06
| Solver | Errors |
Solved |
Not Solved |
Remaining |
CPU Time (on solved instances) |
| SLEEK-06 |
0 |
61 |
0 |
0 |
30.84 |
| SLSAT |
0 |
37 |
24 |
0 |
2620.52 |
sll0a_entl
Division COMPLETE: The winner is Asterix
| Solver | Errors |
Solved |
Not Solved |
Remaining |
CPU Time (on solved instances) |
| Asterix |
0 |
292 |
0 |
0 |
2.98 |
| SPEN |
0 |
292 |
0 |
0 |
7.58 |
| SLEEK-06 |
0 |
292 |
0 |
0 |
14.13 |
| Cyclist-SL |
0 |
55 |
237 |
0 |
11.78 |
sll0a_sat
Division COMPLETE: The winner is Asterix
| Solver | Errors |
Solved |
Not Solved |
Remaining |
CPU Time (on solved instances) |
| Asterix |
0 |
110 |
0 |
0 |
1.06 |
| SPEN |
0 |
110 |
0 |
0 |
3.27 |
| SLEEK-06 |
0 |
110 |
0 |
0 |
4.99 |
| SLSAT |
55 |
55 |
0 |
0 |
0.55 |