Instances of family Model_instances solved by AIGSolve
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL732.38
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL744.7
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL758.96
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL761.54
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL762.54
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL770.03
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL776.31
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL785.82
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL796.83
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL797.17
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL806.6
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL807.6
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL809.82
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL810
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL818.24
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL834.51
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL834.9
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL835.55
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL861.47
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL866.33
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL867.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL896.76
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL900