Home Intro Tools Specs Thanks SMT-LIB Previous

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
Home Intro Tools Specs Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 15:00 UTC
Valid XHTML 1.0 Valid CSS!