Instances of family Model_instances solved by PortfolioGhostQQfunQuAbSQute___pf3
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT4.61
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT5.17
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT5.6
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT6.12
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT7.04
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT32.7
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT41.3
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT46.99
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT61.87
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT99.32
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT118.78
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT134.82
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT158.65
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT168
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT356.74
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT458.89
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900.01
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL900.01
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900.03
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900.06
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.09
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL900.09
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL900.09