Sota solver results for family Model_instances
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspquabs___caqe-bloqqerSAT0
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspQute_hybridSAT0
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspquabs___caqe-bloqqerSAT0
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspquabs___caqe-hqspreSAT3.1
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspquabs___caqe-bloqqerSAT3.88
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspquabs___caqe-bloqqerSAT9.24
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspquabs___caqe-bloqqerSAT5.99
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspquabs___caqe-bloqqerSAT13.05
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspquabs___caqe-hqspreSAT10.09
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspquabs___caqe-hqspreSAT4.01
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspquabs___caqe-hqspreSAT6.9
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspquabs___caqe-bloqqerSAT10.13
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspquabs___caqe-bloqqerSAT102.46
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspquabs___caqe-bloqqerSAT799.96
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspQute_opt993UNSAT6
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspQute_hybridUNSAT21.13
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspQute_opt993UNSAT3.58
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspquabs___caqe-hqspreUNSAT0