Sota solver results for family Model_instances <br> Prenex non-CNF Track

Instance	Solver	Result	Time
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	Qute_default	SAT	0
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	Qute_default	SAT	0
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	quabs___caqe-hqspre	SAT	0
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	quabs___caqe-hqspre	SAT	2.63
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	quabs___caqe-hqspre	SAT	6.54
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	quabs___caqe-hqspre	SAT	3.9
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	quabs___caqe-hqspre	SAT	4.2
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	quabs___caqe-hqspre	SAT	2.94
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	quabs___caqe-hqspre	SAT	18.15
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	quabs___caqe-hqspre	SAT	3.45
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	quabs___caqe-hqspre	SAT	5.81
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	quabs___caqe-hqspre	SAT	13.06
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	quabs___caqe-hqspre	SAT	53.3
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	Qute_default	UNSAT	29.93
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	Qute_default	UNSAT	92.92
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	Qute_default	UNSAT	1.97
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	Qute_default	UNSAT	1.38
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	quabs___caqe-hqspre	UNSAT	0

QBF Solver Evaluation Portal