QBFL-JW results solving families - 2004

Family# Total# Sat# UnsatTime
Adder53140545.66
Blocks6659466.59
C43273251357.6
C49976257270.88
C53158677486.84
C62888677486.85
C8807870278.79
Chain62722434.96
comp28434642.34
Connect2880.88
Connect3851.39
Connect4881.43
Connect5881.24
Connect6881.39
Connect7881.61
Connect8883.13
Connect9331.47
Counter1225455.01
DFlipFlop60891.18
Impl6180.45
jmc_quant4237842.05
jmc_quant_squaring9484694.34
k_branch_n37131535.59
k_branch_p5549555.27
k_d4_n4641446.21
k_d4_p3935139.31
k_dum_n42131703.12
k_dum_p43136979.23
k_grz_n3228832.31
k_grz_p4540545.37
k_lin_n39231647.78
k_lin_p32127030.39
k_path_n42136040.31
k_path_p38226143.82
k_ph_n52422677.19
k_ph_p53238748.54
k_poly_n32226031.99
k_poly_p4136941.26
k_t4p_n4237842.47
k_t4p_p5650456.19
Logn29217119.49
mA-t2-2qbf-5cnf-100var-1000cl21802.02
mA-t2-2qbf-5cnf-100var-1200cl21802.01
mA-t2-2qbf-5cnf-100var-1400cl220.95
mA-t2-2qbf-5cnf-100var-1600cl228.53
mA-t2-2qbf-5cnf-100var-1800cl220.12
mA-t2-2qbf-5cnf-100var-200cl220.01
mA-t2-2qbf-5cnf-100var-400cl21802.01
mA-t2-2qbf-5cnf-100var-600cl21802.02
mA-t2-2qbf-5cnf-100var-800cl21802.02
mA-t2-2qbf-5cnf-150var-1200cl21802.01
mA-t2-2qbf-5cnf-150var-1500cl21802.01
mA-t2-2qbf-5cnf-150var-1800cl21802.02
mA-t2-2qbf-5cnf-150var-2100cl211127.71
mA-t2-2qbf-5cnf-150var-2400cl21901.32
mA-t2-2qbf-5cnf-150var-2700cl221.19
mA-t2-2qbf-5cnf-150var-300cl220.04
mA-t2-2qbf-5cnf-150var-600cl21802.01
mA-t2-2qbf-5cnf-150var-900cl21802.02
mA-t2-2qbf-5cnf-50var-100cl220.02
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802.02
mA-t2-2qbf-5cnf-50var-400cl21802.01
mA-t2-2qbf-5cnf-50var-500cl21909.03
mA-t2-2qbf-5cnf-50var-600cl22598.27
mA-t2-2qbf-5cnf-50var-700cl222.08
mA-t2-2qbf-5cnf-50var-800cl220.02
mA-t2-2qbf-5cnf-50var-900cl220.03
mA-t2-3qbf-5cnf-100var-1000cl21802.02
mA-t2-3qbf-5cnf-100var-1200cl21802.02
mA-t2-3qbf-5cnf-100var-1400cl21802.01
mA-t2-3qbf-5cnf-100var-1600cl21802.02
mA-t2-3qbf-5cnf-100var-1800cl21802.03
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl220
mA-t2-3qbf-5cnf-100var-600cl220.01
mA-t2-3qbf-5cnf-100var-800cl220.01
mA-t2-3qbf-5cnf-150var-1200cl220.02
mA-t2-3qbf-5cnf-150var-1500cl21802.02
mA-t2-3qbf-5cnf-150var-1800cl21802.01
mA-t2-3qbf-5cnf-150var-2100cl21802.02
mA-t2-3qbf-5cnf-150var-2400cl21802.02
mA-t2-3qbf-5cnf-150var-2700cl21802.02
mA-t2-3qbf-5cnf-150var-300cl220.01
mA-t2-3qbf-5cnf-150var-600cl220.02
mA-t2-3qbf-5cnf-150var-900cl220.03
mA-t2-3qbf-5cnf-50var-100cl220.01
mA-t2-3qbf-5cnf-50var-200cl220.03
mA-t2-3qbf-5cnf-50var-300cl220.02
mA-t2-3qbf-5cnf-50var-400cl21901.03
mA-t2-3qbf-5cnf-50var-500cl21901.03
mA-t2-3qbf-5cnf-50var-600cl21802.02
mA-t2-3qbf-5cnf-50var-700cl21802.01
mA-t2-3qbf-5cnf-50var-800cl21802.04
mA-t2-3qbf-5cnf-50var-900cl211123.09
mA-t2-4qbf-5cnf-100var-1000cl21802
mA-t2-4qbf-5cnf-100var-1200cl21802.02
mA-t2-4qbf-5cnf-100var-1400cl21802.01
mA-t2-4qbf-5cnf-100var-1600cl21802
mA-t2-4qbf-5cnf-100var-1800cl21802
mA-t2-4qbf-5cnf-100var-200cl220
mA-t2-4qbf-5cnf-100var-400cl220.01
mA-t2-4qbf-5cnf-100var-600cl21802.02
mA-t2-4qbf-5cnf-100var-800cl21802.01
mA-t2-4qbf-5cnf-150var-1200cl21802.02
mA-t2-4qbf-5cnf-150var-1500cl21802.03
mA-t2-4qbf-5cnf-150var-1800cl21802.03
mA-t2-4qbf-5cnf-150var-2100cl21802.01
mA-t2-4qbf-5cnf-150var-2400cl21802.02
mA-t2-4qbf-5cnf-150var-2700cl21802
mA-t2-4qbf-5cnf-150var-300cl220.03
mA-t2-4qbf-5cnf-150var-600cl220.03
mA-t2-4qbf-5cnf-150var-900cl21802
mA-t2-4qbf-5cnf-50var-100cl220.01
mA-t2-4qbf-5cnf-50var-200cl220.02
mA-t2-4qbf-5cnf-50var-300cl21901
mA-t2-4qbf-5cnf-50var-400cl21802.02
mA-t2-4qbf-5cnf-50var-500cl21802.03
mA-t2-4qbf-5cnf-50var-600cl211058.1
mA-t2-4qbf-5cnf-50var-700cl21802.02
mA-t2-4qbf-5cnf-50var-800cl211601.81
mA-t2-4qbf-5cnf-50var-900cl21802.01
mA-t2-5qbf-5cnf-100var-1000cl21901.04
mA-t2-5qbf-5cnf-100var-1200cl21802.01
mA-t2-5qbf-5cnf-100var-1400cl21802.02
mA-t2-5qbf-5cnf-100var-1600cl21802.01
mA-t2-5qbf-5cnf-100var-1800cl21802.03
mA-t2-5qbf-5cnf-100var-200cl220
mA-t2-5qbf-5cnf-100var-400cl220
mA-t2-5qbf-5cnf-100var-600cl220.03
mA-t2-5qbf-5cnf-100var-800cl220.03
mA-t2-5qbf-5cnf-150var-1200cl220
mA-t2-5qbf-5cnf-150var-1500cl220.02
mA-t2-5qbf-5cnf-150var-1800cl21802.02
mA-t2-5qbf-5cnf-150var-2100cl21802.03
mA-t2-5qbf-5cnf-150var-2400cl21802.02
mA-t2-5qbf-5cnf-150var-2700cl21802.02
mA-t2-5qbf-5cnf-150var-300cl220.03
mA-t2-5qbf-5cnf-150var-600cl220.01
mA-t2-5qbf-5cnf-150var-900cl220.02
mA-t2-5qbf-5cnf-50var-100cl220.01
mA-t2-5qbf-5cnf-50var-200cl220
mA-t2-5qbf-5cnf-50var-300cl220.04
mA-t2-5qbf-5cnf-50var-400cl220.02
mA-t2-5qbf-5cnf-50var-500cl220.01
mA-t2-5qbf-5cnf-50var-600cl21802.03
mA-t2-5qbf-5cnf-50var-700cl21802.02
mA-t2-5qbf-5cnf-50var-800cl21802.02
mA-t2-5qbf-5cnf-50var-900cl21802.02
mB-t2-2qbf-5cnf-100var-1000cl220.02
mB-t2-2qbf-5cnf-100var-1200cl220.02
mB-t2-2qbf-5cnf-100var-1400cl220.04
mB-t2-2qbf-5cnf-100var-1600cl220.03
mB-t2-2qbf-5cnf-100var-1800cl220.06
mB-t2-2qbf-5cnf-100var-200cl21160.84
mB-t2-2qbf-5cnf-100var-400cl22115.56
mB-t2-2qbf-5cnf-100var-600cl220.15
mB-t2-2qbf-5cnf-100var-800cl220.03
mB-t2-2qbf-5cnf-150var-1200cl220.04
mB-t2-2qbf-5cnf-150var-1500cl220.05
mB-t2-2qbf-5cnf-150var-1800cl220.05
mB-t2-2qbf-5cnf-150var-2100cl220.05
mB-t2-2qbf-5cnf-150var-2400cl220.04
mB-t2-2qbf-5cnf-150var-2700cl220.05
mB-t2-2qbf-5cnf-150var-300cl220.02
mB-t2-2qbf-5cnf-150var-600cl220.02
mB-t2-2qbf-5cnf-150var-900cl220.04
mB-t2-2qbf-5cnf-50var-100cl2110.07
mB-t2-2qbf-5cnf-50var-200cl220.05
mB-t2-2qbf-5cnf-50var-300cl220.32
mB-t2-2qbf-5cnf-50var-400cl220.02
mB-t2-2qbf-5cnf-50var-500cl220.01
mB-t2-2qbf-5cnf-50var-600cl220.02
mB-t2-2qbf-5cnf-50var-700cl220.03
mB-t2-2qbf-5cnf-50var-800cl220.01
mB-t2-2qbf-5cnf-50var-900cl220.03
mB-t2-3qbf-5cnf-100var-1000cl220.14
mB-t2-3qbf-5cnf-100var-1200cl220.1
mB-t2-3qbf-5cnf-100var-1400cl220.58
mB-t2-3qbf-5cnf-100var-1600cl220.87
mB-t2-3qbf-5cnf-100var-1800cl220.13
mB-t2-3qbf-5cnf-100var-200cl220.02
mB-t2-3qbf-5cnf-100var-400cl211131.23
mB-t2-3qbf-5cnf-100var-600cl2213.87
mB-t2-3qbf-5cnf-100var-800cl2273.36
mB-t2-3qbf-5cnf-150var-1200cl21951.41
mB-t2-3qbf-5cnf-150var-1500cl2232.29
mB-t2-3qbf-5cnf-150var-1800cl221.35
mB-t2-3qbf-5cnf-150var-2100cl223.38
mB-t2-3qbf-5cnf-150var-2400cl221.74
mB-t2-3qbf-5cnf-150var-2700cl221.85
mB-t2-3qbf-5cnf-150var-300cl220.02
mB-t2-3qbf-5cnf-150var-600cl21802.01
mB-t2-3qbf-5cnf-150var-900cl211085.68
mB-t2-3qbf-5cnf-50var-100cl220.02
mB-t2-3qbf-5cnf-50var-200cl220.76
mB-t2-3qbf-5cnf-50var-300cl221.68
mB-t2-3qbf-5cnf-50var-400cl220.22
mB-t2-3qbf-5cnf-50var-500cl220.04
mB-t2-3qbf-5cnf-50var-600cl220.06
mB-t2-3qbf-5cnf-50var-700cl220.04
mB-t2-3qbf-5cnf-50var-800cl220.05
mB-t2-3qbf-5cnf-50var-900cl220.04
mB-t2-4qbf-5cnf-100var-1000cl21802
mB-t2-4qbf-5cnf-100var-1200cl21802.02
mB-t2-4qbf-5cnf-100var-1400cl211752.74
mB-t2-4qbf-5cnf-100var-1600cl2221
mB-t2-4qbf-5cnf-100var-1800cl22184.43
mB-t2-4qbf-5cnf-100var-200cl220.01
mB-t2-4qbf-5cnf-100var-400cl220.03
mB-t2-4qbf-5cnf-100var-600cl220.09
mB-t2-4qbf-5cnf-100var-800cl2253.97
mB-t2-4qbf-5cnf-150var-1200cl21802.02
mB-t2-4qbf-5cnf-150var-1500cl21802.01
mB-t2-4qbf-5cnf-150var-1800cl21802
mB-t2-4qbf-5cnf-150var-2100cl21802.03
mB-t2-4qbf-5cnf-150var-2400cl21802.01
mB-t2-4qbf-5cnf-150var-2700cl21802.04
mB-t2-4qbf-5cnf-150var-300cl220
mB-t2-4qbf-5cnf-150var-600cl220.01
mB-t2-4qbf-5cnf-150var-900cl220.07
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.06
mB-t2-4qbf-5cnf-50var-300cl220.03
mB-t2-4qbf-5cnf-50var-400cl220.05
mB-t2-4qbf-5cnf-50var-500cl220.68
mB-t2-4qbf-5cnf-50var-600cl220.94
mB-t2-4qbf-5cnf-50var-700cl223.48
mB-t2-4qbf-5cnf-50var-800cl220.12
mB-t2-4qbf-5cnf-50var-900cl220.22
mB-t2-5qbf-5cnf-100var-1000cl21802.01
mB-t2-5qbf-5cnf-100var-1200cl22799.95
mB-t2-5qbf-5cnf-100var-1400cl21802.02
mB-t2-5qbf-5cnf-100var-1600cl224.96
mB-t2-5qbf-5cnf-100var-1800cl22107.52
mB-t2-5qbf-5cnf-100var-200cl220.02
mB-t2-5qbf-5cnf-100var-400cl220.39
mB-t2-5qbf-5cnf-100var-600cl21802.02
mB-t2-5qbf-5cnf-100var-800cl21802.01
mB-t2-5qbf-5cnf-150var-1200cl21802.02
mB-t2-5qbf-5cnf-150var-1500cl21802.02
mB-t2-5qbf-5cnf-150var-1800cl21802.01
mB-t2-5qbf-5cnf-150var-2100cl21802.03
mB-t2-5qbf-5cnf-150var-2400cl211132.19
mB-t2-5qbf-5cnf-150var-2700cl211204.8
mB-t2-5qbf-5cnf-150var-300cl220.02
mB-t2-5qbf-5cnf-150var-600cl22671.17
mB-t2-5qbf-5cnf-150var-900cl21802.03
mB-t2-5qbf-5cnf-50var-100cl220.02
mB-t2-5qbf-5cnf-50var-200cl220.03
mB-t2-5qbf-5cnf-50var-300cl2227.11
mB-t2-5qbf-5cnf-50var-400cl21802.02
mB-t2-5qbf-5cnf-50var-500cl21905.01
mB-t2-5qbf-5cnf-50var-600cl22409.52
mB-t2-5qbf-5cnf-50var-700cl21802.03
mB-t2-5qbf-5cnf-50var-800cl220.91
mB-t2-5qbf-5cnf-50var-900cl220.3
MutexP7872.86
RobotsD2943877.34
RobotsD3834819.05
RobotsD41344064.3
RobotsD5834508.55
s11964439644.52
s12695246852.35
s2736126129.17
s2983935139.31
s3271871.66
s33305549555.69
s3865347753.22
s4993731535.19
s5102421624.37
s6414944149.46
s7136154961.31
s8204843248.71
SzymanskiP6582623.93
term169434247.37
Toilet33532497.9
ToiletA15165582.53
ToiletC1035432.39
ToiletG4370.37
Tree531518100.7
uclid3027030.3
VonNeumann56823.75
z4ml61440.9