Sota solver results for family BMC
QBFEVAL'08


InstanceSolverResultTime
c1_BMC_p1_k1024quantor3.0SAT47.51
c1_BMC_p1_k128quantor3.0SAT7.46
c1_BMC_p1_k16quantor3.0SAT2.11
c1_BMC_p1_k2quantor3.0SAT0.24
c1_BMC_p1_k256quantor3.0SAT12.75
c1_BMC_p1_k32quantor3.0SAT2.92
c1_BMC_p1_k4quantor3.0SAT0.46
c1_BMC_p1_k512quantor3.0SAT24.54
c1_BMC_p1_k64quantor3.0SAT4.23
c1_BMC_p1_k8quantor3.0SAT1.08
c1_BMC_p2_k1024quantor3.0UNSAT24.72
c1_BMC_p2_k128quantor3.0UNSAT5.38
c1_BMC_p2_k16quantor3.0UNSAT1.81
c1_BMC_p2_k2quantor3.0UNSAT0.2
c1_BMC_p2_k256quantor3.0UNSAT9.48
c1_BMC_p2_k32quantor3.0UNSAT1.8
c1_BMC_p2_k4quantor3.0UNSAT0.3
c1_BMC_p2_k512quantor3.0UNSAT12.96
c1_BMC_p2_k64quantor3.0UNSAT3.31
c1_BMC_p2_k8quantor3.0UNSAT0.82
c2_BMC_p1_k1024AQME-1NNSAT485.51
c2_BMC_p1_k128quantor3.0SAT20.64
c2_BMC_p1_k16quantor3.0SAT1
c2_BMC_p1_k2quantor3.0SAT0.1
c2_BMC_p1_k256AQME-1NNSAT36.67
c2_BMC_p1_k32quantor3.0SAT2.06
c2_BMC_p1_k4quantor3.0SAT0.19
c2_BMC_p1_k512AQME-1NNSAT92.85
c2_BMC_p1_k64quantor3.0SAT4.65
c2_BMC_p1_k8quantor3.0SAT0.42
c2_BMC_p2_k1024quantor3.0UNSAT25.37
c2_BMC_p2_k128quantor3.0UNSAT3.49
c2_BMC_p2_k16quantor3.0UNSAT0.72
c2_BMC_p2_k2quantor3.0UNSAT0.07
c2_BMC_p2_k256quantor3.0UNSAT6.63
c2_BMC_p2_k32quantor3.0UNSAT1.1
c2_BMC_p2_k4quantor3.0UNSAT0.1
c2_BMC_p2_k512quantor3.0UNSAT12.76
c2_BMC_p2_k64quantor3.0UNSAT1.88
c2_BMC_p2_k8quantor3.0UNSAT0.34
c3_BMC_p1_k1024quantor3.0SAT302.91
c3_BMC_p1_k128quantor3.0SAT4.25
c3_BMC_p1_k16quantor3.0SAT0.55
c3_BMC_p1_k2quantor3.0SAT0.05
c3_BMC_p1_k256quantor3.0SAT15.29
c3_BMC_p1_k32quantor3.0SAT0.92
c3_BMC_p1_k4quantor3.0SAT0.09
c3_BMC_p1_k512quantor3.0SAT39.73
c3_BMC_p1_k64quantor3.0SAT1.6
c3_BMC_p1_k8quantor3.0SAT0.24
c3_BMC_p2_k1024quantor3.0UNSAT0.94
c3_BMC_p2_k128quantor3.0UNSAT0.18
c3_BMC_p2_k16quantor3.0UNSAT0.09
c3_BMC_p2_k2quantor3.0UNSAT0.03
c3_BMC_p2_k2048quantor3.0UNSAT1.86
c3_BMC_p2_k256quantor3.0UNSAT0.29
c3_BMC_p2_k32quantor3.0UNSAT0.1
c3_BMC_p2_k4quantor3.0UNSAT0.03
c3_BMC_p2_k512quantor3.0UNSAT0.5
c3_BMC_p2_k64quantor3.0UNSAT0.15
c3_BMC_p2_k8quantor3.0UNSAT0.05
c4_BMC_p1_k1024quantor3.0SAT1.17
c4_BMC_p1_k128quantor3.0SAT0.13
c4_BMC_p1_k16quantor3.0SAT0.03
c4_BMC_p1_k2quantor3.0SAT0.01
c4_BMC_p1_k2048quantor3.0SAT3.6
c4_BMC_p1_k256quantor3.0SAT0.26
c4_BMC_p1_k32quantor3.0SAT0.05
c4_BMC_p1_k4quantor3.0SAT0.01
c4_BMC_p1_k512quantor3.0SAT0.55
c4_BMC_p1_k64quantor3.0SAT0.07
c4_BMC_p1_k8quantor3.0SAT0.02
c4_BMC_p2_k1024quantor3.0UNSAT1.02
c4_BMC_p2_k128quantor3.0UNSAT0.12
c4_BMC_p2_k16quantor3.0UNSAT0.03
c4_BMC_p2_k2quantor3.0UNSAT0.01
c4_BMC_p2_k2048quantor3.0UNSAT2.13
c4_BMC_p2_k256quantor3.0UNSAT0.24
c4_BMC_p2_k32quantor3.0UNSAT0.05
c4_BMC_p2_k4quantor3.0UNSAT0.01
c4_BMC_p2_k512quantor3.0UNSAT0.48
c4_BMC_p2_k64quantor3.0UNSAT0.06
c4_BMC_p2_k8quantor3.0UNSAT0.02
c5_BMC_p1_k16quantor3.0SAT1.51
c5_BMC_p1_k2quantor3.0SAT0.19
c5_BMC_p1_k32quantor3.0SAT2.32
c5_BMC_p1_k4quantor3.0SAT0.34
c5_BMC_p1_k8quantor3.0SAT0.67
c5_BMC_p2_k16quantor3.0UNSAT1.26
c5_BMC_p2_k2quantor3.0UNSAT0.14
c5_BMC_p2_k32quantor3.0UNSAT1.99
c5_BMC_p2_k4quantor3.0UNSAT0.33
c5_BMC_p2_k8quantor3.0UNSAT0.63
c6_BMC_p1_k1024quantor3.0SAT86.27
c6_BMC_p1_k128quantor3.0SAT0.92
c6_BMC_p1_k16quantor3.0SAT0.14
c6_BMC_p1_k2quantor3.0SAT0.03
c6_BMC_p1_k2048AQME-1NNSAT62.21
c6_BMC_p1_k256quantor3.0SAT2.9
c6_BMC_p1_k32quantor3.0SAT0.19
c6_BMC_p1_k4quantor3.0SAT0.04
c6_BMC_p1_k512quantor3.0SAT15.15
c6_BMC_p1_k64quantor3.0SAT0.4
c6_BMC_p1_k8quantor3.0SAT0.06
c6_BMC_p2_k1024quantor3.0UNSAT3.46
c6_BMC_p2_k128quantor3.0UNSAT0.44
c6_BMC_p2_k16quantor3.0UNSAT0.11
c6_BMC_p2_k2quantor3.0UNSAT0.02
c6_BMC_p2_k2048quantor3.0UNSAT7.29
c6_BMC_p2_k256quantor3.0UNSAT0.85
c6_BMC_p2_k32quantor3.0UNSAT0.14
c6_BMC_p2_k4quantor3.0UNSAT0.03
c6_BMC_p2_k512quantor3.0UNSAT1.68
c6_BMC_p2_k64quantor3.0UNSAT0.25
c6_BMC_p2_k8quantor3.0UNSAT0.05