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

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT2.84
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT4.77
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT6.5
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT11.47
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT18.7
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT32.6
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT32.98
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT37.43
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT51.95
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT73.62
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT78.09
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT102.86
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT162.26
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT180.54
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT198.04
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT213.25
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT232.8
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT333.31
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT587.31
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL599.66
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL599.67
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL599.68
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.69
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL599.7
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL599.7
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL599.7
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspFAIL599.7
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL599.7
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL599.7
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#384.w#6.s#3.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#408.w#4.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.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#6.s#7.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.72
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#376.w#6.s#6.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.73
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL599.73
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL599.73
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL599.73
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL599.74
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.74
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL599.77
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL599.78
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.79
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.79
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL599.79
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.8
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL599.82