Home	•	Intro	•	Tools	•	Specs	•	Thanks	•	SMT-LIB	•	Previous

SL-COMP #2 2014

Competition results as of Wed Jun 25 21:25:54 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.64
Cyclist-SL	0	19	24	0	142.36
SLEEK-06	1	31	11	0	46.46

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	146.13
SLIDE	0	36	136	0	200.45
SLEEK-06	4	131	37	0	83.71

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	31.53
SLSAT	0	37	24	0	2641.46

sll0a_entl

Division COMPLETE: The winner is Asterix

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
Asterix	0	292	0	0	3.24
SPEN	0	292	0	0	7.88
SLEEK-06	0	292	0	0	15.02
Cyclist-SL	0	55	237	0	11.89

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.15
SPEN	0	110	0	0	3.38
SLEEK-06	0	110	0	0	5.35
SLSAT	0	110	0	0	4085.90

Home	•	Intro	•	Tools	•	Specs	•	Thanks	•	SMT-LIB	•	Previous

Last modified: Tue 17 Feb 2015 15:00 UTC