Sota solver results for family Model_instances
QBFEVAL'18 - Prenex 2QBF Track


InstanceSolverResultTime
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspaspq2v3SAT1.11
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspRareqs_2018SAT224.6
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspQute_defaultUNSAT2.56
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspPortfolioDepQBFGhostQRaReQSQute___pfUNSAT10.9
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspPortfolioDepQBFGhostQRaReQSQute___pfUNSAT15.24
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspaspq2v3UNSAT5.8