Instances of family Model_instances solved by qesto
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT0.39
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT0.42
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT0.65
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT1.26
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT4.87
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT6.3
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT6.46
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT8.65
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT9.43
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT9.84
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT15.48
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT17.8
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT21.05
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspSAT23.43
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT38.46
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT38.94
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT41.99
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT47.13
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT47.62
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT60.29
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT66.49
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspSAT71.46
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT98.51
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT109.86
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT121.14
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT130.57
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT150.49
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT164.36
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT217.31
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspSAT247.54
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT291.85
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT352.23
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspSAT428.48
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL599.81