yQuaffle results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47131502.83
Blocks662510515.66
C432733231029.17
C499763139104.99
C5315802151477.95
C62887769377.37
C88078163071.31
Chain62528399.21
comp2844123.57
Connect285319.36
Connect386405.11
Connect487111.64
Connect586216.51
Connect684563.46
Connect787257.63
Connect885707.43
Connect932310.57
Counter1243230.73
DFlipFlop60822.3
Impl6180.61
jmc_quant3628538.17
jmc_quant_squaring7733727.62
k_branch_n3413011.64
k_branch_p4515243.2
k_d4_n4625524.89
k_d4_p39120596.37
k_dum_n42415920.45
k_dum_p43425733.96
k_grz_n32220983.03
k_grz_p45331233.14
k_lin_n3952687.12
k_lin_p32811.04
k_path_n42320279.5
k_path_p3838858.45
k_ph_n5072983.9
k_ph_p4237082.11
k_poly_n32121480.57
k_poly_p4180.72
k_t4p_n4216150.75
k_t4p_p56127065.62
Logn29228.48
mA-t2-2qbf-5cnf-100var-1000cl21802.01
mA-t2-2qbf-5cnf-100var-1200cl21802
mA-t2-2qbf-5cnf-100var-1400cl21802.02
mA-t2-2qbf-5cnf-100var-1600cl2213.11
mA-t2-2qbf-5cnf-100var-1800cl220.5
mA-t2-2qbf-5cnf-100var-200cl21902.06
mA-t2-2qbf-5cnf-100var-400cl21802.01
mA-t2-2qbf-5cnf-100var-600cl21802.02
mA-t2-2qbf-5cnf-100var-800cl21802
mA-t2-2qbf-5cnf-150var-1200cl21802.02
mA-t2-2qbf-5cnf-150var-1500cl21802.01
mA-t2-2qbf-5cnf-150var-1800cl21802.02
mA-t2-2qbf-5cnf-150var-2100cl21802.01
mA-t2-2qbf-5cnf-150var-2400cl2264.35
mA-t2-2qbf-5cnf-150var-2700cl21907.39
mA-t2-2qbf-5cnf-150var-300cl21802.02
mA-t2-2qbf-5cnf-150var-600cl21802.02
mA-t2-2qbf-5cnf-150var-900cl21802.01
mA-t2-2qbf-5cnf-50var-100cl210.05
mA-t2-2qbf-5cnf-50var-200cl21802.02
mA-t2-2qbf-5cnf-50var-300cl21802.02
mA-t2-2qbf-5cnf-50var-400cl21920.03
mA-t2-2qbf-5cnf-50var-500cl22199.87
mA-t2-2qbf-5cnf-50var-600cl223.49
mA-t2-2qbf-5cnf-50var-700cl221.14
mA-t2-2qbf-5cnf-50var-800cl220.28
mA-t2-2qbf-5cnf-50var-900cl220.06
mA-t2-3qbf-5cnf-100var-1000cl21802.01
mA-t2-3qbf-5cnf-100var-1200cl21802
mA-t2-3qbf-5cnf-100var-1400cl21802.01
mA-t2-3qbf-5cnf-100var-1600cl21802
mA-t2-3qbf-5cnf-100var-1800cl2283.09
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl21938.66
mA-t2-3qbf-5cnf-100var-600cl21802.02
mA-t2-3qbf-5cnf-100var-800cl21802.01
mA-t2-3qbf-5cnf-150var-1200cl21802.01
mA-t2-3qbf-5cnf-150var-1500cl21802.01
mA-t2-3qbf-5cnf-150var-1800cl21802
mA-t2-3qbf-5cnf-150var-2100cl21802
mA-t2-3qbf-5cnf-150var-2400cl21802
mA-t2-3qbf-5cnf-150var-2700cl21802
mA-t2-3qbf-5cnf-150var-300cl220.97
mA-t2-3qbf-5cnf-150var-600cl21802.01
mA-t2-3qbf-5cnf-150var-900cl21802.02
mA-t2-3qbf-5cnf-50var-100cl220.02
mA-t2-3qbf-5cnf-50var-200cl220.34
mA-t2-3qbf-5cnf-50var-300cl2221.69
mA-t2-3qbf-5cnf-50var-400cl21923.86
mA-t2-3qbf-5cnf-50var-500cl21802.01
mA-t2-3qbf-5cnf-50var-600cl21802
mA-t2-3qbf-5cnf-50var-700cl21802.01
mA-t2-3qbf-5cnf-50var-800cl220.16
mA-t2-3qbf-5cnf-50var-900cl221.45
mA-t2-4qbf-5cnf-100var-1000cl21802
mA-t2-4qbf-5cnf-100var-1200cl21802
mA-t2-4qbf-5cnf-100var-1400cl21802.01
mA-t2-4qbf-5cnf-100var-1600cl21802.01
mA-t2-4qbf-5cnf-100var-1800cl21802
mA-t2-4qbf-5cnf-100var-200cl226.55
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802.01
mA-t2-4qbf-5cnf-100var-800cl21802
mA-t2-4qbf-5cnf-150var-1200cl21802
mA-t2-4qbf-5cnf-150var-1500cl21769.97
mA-t2-4qbf-5cnf-150var-1800cl21750.91
mA-t2-4qbf-5cnf-150var-2100cl21415.87
mA-t2-4qbf-5cnf-150var-2400cl21437.55
mA-t2-4qbf-5cnf-150var-2700cl21373.71
mA-t2-4qbf-5cnf-150var-300cl21802
mA-t2-4qbf-5cnf-150var-600cl21802.01
mA-t2-4qbf-5cnf-150var-900cl21802
mA-t2-4qbf-5cnf-50var-100cl220.03
mA-t2-4qbf-5cnf-50var-200cl21933.56
mA-t2-4qbf-5cnf-50var-300cl21802.02
mA-t2-4qbf-5cnf-50var-400cl21802.02
mA-t2-4qbf-5cnf-50var-500cl21802.02
mA-t2-4qbf-5cnf-50var-600cl21802.01
mA-t2-4qbf-5cnf-50var-700cl21802.01
mA-t2-4qbf-5cnf-50var-800cl211742.98
mA-t2-4qbf-5cnf-50var-900cl21902.25
mA-t2-5qbf-5cnf-100var-1000cl21802
mA-t2-5qbf-5cnf-100var-1200cl21802
mA-t2-5qbf-5cnf-100var-1400cl21645.19
mA-t2-5qbf-5cnf-100var-1600cl21730.56
mA-t2-5qbf-5cnf-100var-1800cl21619.56
mA-t2-5qbf-5cnf-100var-200cl220.43
mA-t2-5qbf-5cnf-100var-400cl21802.01
mA-t2-5qbf-5cnf-100var-600cl21802.01
mA-t2-5qbf-5cnf-100var-800cl21802.01
mA-t2-5qbf-5cnf-150var-1200cl21232.24
mA-t2-5qbf-5cnf-150var-1500cl21099.66
mA-t2-5qbf-5cnf-150var-1800cl21110.17
mA-t2-5qbf-5cnf-150var-2100cl2862.07
mA-t2-5qbf-5cnf-150var-2400cl2996.32
mA-t2-5qbf-5cnf-150var-2700cl2765.48
mA-t2-5qbf-5cnf-150var-300cl21907.6
mA-t2-5qbf-5cnf-150var-600cl21802.01
mA-t2-5qbf-5cnf-150var-900cl21802
mA-t2-5qbf-5cnf-50var-100cl220.05
mA-t2-5qbf-5cnf-50var-200cl228.07
mA-t2-5qbf-5cnf-50var-300cl21901.89
mA-t2-5qbf-5cnf-50var-400cl21802.02
mA-t2-5qbf-5cnf-50var-500cl21802.01
mA-t2-5qbf-5cnf-50var-600cl21802.01
mA-t2-5qbf-5cnf-50var-700cl21802
mA-t2-5qbf-5cnf-50var-800cl21802.01
mA-t2-5qbf-5cnf-50var-900cl21802
mB-t2-2qbf-5cnf-100var-1000cl223.46
mB-t2-2qbf-5cnf-100var-1200cl220.17
mB-t2-2qbf-5cnf-100var-1400cl220.05
mB-t2-2qbf-5cnf-100var-1600cl220.04
mB-t2-2qbf-5cnf-100var-1800cl220.04
mB-t2-2qbf-5cnf-100var-200cl21802.01
mB-t2-2qbf-5cnf-100var-400cl21802.02
mB-t2-2qbf-5cnf-100var-600cl21802.01
mB-t2-2qbf-5cnf-100var-800cl21910.7
mB-t2-2qbf-5cnf-150var-1200cl211586.85
mB-t2-2qbf-5cnf-150var-1500cl22233.83
mB-t2-2qbf-5cnf-150var-1800cl227.79
mB-t2-2qbf-5cnf-150var-2100cl220.04
mB-t2-2qbf-5cnf-150var-2400cl220.03
mB-t2-2qbf-5cnf-150var-2700cl220.05
mB-t2-2qbf-5cnf-150var-300cl21802.01
mB-t2-2qbf-5cnf-150var-600cl21802.02
mB-t2-2qbf-5cnf-150var-900cl21802.02
mB-t2-2qbf-5cnf-50var-100cl21130.09
mB-t2-2qbf-5cnf-50var-200cl21802.01
mB-t2-2qbf-5cnf-50var-300cl21933.21
mB-t2-2qbf-5cnf-50var-400cl2210.42
mB-t2-2qbf-5cnf-50var-500cl220.46
mB-t2-2qbf-5cnf-50var-600cl220.03
mB-t2-2qbf-5cnf-50var-700cl220.03
mB-t2-2qbf-5cnf-50var-800cl220.04
mB-t2-2qbf-5cnf-50var-900cl220.03
mB-t2-3qbf-5cnf-100var-1000cl220.03
mB-t2-3qbf-5cnf-100var-1200cl220.04
mB-t2-3qbf-5cnf-100var-1400cl220.04
mB-t2-3qbf-5cnf-100var-1600cl220.03
mB-t2-3qbf-5cnf-100var-1800cl220.03
mB-t2-3qbf-5cnf-100var-200cl21907.61
mB-t2-3qbf-5cnf-100var-400cl21802.01
mB-t2-3qbf-5cnf-100var-600cl220.03
mB-t2-3qbf-5cnf-100var-800cl220.02
mB-t2-3qbf-5cnf-150var-1200cl220.04
mB-t2-3qbf-5cnf-150var-1500cl220.04
mB-t2-3qbf-5cnf-150var-1800cl220.04
mB-t2-3qbf-5cnf-150var-2100cl220.04
mB-t2-3qbf-5cnf-150var-2400cl220.04
mB-t2-3qbf-5cnf-150var-2700cl220.06
mB-t2-3qbf-5cnf-150var-300cl21802.01
mB-t2-3qbf-5cnf-150var-600cl21802.01
mB-t2-3qbf-5cnf-150var-900cl220.04
mB-t2-3qbf-5cnf-50var-100cl220.15
mB-t2-3qbf-5cnf-50var-200cl21925.4
mB-t2-3qbf-5cnf-50var-300cl220.03
mB-t2-3qbf-5cnf-50var-400cl220.02
mB-t2-3qbf-5cnf-50var-500cl220.02
mB-t2-3qbf-5cnf-50var-600cl220.02
mB-t2-3qbf-5cnf-50var-700cl220.02
mB-t2-3qbf-5cnf-50var-800cl220.02
mB-t2-3qbf-5cnf-50var-900cl220.02
mB-t2-4qbf-5cnf-100var-1000cl21802
mB-t2-4qbf-5cnf-100var-1200cl21802
mB-t2-4qbf-5cnf-100var-1400cl220.02
mB-t2-4qbf-5cnf-100var-1600cl220.03
mB-t2-4qbf-5cnf-100var-1800cl220.05
mB-t2-4qbf-5cnf-100var-200cl21802.01
mB-t2-4qbf-5cnf-100var-400cl21802.02
mB-t2-4qbf-5cnf-100var-600cl21802.01
mB-t2-4qbf-5cnf-100var-800cl21802
mB-t2-4qbf-5cnf-150var-1200cl21741.38
mB-t2-4qbf-5cnf-150var-1500cl21609.63
mB-t2-4qbf-5cnf-150var-1800cl21660.56
mB-t2-4qbf-5cnf-150var-2100cl220.04
mB-t2-4qbf-5cnf-150var-2400cl220.04
mB-t2-4qbf-5cnf-150var-2700cl220.05
mB-t2-4qbf-5cnf-150var-300cl21802.01
mB-t2-4qbf-5cnf-150var-600cl21802
mB-t2-4qbf-5cnf-150var-900cl21802
mB-t2-4qbf-5cnf-50var-100cl21902.12
mB-t2-4qbf-5cnf-50var-200cl21802
mB-t2-4qbf-5cnf-50var-300cl21802.01
mB-t2-4qbf-5cnf-50var-400cl21925.85
mB-t2-4qbf-5cnf-50var-500cl22703.22
mB-t2-4qbf-5cnf-50var-600cl21901.01
mB-t2-4qbf-5cnf-50var-700cl223.69
mB-t2-4qbf-5cnf-50var-800cl222.77
mB-t2-4qbf-5cnf-50var-900cl220.02
mB-t2-5qbf-5cnf-100var-1000cl220.04
mB-t2-5qbf-5cnf-100var-1200cl220.04
mB-t2-5qbf-5cnf-100var-1400cl220.03
mB-t2-5qbf-5cnf-100var-1600cl220.05
mB-t2-5qbf-5cnf-100var-1800cl220.05
mB-t2-5qbf-5cnf-100var-200cl21802.02
mB-t2-5qbf-5cnf-100var-400cl21802
mB-t2-5qbf-5cnf-100var-600cl21901.01
mB-t2-5qbf-5cnf-100var-800cl21901.01
mB-t2-5qbf-5cnf-150var-1200cl21448.66
mB-t2-5qbf-5cnf-150var-1500cl220.03
mB-t2-5qbf-5cnf-150var-1800cl220.05
mB-t2-5qbf-5cnf-150var-2100cl220.06
mB-t2-5qbf-5cnf-150var-2400cl220.06
mB-t2-5qbf-5cnf-150var-2700cl220.06
mB-t2-5qbf-5cnf-150var-300cl21802.02
mB-t2-5qbf-5cnf-150var-600cl21802.01
mB-t2-5qbf-5cnf-150var-900cl21482.72
mB-t2-5qbf-5cnf-50var-100cl227.53
mB-t2-5qbf-5cnf-50var-200cl21802.02
mB-t2-5qbf-5cnf-50var-300cl21901.3
mB-t2-5qbf-5cnf-50var-400cl21802.01
mB-t2-5qbf-5cnf-50var-500cl220.02
mB-t2-5qbf-5cnf-50var-600cl220.02
mB-t2-5qbf-5cnf-50var-700cl220.02
mB-t2-5qbf-5cnf-50var-800cl220.02
mB-t2-5qbf-5cnf-50var-900cl220.02
MutexP78251560.91
RobotsD2962243.93
RobotsD38613312.02
RobotsD41352721.82
RobotsD58431119.65
s1196444005.64
s1269496988.55
s2736126129.92
s298395939.68
s32718815.02
s3330536306.73
s386538732.66
s4993715326.92
s510242716.28
s641496384.96
s713618910.04
s820476030
SzymanskiP6558565.17
term1694311233.54
Toilet333311099.48
ToiletA15174.46
ToiletC10353.32
ToiletG4370.69
Tree5326310.58
uclid3027030
VonNeumann568170.59
z4ml61440.22