Sota solver results for family BMC
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
c1_BMC_p1_k4aqme-10SAT1.47
c1_BMC_p2_k1024aqme-10UNSAT41.11
c1_BMC_p2_k512aqme-10UNSAT17.67
c3_BMC_p1_k256aqme-10SAT14.68
c4_BMC_p1_k32aqme-10SAT0.62
c4_BMC_p2_k128aqme-10UNSAT0.72
c5_BMC_p1_k32aqme-10SAT3