Instances of family Model_instances solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT4.73
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT4.76
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT4.8
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT5.15
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT5.55
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT5.96
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT34.19
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT42.65
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT48.76
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT63.37
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT76.35
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT121.13
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT151.82
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT160.75
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT310.87
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT474.84
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900.02
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL900.02
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL900.03
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.04
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.08
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900.08
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL900.09