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

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT0.11
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT0.11
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT0.21
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT0.31
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT0.51
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT1.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT1.81
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT4.61
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT5.11
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT7.21
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT32.51
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT38.52
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT87.61
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL591.52
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL591.52
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL591.52
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL591.62
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL591.62
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL591.75
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL591.75
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL591.84
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL591.85
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL591.93
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL591.93
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL591.93
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL592.02
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL592.12
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL592.12
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL592.12
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL592.12
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL592.22
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL592.22
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL592.22
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL592.22
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL592.22
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL592.22
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL592.32
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL592.32
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL592.32
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL592.42
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL592.52
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL592.52
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL592.52
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL592.62
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL592.62
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL592.62
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL592.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL592.72
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL592.83
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL592.83
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL592.94
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL593.02
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL593.02
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL593.02
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL593.03
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL593.12
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL593.22
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL593.32
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL593.67
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL593.72