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

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT1.46
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT1.51
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT2.79
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT3.23
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT3.42
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT4.18
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT4.55
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT4.65
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT5.41
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT7.07
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT7.41
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT7.77
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT8.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT12.16
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT13.22
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT14.31
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspSAT14.45
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT14.52
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT14.68
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT15.62
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT17.4
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT19.86
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT19.99
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT23.6
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspSAT25.83
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT26.5
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT36.04
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT42.73
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspSAT46.53
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT105
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspUNSAT134.35
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspSAT301.29
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT304.83
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT417.24
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspSAT451.32
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT567.3
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#416.w#2.s#3.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#400.w#2.s#2.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#336.w#4.s#5.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#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#376.w#6.s#7.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#424.w#4.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#360.w#2.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.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#368.w#2.s#7.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.81