Instances of family Model_instances solved by iprover-QBF
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspFAIL253.24
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspFAIL267.85
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL275.45
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspFAIL275.94
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL279.65
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL284.75
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL286.44
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL289.26
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL290.05
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL293.94
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL296.36
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL300.74
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL300.75
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL301.24
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspFAIL302.35
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL302.5
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL303.66
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL305.46
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL305.55
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL306.85
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL309.84
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL310.06
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL311.04
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL313.15
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspFAIL315.44
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL317.24
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspFAIL318.55
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspFAIL321.84
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspFAIL322.25
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspFAIL322.36
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL325.76
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL330.06
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspFAIL330.35
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL332.15
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL342.05
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL347.66
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL356.34
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL357.74
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL357.85
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL359.05
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL360.67
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL360.74
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL372.34
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL372.44
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspFAIL373.94
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL374.25
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL376.36
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL379.95
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspFAIL384.55
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL392.34
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL400.75
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL414.65
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL416.84
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL431.05
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL431.94
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL436.76
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL483.15
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL576.55
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL581.84
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspFAIL599.12