Sota solver results for family wgrowing <br> Crafted Instances Track

Instance	Solver	Result	Time
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	Qute_default	SAT	0
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	caqe-pre	SAT	34.78
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	Caqe-bloqqer-qdo	SAT	29.28
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	Qute_default	SAT	601.88
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	Qute_default	SAT	62.88
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	Qute_default	SAT	176.05
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	Qute_default	SAT	18.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	Caqe-hqspre	SAT	1.73
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	Caqe-bloqqer-qdo	SAT	105.96

QBF Solver Evaluation Portal