| Instance |
# Sat |
# Unsat |
Minority Solver |
| assertion11_0_1 |
2 |
5 |
xb-bid-qsts, xb-qsts |
| assertion12_0_1 |
2 |
5 |
xb-bid-qsts, xb-qsts |
| assertion2_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| assertion5_0_1 |
2 |
5 |
xb-bid-qsts, xb-qsts |
| assertion6_0_1 |
2 |
3 |
xb-bid-qsts, xb-qsts |
| assertion7_0_1 |
2 |
3 |
xb-bid-qsts, xb-qsts |
| 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-001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| BLOCKS3i.5.3 |
1 |
7 |
xb-bid-qsts |
| C432.blif_0.10_0.20_0_0_out_exact |
2 |
5 |
xb-bid-qsts, xb-qsts |
| C432.blif_0.10_1.00_0_0_out_exact |
2 |
5 |
xb-bid-qsts, xb-qsts |
| C499.blif_0.10_1.00_0_0_out_exact |
2 |
2 |
ghostq-cegar, rareqs-nn, xb-bid-qsts, xb-qsts |
| c4_BMC_p1_k32 |
7 |
1 |
qsts |
| C5315.blif_0.10_1.00_0_0_inp_exact |
2 |
6 |
xb-bid-qsts, xb-qsts |
| C5315.blif_0.10_1.00_0_0_out_exact |
2 |
6 |
xb-bid-qsts, xb-qsts |
| C880.blif_0.10_0.20_0_1_inp_exact |
1 |
2 |
qsts |
| C880.blif_0.10_0.20_0_1_out_exact |
3 |
3 |
ghostq-cegar, ghostq-plain, qsts, rareqs-nn, xb-bid-qsts, xb-qsts |
| C880.blif_0.10_1.00_0_0_out_exact |
2 |
6 |
xb-bid-qsts, xb-qsts |
| CHAIN14v.15 |
7 |
1 |
qsts |
| CHAIN16v.17 |
6 |
1 |
qsts |
| CHAIN20v.21 |
4 |
1 |
qsts |
| CHAIN22v.23 |
4 |
1 |
qsts |
| CHAIN23v.24 |
4 |
1 |
qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000007 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000015 |
1 |
4 |
qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000026 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000056 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000077 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000095 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000098 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000099 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_02.tex.moduleQ3.2S.000108 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000019 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000021 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000023 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000031 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000034 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000037 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000038 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000039 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000048 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000056 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000057 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000058 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000064 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000065 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000090 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.module.000092 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.moduleQ3.2S.000002 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.moduleQ3.2S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.moduleQ3.2S.000009 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.moduleQ3.2S.000011 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.moduleQ3.2S.000018 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_03.tex.moduleQ3.2S.000048 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.module.000008 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.module.000009 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.module.000010 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.module.000028 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.module.000033 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.10S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.2S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.2S.000005 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.2S.000007 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.2S.000010 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.2S.000011 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_09.tex.moduleQ3.9S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000008 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000009 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000010 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000014 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000017 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000023 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000026 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000027 |
1 |
7 |
qsts |
| Core1108_tbm_21.tex.module.000030 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.module.000091 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000002 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000007 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000011 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000014 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000015 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000019 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000024 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_21.tex.moduleQ3.2S.000027 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Core1108_tbm_28.tex.moduleQ2.2S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| dme1_2 |
7 |
1 |
qsts |
| dme1_3 |
7 |
1 |
qsts |
| dme1_4 |
7 |
1 |
qsts |
| dme1_5 |
7 |
1 |
qsts |
| dme1_6 |
7 |
1 |
qsts |
| dme1_7 |
7 |
1 |
qsts |
| dme1_8 |
7 |
1 |
qsts |
| dmeSmall_2 |
7 |
1 |
qsts |
| dmeSmall_4 |
7 |
1 |
qsts |
| dmeSmall_8 |
7 |
1 |
qsts |
| dmeSmall_9 |
7 |
1 |
qsts |
| flipflop-3-c |
2 |
6 |
xb-bid-qsts, xb-qsts |
| fpu-10Xh-error01-uniform-depth-5 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| gttt_1_1_000111_3x3_torus_w |
1 |
6 |
xb-bid-qsts |
| gttt_1_1_001020_3x3_w |
1 |
6 |
xb-bid-qsts |
| gttt_2_1_000111_3x3_torus_b |
6 |
1 |
qsts |
| incrementer-enc05-uniform-depth-2 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| k_ph_n-16 |
6 |
1 |
qsts |
| k_ph_n-21 |
3 |
1 |
qsts |
| lut4_2_f2 |
1 |
5 |
xb-bid-qsts |
| possibility10_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility11_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility3_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility5_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility6_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| s1196_d3_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s1196_d5_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s1269_d12_u |
2 |
1 |
qsts |
| s1269_d13_u |
2 |
1 |
qsts |
| s1269_d15_u |
2 |
1 |
qsts |
| s1269_d8_s |
7 |
1 |
qsts |
| s27_d4_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s27_d5_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s298_d19_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s298_d22_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s298_d25_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s3330_d2_s |
7 |
1 |
qsts |
| s3330_d3_s |
5 |
1 |
qsts |
| s3330_d4_s |
5 |
1 |
qsts |
| s386_d10_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s386_d12_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s386_d8_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s499_d17_s |
7 |
1 |
qsts |
| s499_d22_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s499_d24_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s510_d24_s |
7 |
1 |
qsts |
| s510_d31_s |
7 |
1 |
qsts |
| s510_d36_s |
6 |
1 |
qsts |
| s641_d7_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s641_d8_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s713_d7_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s713_d8_u |
2 |
5 |
xb-bid-qsts, xb-qsts |
| s820_d11_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s820_d12_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| s820_d15_u |
2 |
6 |
xb-bid-qsts, xb-qsts |
| term1.blif_0.10_0.20_0_0_out_exact |
2 |
6 |
xb-bid-qsts, xb-qsts |
| term1.blif_0.10_1.00_0_0_out_exact |
2 |
6 |
xb-bid-qsts, xb-qsts |
| term1.blif_0.10_1.00_0_1_out_exact |
7 |
1 |
qsts |
| tlc01-uniform-depth-73 |
1 |
7 |
xb-bid-qsts |
| Umbrella_tbm_05.tex.module.000011 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000015 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000025 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000030 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000043 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000053 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000064 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000065 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000079 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_05.tex.module.000088 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000720 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000749 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000757 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000773 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000787 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000792 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000808 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.1S.000812 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.2S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.2S.000002 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_14.tex.moduleQ2.2S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000024 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000029 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000044 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000049 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000056 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000069 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000079 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000129 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000134 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000139 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_21.tex.module.000149 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_23.tex.moduleQ1.2S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_24.tex.module.000066 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_24.tex.module.000103 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_24.tex.moduleQ2.1S.000022 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_24.tex.moduleQ2.1S.000136 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_24.tex.moduleQ2.1S.000188 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000031 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000041 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000084 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000087 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000099 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000106 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.module.000121 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.moduleQ3.2S.000052 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.moduleQ3.2S.000063 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_25.tex.moduleQ3.2S.000075 |
1 |
6 |
qsts |
| Umbrella_tbm_25.tex.moduleQ3.2S.000120 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.module.000004 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.module.000021 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.module.000041 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.module.000061 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.moduleQ3.2S.000009 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.moduleQ3.2S.000014 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.moduleQ3.2S.000020 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.moduleQ3.2S.000037 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_26.tex.moduleQ3.2S.000041 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_29.tex.module.000009 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_29.tex.module.000010 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_29.tex.module.000078 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| Umbrella_tbm_29.tex.moduleQ2.2S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003 |
2 |
6 |
xb-bid-qsts, xb-qsts |
| z4ml.blif_0.10_1.00_0_0_inp_exact |
2 |
6 |
xb-bid-qsts, xb-qsts |
qbflib.org