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

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT9.97
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT10.97
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT11.13
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT12.57
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspUNSAT15.25
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.01