QBFL-BS results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135139.5
Blocks6659466.73
C43273251357.77
C49976162170.05
C53158072080.79
C62887769377.58
C8807870278.69
Chain62716184.58
comp28414815.17
Connect2880.84
Connect3882.73
Connect4881.44
Connect5881.23
Connect6881.42
Connect7881.65
Connect8873.05
Connect9331.5
Counter1225457.11
DFlipFlop60883.45
Impl6180.14
jmc_quant3632436.15
jmc_quant_squaring7769377.78
k_branch_n34128832.34
k_branch_p4540545.4
k_d4_n4641446.28
k_d4_p3935139.45
k_dum_n42227175.43
k_dum_p43136960.25
k_grz_n3228832.38
k_grz_p4540545.08
k_lin_n39231579.52
k_lin_p32127030.18
k_path_n42232183.54
k_path_p38226144.58
k_ph_n50324327.83
k_ph_p42228841.47
k_poly_n32225319.11
k_poly_p41133948.8
k_t4p_n4237842.33
k_t4p_p5650456.43
Logn29217119.68
mA-t2-2qbf-5cnf-100var-1000cl21802.02
mA-t2-2qbf-5cnf-100var-1200cl21802.02
mA-t2-2qbf-5cnf-100var-1400cl2266.49
mA-t2-2qbf-5cnf-100var-1600cl220.58
mA-t2-2qbf-5cnf-100var-1800cl220.15
mA-t2-2qbf-5cnf-100var-200cl220.03
mA-t2-2qbf-5cnf-100var-400cl21802.02
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802
mA-t2-2qbf-5cnf-150var-1200cl21802
mA-t2-2qbf-5cnf-150var-1500cl21802.04
mA-t2-2qbf-5cnf-150var-1800cl21802.01
mA-t2-2qbf-5cnf-150var-2100cl21802.01
mA-t2-2qbf-5cnf-150var-2400cl21901.41
mA-t2-2qbf-5cnf-150var-2700cl220.94
mA-t2-2qbf-5cnf-150var-300cl220
mA-t2-2qbf-5cnf-150var-600cl21802
mA-t2-2qbf-5cnf-150var-900cl21802
mA-t2-2qbf-5cnf-50var-100cl220.01
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802.01
mA-t2-2qbf-5cnf-50var-400cl21802.02
mA-t2-2qbf-5cnf-50var-500cl2259.44
mA-t2-2qbf-5cnf-50var-600cl22247.86
mA-t2-2qbf-5cnf-50var-700cl221.56
mA-t2-2qbf-5cnf-50var-800cl220.03
mA-t2-2qbf-5cnf-50var-900cl220.04
mA-t2-3qbf-5cnf-100var-1000cl21802.01
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.01
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl220.01
mA-t2-3qbf-5cnf-100var-600cl220.03
mA-t2-3qbf-5cnf-100var-800cl220.03
mA-t2-3qbf-5cnf-150var-1200cl220.01
mA-t2-3qbf-5cnf-150var-1500cl21802
mA-t2-3qbf-5cnf-150var-1800cl21802.01
mA-t2-3qbf-5cnf-150var-2100cl21802.03
mA-t2-3qbf-5cnf-150var-2400cl21802.02
mA-t2-3qbf-5cnf-150var-2700cl21802.01
mA-t2-3qbf-5cnf-150var-300cl220.01
mA-t2-3qbf-5cnf-150var-600cl220.01
mA-t2-3qbf-5cnf-150var-900cl220.02
mA-t2-3qbf-5cnf-50var-100cl220.04
mA-t2-3qbf-5cnf-50var-200cl220.02
mA-t2-3qbf-5cnf-50var-300cl220.02
mA-t2-3qbf-5cnf-50var-400cl21901.02
mA-t2-3qbf-5cnf-50var-500cl21901.01
mA-t2-3qbf-5cnf-50var-600cl21802
mA-t2-3qbf-5cnf-50var-700cl21802.01
mA-t2-3qbf-5cnf-50var-800cl21802.02
mA-t2-3qbf-5cnf-50var-900cl21802.01
mA-t2-4qbf-5cnf-100var-1000cl21802.01
mA-t2-4qbf-5cnf-100var-1200cl21802.01
mA-t2-4qbf-5cnf-100var-1400cl21802.01
mA-t2-4qbf-5cnf-100var-1600cl21802.02
mA-t2-4qbf-5cnf-100var-1800cl21802.03
mA-t2-4qbf-5cnf-100var-200cl220
mA-t2-4qbf-5cnf-100var-400cl220.02
mA-t2-4qbf-5cnf-100var-600cl21802.02
mA-t2-4qbf-5cnf-100var-800cl21802.02
mA-t2-4qbf-5cnf-150var-1200cl21802.02
mA-t2-4qbf-5cnf-150var-1500cl21802.02
mA-t2-4qbf-5cnf-150var-1800cl21802.02
mA-t2-4qbf-5cnf-150var-2100cl21802.02
mA-t2-4qbf-5cnf-150var-2400cl21802.03
mA-t2-4qbf-5cnf-150var-2700cl21802.01
mA-t2-4qbf-5cnf-150var-300cl220.02
mA-t2-4qbf-5cnf-150var-600cl220.03
mA-t2-4qbf-5cnf-150var-900cl21802.02
mA-t2-4qbf-5cnf-50var-100cl220.03
mA-t2-4qbf-5cnf-50var-200cl220.02
mA-t2-4qbf-5cnf-50var-300cl21901.03
mA-t2-4qbf-5cnf-50var-400cl21802.01
mA-t2-4qbf-5cnf-50var-500cl21802.03
mA-t2-4qbf-5cnf-50var-600cl21802.02
mA-t2-4qbf-5cnf-50var-700cl21802.02
mA-t2-4qbf-5cnf-50var-800cl21802.01
mA-t2-4qbf-5cnf-50var-900cl21802.02
mA-t2-5qbf-5cnf-100var-1000cl21901.01
mA-t2-5qbf-5cnf-100var-1200cl21802.01
mA-t2-5qbf-5cnf-100var-1400cl21802.02
mA-t2-5qbf-5cnf-100var-1600cl21802.02
mA-t2-5qbf-5cnf-100var-1800cl21802.01
mA-t2-5qbf-5cnf-100var-200cl220.03
mA-t2-5qbf-5cnf-100var-400cl220.01
mA-t2-5qbf-5cnf-100var-600cl220.01
mA-t2-5qbf-5cnf-100var-800cl220.01
mA-t2-5qbf-5cnf-150var-1200cl220.03
mA-t2-5qbf-5cnf-150var-1500cl220.02
mA-t2-5qbf-5cnf-150var-1800cl21802.02
mA-t2-5qbf-5cnf-150var-2100cl21802
mA-t2-5qbf-5cnf-150var-2400cl21802.01
mA-t2-5qbf-5cnf-150var-2700cl21802.03
mA-t2-5qbf-5cnf-150var-300cl220.01
mA-t2-5qbf-5cnf-150var-600cl220.03
mA-t2-5qbf-5cnf-150var-900cl220.03
mA-t2-5qbf-5cnf-50var-100cl220.02
mA-t2-5qbf-5cnf-50var-200cl220.02
mA-t2-5qbf-5cnf-50var-300cl220.02
mA-t2-5qbf-5cnf-50var-400cl220.04
mA-t2-5qbf-5cnf-50var-500cl220.04
mA-t2-5qbf-5cnf-50var-600cl21802.01
mA-t2-5qbf-5cnf-50var-700cl21802.02
mA-t2-5qbf-5cnf-50var-800cl21802.02
mA-t2-5qbf-5cnf-50var-900cl21802.01
mB-t2-2qbf-5cnf-100var-1000cl220.03
mB-t2-2qbf-5cnf-100var-1200cl220.03
mB-t2-2qbf-5cnf-100var-1400cl220.04
mB-t2-2qbf-5cnf-100var-1600cl220.04
mB-t2-2qbf-5cnf-100var-1800cl220.04
mB-t2-2qbf-5cnf-100var-200cl21901.77
mB-t2-2qbf-5cnf-100var-400cl220.06
mB-t2-2qbf-5cnf-100var-600cl220.05
mB-t2-2qbf-5cnf-100var-800cl220.3
mB-t2-2qbf-5cnf-150var-1200cl220.05
mB-t2-2qbf-5cnf-150var-1500cl220.09
mB-t2-2qbf-5cnf-150var-1800cl220.07
mB-t2-2qbf-5cnf-150var-2100cl220.08
mB-t2-2qbf-5cnf-150var-2400cl220.07
mB-t2-2qbf-5cnf-150var-2700cl220.1
mB-t2-2qbf-5cnf-150var-300cl221.91
mB-t2-2qbf-5cnf-150var-600cl221.56
mB-t2-2qbf-5cnf-150var-900cl220.08
mB-t2-2qbf-5cnf-50var-100cl2110.15
mB-t2-2qbf-5cnf-50var-200cl220.16
mB-t2-2qbf-5cnf-50var-300cl220.03
mB-t2-2qbf-5cnf-50var-400cl220.04
mB-t2-2qbf-5cnf-50var-500cl220.02
mB-t2-2qbf-5cnf-50var-600cl220.02
mB-t2-2qbf-5cnf-50var-700cl220.01
mB-t2-2qbf-5cnf-50var-800cl220.02
mB-t2-2qbf-5cnf-50var-900cl220
mB-t2-3qbf-5cnf-100var-1000cl21802.02
mB-t2-3qbf-5cnf-100var-1200cl21802.02
mB-t2-3qbf-5cnf-100var-1400cl21802.01
mB-t2-3qbf-5cnf-100var-1600cl211165.56
mB-t2-3qbf-5cnf-100var-1800cl22456.14
mB-t2-3qbf-5cnf-100var-200cl220.01
mB-t2-3qbf-5cnf-100var-400cl21802.01
mB-t2-3qbf-5cnf-100var-600cl21802.01
mB-t2-3qbf-5cnf-100var-800cl21802.02
mB-t2-3qbf-5cnf-150var-1200cl21802.02
mB-t2-3qbf-5cnf-150var-1500cl21802.02
mB-t2-3qbf-5cnf-150var-1800cl21802.03
mB-t2-3qbf-5cnf-150var-2100cl21802.02
mB-t2-3qbf-5cnf-150var-2400cl21802.02
mB-t2-3qbf-5cnf-150var-2700cl21802.02
mB-t2-3qbf-5cnf-150var-300cl2113.41
mB-t2-3qbf-5cnf-150var-600cl2901.03
mB-t2-3qbf-5cnf-150var-900cl21802.03
mB-t2-3qbf-5cnf-50var-100cl220.03
mB-t2-3qbf-5cnf-50var-200cl224.71
mB-t2-3qbf-5cnf-50var-300cl22324.04
mB-t2-3qbf-5cnf-50var-400cl22101.58
mB-t2-3qbf-5cnf-50var-500cl2217.67
mB-t2-3qbf-5cnf-50var-600cl221.28
mB-t2-3qbf-5cnf-50var-700cl220.36
mB-t2-3qbf-5cnf-50var-800cl221.7
mB-t2-3qbf-5cnf-50var-900cl220.68
mB-t2-4qbf-5cnf-100var-1000cl21802.01
mB-t2-4qbf-5cnf-100var-1200cl21802.02
mB-t2-4qbf-5cnf-100var-1400cl21802.01
mB-t2-4qbf-5cnf-100var-1600cl21802.01
mB-t2-4qbf-5cnf-100var-1800cl21802
mB-t2-4qbf-5cnf-100var-200cl220.02
mB-t2-4qbf-5cnf-100var-400cl220.01
mB-t2-4qbf-5cnf-100var-600cl220.75
mB-t2-4qbf-5cnf-100var-800cl21901.96
mB-t2-4qbf-5cnf-150var-1200cl21802.01
mB-t2-4qbf-5cnf-150var-1500cl21802.02
mB-t2-4qbf-5cnf-150var-1800cl21802.02
mB-t2-4qbf-5cnf-150var-2100cl21802.02
mB-t2-4qbf-5cnf-150var-2400cl21802.03
mB-t2-4qbf-5cnf-150var-2700cl21802
mB-t2-4qbf-5cnf-150var-300cl220.01
mB-t2-4qbf-5cnf-150var-600cl220.04
mB-t2-4qbf-5cnf-150var-900cl220.51
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.04
mB-t2-4qbf-5cnf-50var-300cl220.03
mB-t2-4qbf-5cnf-50var-400cl220.02
mB-t2-4qbf-5cnf-50var-500cl226.26
mB-t2-4qbf-5cnf-50var-600cl2229.36
mB-t2-4qbf-5cnf-50var-700cl2242.85
mB-t2-4qbf-5cnf-50var-800cl2228.06
mB-t2-4qbf-5cnf-50var-900cl2221.53
mB-t2-5qbf-5cnf-100var-1000cl21802.02
mB-t2-5qbf-5cnf-100var-1200cl21802.02
mB-t2-5qbf-5cnf-100var-1400cl21802.02
mB-t2-5qbf-5cnf-100var-1600cl21802.03
mB-t2-5qbf-5cnf-100var-1800cl21802.02
mB-t2-5qbf-5cnf-100var-200cl220.01
mB-t2-5qbf-5cnf-100var-400cl220.32
mB-t2-5qbf-5cnf-100var-600cl21802.01
mB-t2-5qbf-5cnf-100var-800cl21802.01
mB-t2-5qbf-5cnf-150var-1200cl21802.02
mB-t2-5qbf-5cnf-150var-1500cl21802.01
mB-t2-5qbf-5cnf-150var-1800cl21802
mB-t2-5qbf-5cnf-150var-2100cl21802.03
mB-t2-5qbf-5cnf-150var-2400cl21802.02
mB-t2-5qbf-5cnf-150var-2700cl21802.01
mB-t2-5qbf-5cnf-150var-300cl220.03
mB-t2-5qbf-5cnf-150var-600cl21901.06
mB-t2-5qbf-5cnf-150var-900cl21802.04
mB-t2-5qbf-5cnf-50var-100cl220.02
mB-t2-5qbf-5cnf-50var-200cl220.03
mB-t2-5qbf-5cnf-50var-300cl22243.36
mB-t2-5qbf-5cnf-50var-400cl21802.01
mB-t2-5qbf-5cnf-50var-500cl211571.65
mB-t2-5qbf-5cnf-50var-600cl21802.01
mB-t2-5qbf-5cnf-50var-700cl21802.05
mB-t2-5qbf-5cnf-50var-800cl22544.47
mB-t2-5qbf-5cnf-50var-900cl22116.33
MutexP7872.43
RobotsD2934505.34
RobotsD387208.1
RobotsD413110812.18
RobotsD5816307.09
s11964439644.35
s12694944149.8
s2736126129.95
s2983935139.4
s3271881.9
s33305347753.93
s3865347753.45
s4993733337.29
s5102421624.21
s6414944149.5
s7136154961.65
s8204742347.37
SzymanskiP65247758.55
term169435143.72
Toilet33532716.82
ToiletA15156307.89
ToiletC10356.06
ToiletG4370.41
Tree532512305.28
uclid3027030.22
VonNeumann56824.01
z4ml61441.29