Instances solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
irst.dme6.B-d2SAT0
semaphore_3SAT0
semaphore_2SAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
counter7_2SAT0
s27_d5_uUNSAT0
semaphore3_2SAT0
stmt44_107_108SAT0
incrementer-enc05-uniform-depth-2UNSAT0
ring4_4SAT0
counter6_2SAT0
counter4_4SAT0
counter4_2SAT0
counter4_3SAT0
counter5_2SAT0
ring4_2SAT0
z4ml.blif_0.10_1.00_0_1_out_exactSAT0
counter4_5SAT0
tree-exa10-10SAT0
counter4_6SAT0
qshifter_3SAT0
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003UNSAT0
ring6_2SAT0
counter8_2SAT0
rewriting_k_10UNSAT0
rewriting_k_17UNSAT0
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0
ring4_3SAT0
flipflop-3-cUNSAT0
toilet_g_04_01.2SAT0
ring5_2SAT0
rewriting_k_21UNSAT0
s27_d4_uUNSAT0
toilet_g_08_01.2SAT0
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001UNSAT0
semaphore5_4SAT0.01
semaphore5_2SAT0.01
semaphore6_3SAT0.01
dmeSmall_4SAT0.01
semaphore6_2SAT0.01
C5315.blif_0.10_1.00_0_0_out_exactUNSAT0.01
semaphore6_4SAT0.01
counter7_4SAT0.01
C499.blif_0.10_1.00_0_1_inp_exactSAT0.01
dmeSmall_2SAT0.01
counter7_8SAT0.01
Core1108_tbm_21.tex.module.000017UNSAT0.01
counter6_8SAT0.01
s510_d3_sSAT0.01
k_ph_p-3UNSAT0.01
k_ph_n-6SAT0.01
k_path_p-2UNSAT0.01
k_lin_p-2UNSAT0.01
k_d4_n-1SAT0.01
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0.01
toilet_g_20_01.2SAT0.01
toilet_g_15_01.2SAT0.01
toilet_c_06_01.4UNSAT0.01
C432.blif_0.10_1.00_0_1_out_exactSAT0.01
stmt27_16_97UNSAT0.01
eijk.S382.S-d4SAT0.01
counter6_4SAT0.01
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT0.01
term1.blif_0.10_1.00_0_1_out_exactSAT0.01
counter5_32SAT0.01
counter5_16SAT0.01
counter5_8SAT0.01
counter5_4SAT0.01
stmt19_90_266UNSAT0.01
stmt21_79_304UNSAT0.01
toilet_a_04_01.4UNSAT0.01
semaphore5_3SAT0.01
ring6_4SAT0.01
ring5_8SAT0.01
ring4_7SAT0.01
ring4_8SAT0.01
counter4_12SAT0.01
counter4_13SAT0.01
vis.4-arbit^2.E-f2SAT0.01
counter4_14SAT0.01
counter4_15SAT0.01
ring4_5SAT0.01
s713_d2_sSAT0.01
semaphore_5SAT0.01
ring6_8SAT0.01
ring6_16SAT0.01
semaphore4_4SAT0.01
semaphore4_2SAT0.01
semaphore4_3SAT0.01
semaphore3_4SAT0.01
ring5_16SAT0.01
semaphore_4SAT0.01
counter4_16SAT0.01
counter4_7SAT0.01
counter8_4SAT0.01
counter8_8SAT0.01
par8-1-c-50UNSAT0.01
rewriting_k_19UNSAT0.01
ring4_6SAT0.01
term1.blif_0.10_1.00_0_0_out_exactUNSAT0.01
semaphore3_3SAT0.01
rewriting_k_100UNSAT0.01
counter4_11SAT0.01
counter4_9SAT0.01
ring5_4SAT0.01
counter4_10SAT0.01
counter4_8SAT0.01
s641_d2_sSAT0.01
Umbrella_tbm_05.tex.module.000079UNSAT0.02
k_ph_p-5UNSAT0.02
toilet_a_04_01.6UNSAT0.02
s1196_d2_sSAT0.02
Umbrella_tbm_05.tex.module.000065UNSAT0.02
counter_e_2SAT0.02
ring5_33SAT0.02
Core1108_tbm_21.tex.module.000014UNSAT0.02
k_lin_p-4UNSAT0.02
k_dum_n-1SAT0.02
ring5_32SAT0.02
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.02
Core1108_tbm_21.tex.module.000091UNSAT0.02
dme1_4SAT0.02
counter6_16SAT0.02
dme1_2SAT0.02
s820_d3_sSAT0.02
dme1_3SAT0.02
s386_d3_sSAT0.02
par8-4-50UNSAT0.02
s386_d4_sSAT0.02
k_ph_n-9SAT0.02
counter7_16SAT0.02
counter8_16SAT0.02
stmt52_244_394UNSAT0.02
dme1_5SAT0.03
Core1108_tbm_03.tex.module.000039UNSAT0.03
k_poly_n-2SAT0.03
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.03
counter7_32SAT0.03
ring6_32SAT0.03
k_dum_p-3UNSAT0.03
k_dum_p-2UNSAT0.03
Umbrella_tbm_24.tex.module.000103UNSAT0.03
nusmv.tcas-t^1.B-d2SAT0.03
Core1108_tbm_03.tex.module.000003UNSAT0.03
Core1108_tbm_03.tex.module.000048UNSAT0.03
k_branch_n-2SAT0.03
dmeSmall_8SAT0.03
BLOCKS3ii.4.3UNSAT0.03
Core1108_tbm_21.tex.module.000010UNSAT0.03
Core1108_tbm_03.tex.module.000034UNSAT0.03
impl08SAT0.03
Core1108_tbm_03.tex.module.000090UNSAT0.03
Core1108_tbm_03.tex.module.000058UNSAT0.03
Core1108_tbm_03.tex.module.000038UNSAT0.03
Core1108_tbm_03.tex.module.000057UNSAT0.03
Core1108_tbm_03.tex.module.000037UNSAT0.03
Umbrella_tbm_29.tex.module.000009UNSAT0.03
Core1108_tbm_03.tex.module.000065UNSAT0.03
dmeSmall_9SAT0.03
Core1108_tbm_03.tex.module.000064UNSAT0.03
Core1108_tbm_03.tex.module.000021UNSAT0.03
Core1108_tbm_21.tex.module.000009UNSAT0.03
Umbrella_tbm_29.tex.module.000010UNSAT0.03
Core1108_tbm_03.tex.module.000031UNSAT0.03
impl10SAT0.03
Core1108_tbm_03.tex.module.000056UNSAT0.03
Core1108_tbm_21.tex.module.000023UNSAT0.03
k_ph_n-11SAT0.03
Core1108_tbm_03.tex.module.000092UNSAT0.03
Core1108_tbm_21.tex.module.000030UNSAT0.03
Core1108_tbm_21.tex.module.000008UNSAT0.03
Umbrella_tbm_05.tex.module.000043UNSAT0.03
mutex-2-sSAT0.04
Core1108_tbm_03.tex.module.000019UNSAT0.04
Umbrella_tbm_29.tex.module.000078UNSAT0.04
Umbrella_tbm_24.tex.module.000066UNSAT0.04
k_path_p-5UNSAT0.04
s713_d4_sSAT0.04
Core1108_tbm_03.tex.module.000023UNSAT0.04
Umbrella_tbm_21.tex.module.000139UNSAT0.04
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT0.04
Core1108_tbm_21.tex.module.000026UNSAT0.04
ii32b1-00SAT0.04
s641_d4_sSAT0.04
tree-exa2-20UNSAT0.04
toilet_a_06_01.6UNSAT0.04
impl12SAT0.04
tlc03-uniform-depth-21UNSAT0.04
dme1_6SAT0.04
Umbrella_tbm_21.tex.module.000129UNSAT0.05
flipflop-5-cUNSAT0.05
toilet_a_08_05.2UNSAT0.05
k_lin_n-3SAT0.05
s1269_d3_sSAT0.05
Core1108_tbm_09.tex.module.000009UNSAT0.05
s499_d7_sSAT0.05
Umbrella_tbm_26.tex.module.000004UNSAT0.05
dme1_7SAT0.05
Core1108_tbm_09.tex.module.000033UNSAT0.05
Core1108_tbm_09.tex.module.000028UNSAT0.05
Umbrella_tbm_21.tex.module.000044UNSAT0.05
k_d4_n-2SAT0.05
counter5_33SAT0.05
Core1108_tbm_09.tex.module.000010UNSAT0.05
Umbrella_tbm_21.tex.module.000134UNSAT0.05
Umbrella_tbm_21.tex.module.000069UNSAT0.05
Core1108_tbm_09.tex.module.000008UNSAT0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003UNSAT0.05
Umbrella_tbm_05.tex.module.000064UNSAT0.05
k_path_n-5SAT0.05
ring6_65SAT0.05
dme1_8SAT0.06
Umbrella_tbm_21.tex.module.000056UNSAT0.06
tree-exa2-25UNSAT0.06
k_grz_n-2SAT0.06
s3330_d2_sSAT0.06
ring6_64SAT0.06
Umbrella_tbm_21.tex.module.000024UNSAT0.06
Umbrella_tbm_21.tex.module.000149UNSAT0.06
counter7_64SAT0.06
Umbrella_tbm_25.tex.module.000099UNSAT0.06
Umbrella_tbm_05.tex.module.000030UNSAT0.06
Umbrella_tbm_21.tex.module.000029UNSAT0.06
Umbrella_tbm_05.tex.module.000053UNSAT0.06
impl16SAT0.06
k_lin_p-9UNSAT0.06
k_lin_p-10UNSAT0.06
k_dum_p-6UNSAT0.07
s298_d12_sSAT0.07
Umbrella_tbm_21.tex.module.000049UNSAT0.07
k_dum_n-5SAT0.07
Umbrella_tbm_25.tex.module.000106UNSAT0.07
Umbrella_tbm_05.tex.module.000011UNSAT0.07
k_grz_n-5SAT0.07
Umbrella_tbm_26.tex.module.000041UNSAT0.07
Umbrella_tbm_26.tex.module.000021UNSAT0.07
nusmv.tcas^3.B-f2SAT0.07
Umbrella_tbm_25.tex.module.000087UNSAT0.07
counter6_32SAT0.07
Umbrella_tbm_26.tex.module.000061UNSAT0.07
tlc01-uniform-depth-73UNSAT0.08
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.08
Umbrella_tbm_25.tex.module.000003UNSAT0.08
impl20SAT0.08
k_branch_n-3SAT0.08
tree-exa2-35UNSAT0.09
k_poly_p-4UNSAT0.09
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT0.1
Umbrella_tbm_05.tex.module.000088UNSAT0.1
term1.blif_0.10_0.20_0_1_inp_exactSAT0.1
Umbrella_tbm_25.tex.module.000084UNSAT0.1
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.1
s298_d14_sSAT0.1
Adder2-2-cUNSAT0.1
counter8_32SAT0.1
Core1108_tbm_28.tex.moduleQ2.2S.000003UNSAT0.1
stmt17_18_19SAT0.1
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT0.11
texas.PI_main^05.E-f3SAT0.11
Core1108_tbm_21.tex.moduleQ3.2S.000014UNSAT0.11
query01_ntrivil_1344UNSAT0.11
lut4_XOR_fORUNSAT0.11
k_t4p_n-2SAT0.11
ring_r4_ser--opt-11_UNSAT0.11
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT0.11
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT0.12
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT0.12
tree-exa2-45UNSAT0.12
s386_d8_uUNSAT0.12
Core1108_tbm_21.tex.moduleQ3.2S.000027UNSAT0.12
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT0.12
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT0.12
Core1108_tbm_03.tex.moduleQ3.2S.000011UNSAT0.12
Core1108_tbm_21.tex.moduleQ3.2S.000007UNSAT0.12
Umbrella_tbm_25.tex.module.000041UNSAT0.12
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT0.13
k_path_p-10UNSAT0.13
k3_1_1SAT0.13
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT0.13
tlc03-uniform-depth-52UNSAT0.13
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT0.14
k_path_n-9SAT0.14
Umbrella_tbm_05.tex.module.000025UNSAT0.14
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT0.14
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.14
Umbrella_tbm_05.tex.module.000015UNSAT0.14
k_grz_p-10UNSAT0.14
texas.PI_main^08.E-f3SAT0.14
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.14
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT0.14
counter8_128SAT0.15
toilet_c_08_05.4SAT0.15
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT0.15
counter7_128SAT0.15
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT0.15
k_poly_n-7SAT0.15
k_lin_n-5SAT0.16
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.16
k_grz_p-11UNSAT0.16
Core1108_tbm_02.tex.moduleQ3.2S.000007UNSAT0.16
k_grz_n-10SAT0.16
k_ph_n-16SAT0.16
ken.flash^10.C-f3UNSAT0.16
Umbrella_tbm_25.tex.module.000121UNSAT0.17
k_t4p_p-4UNSAT0.17
k_grz_p-13UNSAT0.17
Core1108_tbm_02.tex.moduleQ3.2S.000077UNSAT0.17
s386_d10_uUNSAT0.17
Umbrella_tbm_25.tex.module.000031UNSAT0.17
lut4_2_fXORSAT0.17
k_dum_p-12UNSAT0.18
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.18
k_lin_p-19UNSAT0.18
s510_d11_sSAT0.19
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT0.19
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT0.2
s820_d8_sSAT0.2
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.21
Umbrella_tbm_29.tex.moduleQ2.2S.000001UNSAT0.21
k_poly_p-7UNSAT0.21
counter7_129SAT0.21
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT0.21
counter6_64SAT0.21
counter6_65SAT0.23
k_path_n-12SAT0.23
flipflop-6-cUNSAT0.24
Umbrella_tbm_24.tex.moduleQ2.1S.000022UNSAT0.24
Umbrella_tbm_24.tex.moduleQ2.1S.000188UNSAT0.24
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT0.25
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT0.25
s386_d12_uUNSAT0.25
k_lin_n-6SAT0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT0.26
k_path_n-13SAT0.26
Umbrella_tbm_24.tex.moduleQ2.1S.000136UNSAT0.26
k_path_p-14UNSAT0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT0.27
k_d4_p-8UNSAT0.28
k_dum_n-12SAT0.28
k_poly_p-8UNSAT0.29
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT0.29
Umbrella_tbm_21.tex.module.000079UNSAT0.29
k_dum_p-16UNSAT0.3
s499_d15_sSAT0.3
cnt05SAT0.3
k_grz_p-17UNSAT0.32
s3330_d3_sSAT0.32
gttt_1_1_000111_3x3_torus_wUNSAT0.32
Umbrella_tbm_23.tex.moduleQ1.2S.000001UNSAT0.33
k_path_p-16UNSAT0.34
tlc03-nonuniform-depth-17UNSAT0.36
s713_d6_sSAT0.37
counter8_64SAT0.38
query48_query15_1344UNSAT0.39
s499_d17_sSAT0.39
k_path_n-16SAT0.41
s641_d6_sSAT0.42
Core1108_tbm_09.tex.moduleQ3.2S.000011UNSAT0.43
Core1108_tbm_09.tex.moduleQ3.10S.000001UNSAT0.44
Core1108_tbm_09.tex.moduleQ3.9S.000001UNSAT0.44
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT0.45
k_grz_p-18UNSAT0.45
k_branch_p-5UNSAT0.46
stmt41_160_235UNSAT0.46
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT0.46
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT0.46
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT0.47
Umbrella_tbm_14.tex.moduleQ2.2S.000003UNSAT0.48
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT0.49
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT0.49
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT0.49
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT0.5
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT0.5
k_grz_n-21SAT0.51
k_lin_n-8SAT0.51
k_d4_p-11UNSAT0.52
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT0.52
toilet_c_08_01.11UNSAT0.52
s1269_d8_sSAT0.53
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT0.54
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT0.54
k_dum_n-17SAT0.54
gttt_2_1_000111_3x3_torus_bSAT0.56
k_dum_n-18SAT0.59
k_grz_n-20SAT0.61
gttt_1_1_001020_3x3_wUNSAT0.61
s820_d11_uUNSAT0.63
s3330_d4_sSAT0.63
k_t4p_n-5SAT0.71
s499_d22_uUNSAT0.73
k_d4_p-13UNSAT0.75
k_poly_n-17SAT0.75
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004SAT0.77
k_branch_p-6UNSAT0.8
k_poly_n-18SAT0.81
lights3_035_0_027UNSAT0.82
lights3_035_0_051UNSAT0.84
s820_d12_uUNSAT0.84
fpu-10Xh-error01-uniform-depth-5UNSAT0.88
s298_d19_uUNSAT0.89
s499_d24_uUNSAT0.93
k_poly_p-16UNSAT1.1
C432.blif_0.10_1.00_0_0_out_exactUNSAT1.13
s298_d22_uUNSAT1.14
toilet_c_10_01.12UNSAT1.15
k_poly_n-21SAT1.17
s820_d15_uUNSAT1.24
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT1.29
connect_6x5_5_DUNSAT1.3
s510_d24_sSAT1.34
k_d4_p-17UNSAT1.34
k_t4p_p-12UNSAT1.41
s298_d25_uUNSAT1.41
Core1108_tbm_21.tex.module.000027UNSAT1.5
k_poly_p-19UNSAT1.53
fpu-10Xe-correct01-nonuniform-depth-6UNSAT1.84
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004SAT1.84
dungeon_i10-m5-u10-v0.pddl_planlen=23UNSAT1.85
k_d4_p-20UNSAT1.93
k_d4_n-14SAT1.93
ring_r3_ser--opt-8_SAT2.05
k_t4p_p-15UNSAT2.28
k_d4_n-15SAT2.3
k_t4p_p-16UNSAT2.62
BLOCKS3ii.5.3SAT2.72
s510_d31_sSAT2.92
k_t4p_p-18UNSAT3.39
k_lin_n-17SAT3.45
s641_d7_uUNSAT3.66
toilet_a_10_05.3UNSAT3.8
assertion11_0_1UNSAT3.85
assertion12_0_1UNSAT3.92
vonNeumann-ripple-carry-5-cUNSAT3.92
s510_d36_sSAT4.08
k_d4_n-20SAT4.11
s1196_d3_uUNSAT4.15
lut4_3_fANDSAT4.32
s641_d8_uUNSAT4.38
s713_d7_uUNSAT4.75
assertion5_0_1UNSAT4.96
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT5.33
k_t4p_n-13SAT5.43
connect_7x6_4_WUNSAT5.62
BLOCKS3iii.5SAT5.79
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005UNSAT6.2
incrementer-enc03-nonuniform-depth-24UNSAT6.24
k_t4p_n-14SAT6.42
Umbrella_tbm_25.tex.moduleQ3.2S.000063UNSAT6.43
s713_d8_uUNSAT6.57
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT6.61
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT6.77
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT7
assertion7_0_1UNSAT7.48
s1196_d5_uUNSAT7.48
k_t4p_n-15SAT7.52
assertion6_0_1UNSAT7.98
par16-1-50UNSAT8.25
p10-10.pddl_planlen=6UNSAT8.59
c4_BMC_p1_k32SAT8.66
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT9.14
counter8_257SAT9.35
toilet_c_10_01.17UNSAT9.41
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005UNSAT11.26
term1.blif_0.10_0.20_0_0_out_exactUNSAT11.87
c4_BMC_p2_k128UNSAT12.2
lognBWLARGEA1UNSAT12.21
dungeon_i10-m10-u10-v0.pddl_planlen=187UNSAT12.33
fpu-10Xe-correct01-uniform-depth-22UNSAT13.01
connect_8x7_7_WUNSAT13.35
vonNeumann-ripple-carry-6-cUNSAT14.58
BLOCKS3i.5.3UNSAT15.65
counter8_256SAT15.93
query51_query50_1344UNSAT16.75
C880.blif_0.10_1.00_0_0_out_exactUNSAT20.88
possibility6_0_2FAIL21.32
possibility4_0_2FAIL21.33
possibility11_0_2FAIL21.33
possibility3_0_2FAIL21.43
possibility1_0_2FAIL21.43
possibility7_0_2FAIL21.43
consistency_0_2FAIL21.43
assertion11_0_2FAIL21.52
possibility9_0_2FAIL21.53
assertion3_0_2FAIL21.53
possibility8_0_2FAIL21.63
assertion7_0_2FAIL21.63
assertion6_0_2FAIL21.63
assertion10_0_2FAIL21.74
assertion8_0_2FAIL21.74
possibility10_0_2FAIL21.74
possibility2_0_2FAIL21.84
assertion1_0_2FAIL21.84
possibility12_0_2FAIL21.84
possibility5_0_2FAIL22.03
assertion9_0_2FAIL22.03
assertion5_0_2FAIL22.03
assertion12_0_2FAIL22.03
assertion4_0_2FAIL22.13
assertion2_0_2FAIL22.13
CHAIN14v.15SAT25.35
k_branch_n-8SAT29.55
arbiter-08-comp-error02-qbf-hardness-depth-9SAT33.49
gttt_2_1_00102030_4x4_torus_bUNSAT39.89
possibility8_0_3FAIL40.94
consistency_0_3FAIL41.03
possibility1_0_3FAIL41.13
possibility11_0_3FAIL41.22
assertion6_0_3FAIL41.23
possibility4_0_3FAIL41.23
assertion3_0_3FAIL41.23
assertion7_0_3FAIL41.23
possibility9_0_3FAIL41.23
possibility3_0_3FAIL41.32
possibility7_0_3FAIL41.33
possibility6_0_3FAIL41.43
assertion11_0_3FAIL41.54
possibility2_0_3FAIL41.64
possibility10_0_3FAIL41.73
assertion10_0_3FAIL41.73
assertion1_0_3FAIL41.83
possibility12_0_3FAIL41.83
assertion8_0_3FAIL42.03
possibility5_0_3FAIL42.23
assertion12_0_3FAIL42.33
assertion9_0_3FAIL42.33
assertion5_0_3FAIL42.33
assertion2_0_3FAIL42.33
assertion4_0_3FAIL42.43
gttt_2_2_001020_4x4_wUNSAT42.62
vonNeumann-ripple-carry-7-cUNSAT43.68
tlc04-nonuniform-depth-56UNSAT44.13
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT44.41
C432.blif_0.10_0.20_0_0_out_exactUNSAT45.64
k_branch_p-10UNSAT48.25
k_ph_p-10UNSAT48.26
ev-pr-4x4-7-3-0-0-1-lgSAT49.68
flipflop-10-cUNSAT54.17
cnt10SAT56.18
possibility8_0_4FAIL59.73
fpu-10Xe-correct01-nonuniform-depth-24FAIL59.73
possibility9_0_4FAIL60.63
assertion3_0_4FAIL60.63
assertion7_0_4FAIL60.73
possibility11_0_4FAIL60.82
possibility3_0_4FAIL60.83
assertion6_0_4FAIL60.93
possibility6_0_4FAIL61.03
consistency_0_4FAIL61.03
possibility4_0_4FAIL61.03
possibility7_0_4FAIL61.13
possibility1_0_4FAIL61.23
assertion1_0_4FAIL61.34
assertion11_0_4FAIL61.34
possibility12_0_4FAIL61.44
assertion10_0_4FAIL61.63
assertion8_0_4FAIL61.72
possibility2_0_4FAIL61.82
possibility10_0_4FAIL61.93
possibility5_0_4FAIL62.23
assertion9_0_4FAIL62.32
assertion2_0_4FAIL62.33
assertion12_0_4FAIL62.44
assertion5_0_4FAIL62.54
assertion4_0_4FAIL62.63
fpu-10Xh-correct04-nonuniform-depth-27FAIL65.63
possibility8_0_5FAIL80.83
possibility9_0_5FAIL81.34
assertion3_0_5FAIL81.63
possibility7_0_5FAIL81.92
possibility3_0_5FAIL81.93
possibility6_0_5FAIL82.03
possibility4_0_5FAIL82.13
assertion6_0_5FAIL82.13
possibility11_0_5FAIL82.13
assertion7_0_5FAIL82.24
possibility12_0_5FAIL82.34
consistency_0_5FAIL82.43
possibility1_0_5FAIL82.53
assertion11_0_5FAIL82.53
assertion8_0_5FAIL82.73
assertion1_0_5FAIL83.03
assertion10_0_5FAIL83.03
possibility2_0_5FAIL83.03
possibility10_0_5FAIL83.34
C432.blif_0.10_0.20_0_1_inp_exactSAT83.63
assertion2_0_5FAIL83.83
assertion4_0_5FAIL84.03
possibility5_0_5FAIL84.23
assertion12_0_5FAIL84.32
assertion5_0_5FAIL84.43
assertion9_0_5FAIL84.44
k_branch_p-11UNSAT99.78
possibility8_0_6FAIL104.23
possibility9_0_6FAIL104.53
assertion11_0_6FAIL104.63
consistency_0_6FAIL104.63
possibility1_0_6FAIL104.63
possibility4_0_6FAIL104.83
possibility7_0_6FAIL104.93
possibility3_0_6FAIL105.03
assertion7_0_6FAIL105.23
assertion6_0_6FAIL105.23
assertion3_0_6FAIL105.26
possibility11_0_6FAIL105.48
possibility12_0_6FAIL105.93
possibility2_0_6FAIL106.03
assertion8_0_6FAIL106.13
possibility10_0_6FAIL106.22
possibility6_0_6FAIL106.23
assertion1_0_6FAIL106.32
assertion10_0_6FAIL106.33
possibility5_0_6FAIL107.64
assertion12_0_6FAIL107.83
assertion4_0_6FAIL107.83
assertion5_0_6FAIL108.03
assertion2_0_6FAIL108.15
assertion9_0_6FAIL109.23
lognBWLARGEB1UNSAT111.48
lut4_AND_fXORUNSAT115.25
possibility8_0_7FAIL121.43
possibility1_0_7FAIL121.63
consistency_0_7FAIL121.73
possibility9_0_7FAIL121.73
possibility4_0_7FAIL121.83
assertion11_0_7FAIL121.83
assertion7_0_7FAIL122.02
possibility11_0_7FAIL122.03
assertion6_0_7FAIL122.03
assertion3_0_7FAIL122.03
possibility6_0_7FAIL122.04
possibility3_0_7FAIL122.12
possibility7_0_7FAIL122.53
possibility12_0_7FAIL123.04
assertion8_0_7FAIL123.33
possibility2_0_7FAIL123.43
possibility10_0_7FAIL123.43
assertion1_0_7FAIL123.63
assertion10_0_7FAIL123.63
assertion2_0_7FAIL124.83
assertion4_0_7FAIL124.93
assertion12_0_7FAIL125.02
assertion5_0_7FAIL125.13
assertion9_0_7FAIL125.14
possibility5_0_7FAIL125.24
lut4_2_f2UNSAT137.42
possibility8_0_8FAIL146.22
possibility12_0_8FAIL148.83
assertion8_0_8FAIL152.03
possibility9_0_8FAIL153.23
assertion3_0_8FAIL155.03
assertion7_0_8FAIL155.13
possibility3_0_8FAIL155.13
consistency_0_8FAIL155.23
possibility11_0_8FAIL155.33
assertion11_0_8FAIL155.33
assertion6_0_8FAIL155.42
possibility6_0_8FAIL155.43
possibility7_0_8FAIL155.43
possibility1_0_8FAIL155.53
possibility4_0_8FAIL155.53
assertion1_0_8FAIL156.83
assertion10_0_8FAIL157.14
possibility10_0_8FAIL157.43
possibility2_0_8FAIL157.43
possibility5_0_8FAIL159.02
assertion4_0_8FAIL159.12
assertion2_0_8FAIL159.13
assertion5_0_8FAIL159.13
assertion12_0_8FAIL159.23
assertion9_0_8FAIL159.24
possibility8_0_9FAIL168.73
possibility9_0_9FAIL170.02
assertion7_0_9FAIL170.13
assertion3_0_9FAIL170.13
possibility6_0_9FAIL170.24
possibility7_0_9FAIL170.24
possibility11_0_9FAIL170.24
possibility3_0_9FAIL170.42
assertion6_0_9FAIL170.43
possibility1_0_9FAIL170.53
possibility4_0_9FAIL170.54
consistency_0_9FAIL170.72
assertion11_0_9FAIL170.73
assertion1_0_9FAIL171.93
assertion10_0_9FAIL172.13
possibility12_0_9FAIL172.13
possibility10_0_9FAIL172.32
assertion8_0_9FAIL172.44
possibility2_0_9FAIL172.63
assertion9_0_9FAIL174.12
assertion5_0_9FAIL174.13
assertion12_0_9FAIL174.13
assertion2_0_9FAIL174.53
possibility5_0_9FAIL174.64
assertion4_0_9FAIL174.74
flipflop-11-cUNSAT182.36
possibility8_0_10FAIL188.63
possibility9_0_10FAIL189.04
assertion3_0_10FAIL189.62
possibility12_0_10FAIL191.03
assertion8_0_10FAIL191.03
assertion2_0_10FAIL193.12
assertion7_0_10FAIL194.93
assertion4_0_10FAIL197.63
assertion1_0_10FAIL200.93
possibility11_0_10FAIL202.33
possibility3_0_10FAIL202.33
assertion6_0_10FAIL202.42
consistency_0_10FAIL202.43
possibility4_0_10FAIL202.43
possibility6_0_10FAIL202.53
Umbrella_tbm_24.tex.module.000131SAT202.55
possibility7_0_10FAIL202.63
possibility5_0_10FAIL202.73
assertion11_0_10FAIL202.85
possibility1_0_10FAIL202.93
possibility10_0_10FAIL204.03
possibility2_0_10FAIL204.13
assertion10_0_10FAIL204.63
assertion12_0_10FAIL206.64
assertion5_0_10FAIL206.73
assertion9_0_10FAIL206.74
CHAIN16v.17SAT222.12
k_branch_n-10SAT233.04
sortnetsort8.v.stepl.009SAT244.11
ken.flash^08.C-d4UNSAT248.48
stmt27_296_297SAT343.41
ev-pr-4x4-9-3-0-0-1-lgSAT381.04
driverlog03_7SAT595.5
sortnetsort9.v.stepl.005FAIL599.71
c4_Debug_s3_f2_e2_v2FAIL599.71
possibility2_0_1FAIL599.71
C499.blif_0.10_0.20_0_0_out_exactFAIL599.71
c3_Debug_s3_f2_e2_v2FAIL599.71
ev-pr-6x6-17-5-0-1-2-lgFAIL599.71
cube_c7_ser--opt-24_FAIL599.71
c4_Debug_s5_f2_e2_v1FAIL599.71
emptyroom_e3_ser--opt-20_FAIL599.71
c5_BMC_p2_k64FAIL599.71
CHAIN22v.23FAIL599.71
test3_quant_squaring4FAIL599.71
test3_quant_squaring2FAIL599.71
szymanski-8-sFAIL599.71
rankfunc5_unsigned_64FAIL599.71
szymanski-16-sFAIL599.71
c5_BMC_p2_k128FAIL599.71
ring_r6_ser--opt-17_FAIL599.71
emptyroom_e4_ser--opt-44_FAIL599.71
possibility12_0_1FAIL599.71
possibility9_0_1FAIL599.71
ev-pr-8x8-15-7-0-1-2-lgFAIL599.71
k_ph_n-21FAIL599.71
szymanski-6-sFAIL599.71
adder-12-unsatFAIL599.71
f600-50FAIL599.71
rankfunc14_signed_64FAIL599.71
k12_4_2FAIL599.71
stmt41_738_749FAIL599.71
stmt16_950_951FAIL599.71
possibility7_0_1FAIL599.71
ev-pr-4x4-15-3-0-0-1-sFAIL599.71
possibility5_0_1FAIL599.71
ken.oop^2.C-d4FAIL599.71
s3330_d12_uFAIL599.71
stmt17_63_82FAIL599.71
stmt17_70_90FAIL599.71
stmt28_68_81FAIL599.71
stmt19_64_99FAIL599.71
s1269_d15_uFAIL599.71
cnt16rFAIL599.71
cnt14FAIL599.71
sortnetsort10.v.stepl.005FAIL599.71
k8_2_3FAIL599.71
k14_2_3FAIL599.71
rankfunc33_signed_32FAIL599.71
rankfunc17_unsigned_16FAIL599.71
c2_Debug_s3_f1_e1_v2FAIL599.71
possibility8_0_1FAIL599.71
stmt17_86_98FAIL599.71
possibility3_0_1FAIL599.71
rankfunc13_unsigned_64FAIL599.71
p20-5.pddl_planlen=32FAIL599.71
k_ph_p-19FAIL599.71
c1_Debug_s5_f1_e1_v2FAIL599.71
s1269_d12_uFAIL599.71
sortnetsort9.v.stepl.007FAIL599.71
s1269_d13_uFAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
possibility4_0_1FAIL599.71
possibility6_0_1FAIL599.71
qshifter_7FAIL599.71
audio_ddksynth_csynth2.cppFAIL599.71
incrementer-enc02-uniform-depth-58FAIL599.71
incrementer-enc07-uniform-depth-25FAIL599.71
assertion4_0_1FAIL599.71
incrementer-enc08-uniform-depth-33FAIL599.71
mutex-64-sFAIL599.71
k_branch_p-16FAIL599.71
C880.blif_0.10_0.20_0_1_out_exactFAIL599.71
C6288.blif_0.10_0.20_0_0_out_exactFAIL599.71
network_irda_miniport_nscirda_comm.cFAIL599.71
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.71
ev-pr-6x6-17-5-0-1-2-sFAIL599.71
ev-pr-6x6-13-5-0-1-2-sFAIL599.71
k_branch_n-12FAIL599.71
cache-coherence-2-fixpoint-6FAIL599.71
sdlx-fixpoint-3FAIL599.71
small-swap1-fixpoint-3FAIL599.71
small-synabs-fixpoint-9FAIL599.71
small-swap2-fixpoint-4FAIL599.71
filesys_smbmrx_cvsndrcv.cFAIL599.71
assertion3_0_1FAIL599.71
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL599.71
pipesnotankage18_8FAIL599.71
adder-10-satFAIL599.71
query42_query06_1344nFAIL599.71
query44_query26_1344nFAIL599.71
connect_8x7_6_RFAIL599.71
ev-pr-6x6-11-5-0-1-2-lgFAIL599.71
adder-14-satFAIL599.71
assertion10_0_1FAIL599.71
s01238_PR_8_2FAIL599.71
p20-20.pddl_planlen=23FAIL599.71
p20-1.pddl_planlen=24FAIL599.71
b20_C_3_2FAIL599.71
b20_PR_7_20FAIL599.71
b21_C_3_206FAIL599.71
b22_PR_8_20FAIL599.71
assertion2_0_1FAIL599.71
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL599.71
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL599.71
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL599.71
p10-10.pddl_planlen=10FAIL599.71
s15850_PR_8_50FAIL599.71
ev-pr-8x8-13-7-0-1-2-lgFAIL599.71
possibility11_0_1FAIL599.71
connect_9x8_6_RFAIL599.71
ev-pr-4x4-13-3-0-0-1-sFAIL599.71
ev-pr-4x4-17-3-0-0-1-sFAIL599.71
ev-pr-8x8-7-7-0-1-2-lgFAIL599.71
uclid-pipe3aFAIL599.71
consistency_0_1FAIL599.71
C499.blif_0.10_1.00_0_0_out_exactFAIL599.71
uclid-pipe2FAIL599.71
C6288.blif_0.10_0.20_0_1_out_exactFAIL599.71
possibility1_0_1FAIL599.71
C499.blif_0.10_0.20_0_1_out_exactFAIL599.71
vonNeumann-ripple-carry-11-cFAIL599.71
C880.blif_0.10_1.00_0_0_inp_exactFAIL599.71
szymanski-14-sFAIL599.71
Adder2-16-sFAIL599.71
s3330_d9_sFAIL599.71
test1_quant_squaring3FAIL599.71
possibility10_0_1FAIL599.71
C5315.blif_0.10_0.20_0_0_out_exactFAIL599.71
ev-pr-4x4-11-3-0-0-1-lgFAIL599.71
CHAIN23v.24FAIL599.71
C5315.blif_0.10_0.20_0_1_inp_exactFAIL599.71
ev-pr-8x8-19-7-0-1-2-lgFAIL599.71
ev-pr-6x6-9-5-0-1-2-sFAIL599.71
test2_quant_squaring2FAIL599.71
ev-pr-4x4-7-3-0-0-1-sFAIL599.71
assertion8_0_1FAIL599.71
C6288.blif_0.10_0.20_0_0_inp_exactFAIL599.71
ev-pr-6x6-19-5-0-1-2-lgFAIL599.71
C6288.blif_0.10_1.00_0_0_out_exactFAIL599.71
ev-pr-6x6-9-5-0-1-2-lgFAIL599.71
szymanski-5-sFAIL599.71
ev-pr-4x4-13-3-0-0-1-lgFAIL599.71
CHAIN20v.21FAIL599.71
C880.blif_0.10_0.20_0_1_inp_exactFAIL599.71
mutex-32-sFAIL599.71
mutex-4-sFAIL599.71
Umbrella_tbm_05.tex.module.000039FAIL599.71
s09234_PR_8_2FAIL599.72
vonNeumann-ripple-carry-12-cFAIL599.72
BLOCKS4iii.6FAIL599.72
pipesnotankage14_10FAIL599.72
k5_2_3FAIL599.72
ev-pr-6x6-11-5-0-1-2-sFAIL599.72
test2_quant_squaring3FAIL599.72
k_ph_p-12FAIL599.81
assertion9_0_1FAIL599.81
b12_PR_9_2FAIL599.81
c2_BMC_p1_k2048FAIL599.81
qshifter_8FAIL599.81
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL599.81
input_pnpi8042_moudep.cFAIL599.81
assertion1_0_1FAIL599.81