Instances of family Model_instances solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT98.04
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT243.27
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT385.32
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT446.32
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspSAT737.3
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT800.44
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL886.42
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL886.6
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL886.99
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL887.11
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL887.17
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL887.19
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL887.23
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL887.25
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL887.28
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL887.34
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL887.36
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL887.64
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL887.78
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL887.96
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL887.98
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL888.08
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL888.19
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL888.41
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL888.41
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL888.41
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL888.62
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL888.62
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL888.75
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL888.87
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL888.92
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL888.92
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL888.93
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL889.09
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL889.18
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL889.28
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL889.42
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL889.44
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL889.48
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL889.61
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL889.7
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL889.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL889.75
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL890.02
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL890.62
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL893.36