orSAT results solving families - 2004

Family# Total# Sat# UnsatTime
Adder4742347.3
Blocks6632448.62
C43273251363.82
C49976162169.62
C53158072080.71
C62887769377.85
C8807870278.61
Chain6255862.33
comp28122591.24
Connect2816307.58
Connect3825409.94
Connect4852705.46
Connect5834506.64
Connect6834508.93
Connect7843609.84
Connect8825410.08
Connect9311803.95
Counter1225413.1
DFlipFlop60144147.08
Impl61431150.9
jmc_quant3632436.16
jmc_quant_squaring7769377.27
k_branch_n3429570.22
k_branch_p4540545.16
k_d4_n466896.36
k_d4_p395811.46
k_dum_n426906.96
k_dum_p4327083.34
k_grz_n3221867.01
k_grz_p4533735.84
k_lin_n39132779.3
k_lin_p3227266.84
k_path_n4236630.06
k_path_p3834238.36
k_ph_n50129907.56
k_ph_p4231934.5
k_poly_n3228832.2
k_poly_p4136941.23
k_t4p_n4217044.37
k_t4p_p569345.25
Logn2917119.3
mA-t2-2qbf-5cnf-100var-1000cl21802.01
mA-t2-2qbf-5cnf-100var-1200cl21802.02
mA-t2-2qbf-5cnf-100var-1400cl21802
mA-t2-2qbf-5cnf-100var-1600cl21802
mA-t2-2qbf-5cnf-100var-1800cl21802
mA-t2-2qbf-5cnf-100var-200cl21802.01
mA-t2-2qbf-5cnf-100var-400cl21802
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802.01
mA-t2-2qbf-5cnf-150var-1200cl21802
mA-t2-2qbf-5cnf-150var-1500cl21802.01
mA-t2-2qbf-5cnf-150var-1800cl21802.01
mA-t2-2qbf-5cnf-150var-2100cl21802
mA-t2-2qbf-5cnf-150var-2400cl21802.01
mA-t2-2qbf-5cnf-150var-2700cl21802.01
mA-t2-2qbf-5cnf-150var-300cl21802
mA-t2-2qbf-5cnf-150var-600cl21802.01
mA-t2-2qbf-5cnf-150var-900cl21802
mA-t2-2qbf-5cnf-50var-100cl21802.01
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802.01
mA-t2-2qbf-5cnf-50var-400cl21802.01
mA-t2-2qbf-5cnf-50var-500cl21802.01
mA-t2-2qbf-5cnf-50var-600cl21802
mA-t2-2qbf-5cnf-50var-700cl21802
mA-t2-2qbf-5cnf-50var-800cl21802.02
mA-t2-2qbf-5cnf-50var-900cl21802.01
mA-t2-3qbf-5cnf-100var-1000cl21802
mA-t2-3qbf-5cnf-100var-1200cl21802.01
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-200cl21802.01
mA-t2-3qbf-5cnf-100var-400cl21802.02
mA-t2-3qbf-5cnf-100var-600cl21802.01
mA-t2-3qbf-5cnf-100var-800cl21802.01
mA-t2-3qbf-5cnf-150var-1200cl21802.02
mA-t2-3qbf-5cnf-150var-1500cl21802
mA-t2-3qbf-5cnf-150var-1800cl21802
mA-t2-3qbf-5cnf-150var-2100cl21802.01
mA-t2-3qbf-5cnf-150var-2400cl21802
mA-t2-3qbf-5cnf-150var-2700cl21802
mA-t2-3qbf-5cnf-150var-300cl21802
mA-t2-3qbf-5cnf-150var-600cl21802
mA-t2-3qbf-5cnf-150var-900cl21802.01
mA-t2-3qbf-5cnf-50var-100cl21802.02
mA-t2-3qbf-5cnf-50var-200cl21802.01
mA-t2-3qbf-5cnf-50var-300cl21802.01
mA-t2-3qbf-5cnf-50var-400cl21802.02
mA-t2-3qbf-5cnf-50var-500cl21802.02
mA-t2-3qbf-5cnf-50var-600cl21802.01
mA-t2-3qbf-5cnf-50var-700cl21802.01
mA-t2-3qbf-5cnf-50var-800cl21802.01
mA-t2-3qbf-5cnf-50var-900cl21802
mA-t2-4qbf-5cnf-100var-1000cl21802.01
mA-t2-4qbf-5cnf-100var-1200cl21802
mA-t2-4qbf-5cnf-100var-1400cl21802
mA-t2-4qbf-5cnf-100var-1600cl21802.02
mA-t2-4qbf-5cnf-100var-1800cl21802
mA-t2-4qbf-5cnf-100var-200cl21802
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802
mA-t2-4qbf-5cnf-100var-800cl21802.01
mA-t2-4qbf-5cnf-150var-1200cl21802.02
mA-t2-4qbf-5cnf-150var-1500cl21802.02
mA-t2-4qbf-5cnf-150var-1800cl21802
mA-t2-4qbf-5cnf-150var-2100cl21802.01
mA-t2-4qbf-5cnf-150var-2400cl21802
mA-t2-4qbf-5cnf-150var-2700cl21802
mA-t2-4qbf-5cnf-150var-300cl21802.02
mA-t2-4qbf-5cnf-150var-600cl21802.01
mA-t2-4qbf-5cnf-150var-900cl21802.01
mA-t2-4qbf-5cnf-50var-100cl21802.02
mA-t2-4qbf-5cnf-50var-200cl21802.01
mA-t2-4qbf-5cnf-50var-300cl21802
mA-t2-4qbf-5cnf-50var-400cl21802.01
mA-t2-4qbf-5cnf-50var-500cl21802.01
mA-t2-4qbf-5cnf-50var-600cl21802.01
mA-t2-4qbf-5cnf-50var-700cl21802.02
mA-t2-4qbf-5cnf-50var-800cl21802
mA-t2-4qbf-5cnf-50var-900cl21802.01
mA-t2-5qbf-5cnf-100var-1000cl21802.01
mA-t2-5qbf-5cnf-100var-1200cl21802
mA-t2-5qbf-5cnf-100var-1400cl21802.02
mA-t2-5qbf-5cnf-100var-1600cl21802.01
mA-t2-5qbf-5cnf-100var-1800cl21802.01
mA-t2-5qbf-5cnf-100var-200cl21802.01
mA-t2-5qbf-5cnf-100var-400cl21802.01
mA-t2-5qbf-5cnf-100var-600cl21802
mA-t2-5qbf-5cnf-100var-800cl21802
mA-t2-5qbf-5cnf-150var-1200cl21802.01
mA-t2-5qbf-5cnf-150var-1500cl21802.01
mA-t2-5qbf-5cnf-150var-1800cl21802.01
mA-t2-5qbf-5cnf-150var-2100cl21802
mA-t2-5qbf-5cnf-150var-2400cl21802.01
mA-t2-5qbf-5cnf-150var-2700cl21802.01
mA-t2-5qbf-5cnf-150var-300cl21802
mA-t2-5qbf-5cnf-150var-600cl21802
mA-t2-5qbf-5cnf-150var-900cl21802.01
mA-t2-5qbf-5cnf-50var-100cl21802.02
mA-t2-5qbf-5cnf-50var-200cl21802.02
mA-t2-5qbf-5cnf-50var-300cl21802.01
mA-t2-5qbf-5cnf-50var-400cl21802.01
mA-t2-5qbf-5cnf-50var-500cl21802
mA-t2-5qbf-5cnf-50var-600cl21802.02
mA-t2-5qbf-5cnf-50var-700cl21802.01
mA-t2-5qbf-5cnf-50var-800cl21802.01
mA-t2-5qbf-5cnf-50var-900cl21802.02
mB-t2-2qbf-5cnf-100var-1000cl21802.02
mB-t2-2qbf-5cnf-100var-1200cl21802.01
mB-t2-2qbf-5cnf-100var-1400cl21802
mB-t2-2qbf-5cnf-100var-1600cl21802.02
mB-t2-2qbf-5cnf-100var-1800cl21802.01
mB-t2-2qbf-5cnf-100var-200cl21802.01
mB-t2-2qbf-5cnf-100var-400cl21802.01
mB-t2-2qbf-5cnf-100var-600cl21802.02
mB-t2-2qbf-5cnf-100var-800cl21802.02
mB-t2-2qbf-5cnf-150var-1200cl21802.02
mB-t2-2qbf-5cnf-150var-1500cl21802.01
mB-t2-2qbf-5cnf-150var-1800cl21802
mB-t2-2qbf-5cnf-150var-2100cl21802.05
mB-t2-2qbf-5cnf-150var-2400cl21802.02
mB-t2-2qbf-5cnf-150var-2700cl21716.68
mB-t2-2qbf-5cnf-150var-300cl21802.01
mB-t2-2qbf-5cnf-150var-600cl21802
mB-t2-2qbf-5cnf-150var-900cl21802.01
mB-t2-2qbf-5cnf-50var-100cl21802
mB-t2-2qbf-5cnf-50var-200cl21802.02
mB-t2-2qbf-5cnf-50var-300cl21802.01
mB-t2-2qbf-5cnf-50var-400cl21802.02
mB-t2-2qbf-5cnf-50var-500cl21802.01
mB-t2-2qbf-5cnf-50var-600cl21802.03
mB-t2-2qbf-5cnf-50var-700cl21802.02
mB-t2-2qbf-5cnf-50var-800cl21560.51
mB-t2-2qbf-5cnf-50var-900cl21754.03
mB-t2-3qbf-5cnf-100var-1000cl220.04
mB-t2-3qbf-5cnf-100var-1200cl220.04
mB-t2-3qbf-5cnf-100var-1400cl220.04
mB-t2-3qbf-5cnf-100var-1600cl220.04
mB-t2-3qbf-5cnf-100var-1800cl220.06
mB-t2-3qbf-5cnf-100var-200cl21802.01
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.03
mB-t2-3qbf-5cnf-150var-1500cl220.05
mB-t2-3qbf-5cnf-150var-1800cl220.05
mB-t2-3qbf-5cnf-150var-2100cl220.05
mB-t2-3qbf-5cnf-150var-2400cl220.07
mB-t2-3qbf-5cnf-150var-2700cl220.06
mB-t2-3qbf-5cnf-150var-300cl21802.01
mB-t2-3qbf-5cnf-150var-600cl21802
mB-t2-3qbf-5cnf-150var-900cl220.04
mB-t2-3qbf-5cnf-50var-100cl21802
mB-t2-3qbf-5cnf-50var-200cl21802
mB-t2-3qbf-5cnf-50var-300cl21901.02
mB-t2-3qbf-5cnf-50var-400cl21901.01
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.04
mB-t2-4qbf-5cnf-100var-1000cl21802.01
mB-t2-4qbf-5cnf-100var-1200cl21802.01
mB-t2-4qbf-5cnf-100var-1400cl21802.01
mB-t2-4qbf-5cnf-100var-1600cl21802.01
mB-t2-4qbf-5cnf-100var-1800cl21802.02
mB-t2-4qbf-5cnf-100var-200cl21802.02
mB-t2-4qbf-5cnf-100var-400cl21802.01
mB-t2-4qbf-5cnf-100var-600cl21802.02
mB-t2-4qbf-5cnf-100var-800cl21802
mB-t2-4qbf-5cnf-150var-1200cl21802.02
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
mB-t2-4qbf-5cnf-150var-2700cl21802.01
mB-t2-4qbf-5cnf-150var-300cl21802.01
mB-t2-4qbf-5cnf-150var-600cl21802.01
mB-t2-4qbf-5cnf-150var-900cl21802.01
mB-t2-4qbf-5cnf-50var-100cl21802.02
mB-t2-4qbf-5cnf-50var-200cl21781.48
mB-t2-4qbf-5cnf-50var-300cl21802.01
mB-t2-4qbf-5cnf-50var-400cl21802.01
mB-t2-4qbf-5cnf-50var-500cl21802
mB-t2-4qbf-5cnf-50var-600cl21802.01
mB-t2-4qbf-5cnf-50var-700cl21802
mB-t2-4qbf-5cnf-50var-800cl21802.01
mB-t2-4qbf-5cnf-50var-900cl21802
mB-t2-5qbf-5cnf-100var-1000cl21802.01
mB-t2-5qbf-5cnf-100var-1200cl220.04
mB-t2-5qbf-5cnf-100var-1400cl220.04
mB-t2-5qbf-5cnf-100var-1600cl220.05
mB-t2-5qbf-5cnf-100var-1800cl220.05
mB-t2-5qbf-5cnf-100var-200cl21802.01
mB-t2-5qbf-5cnf-100var-400cl21802.01
mB-t2-5qbf-5cnf-100var-600cl21802.02
mB-t2-5qbf-5cnf-100var-800cl21802.01
mB-t2-5qbf-5cnf-150var-1200cl21802.01
mB-t2-5qbf-5cnf-150var-1500cl21802.01
mB-t2-5qbf-5cnf-150var-1800cl220.05
mB-t2-5qbf-5cnf-150var-2100cl220.06
mB-t2-5qbf-5cnf-150var-2400cl220.07
mB-t2-5qbf-5cnf-150var-2700cl220.08
mB-t2-5qbf-5cnf-150var-300cl21802
mB-t2-5qbf-5cnf-150var-600cl21802.01
mB-t2-5qbf-5cnf-150var-900cl21802.01
mB-t2-5qbf-5cnf-50var-100cl21802
mB-t2-5qbf-5cnf-50var-200cl21802.02
mB-t2-5qbf-5cnf-50var-300cl21802
mB-t2-5qbf-5cnf-50var-400cl21802
mB-t2-5qbf-5cnf-50var-500cl21802
mB-t2-5qbf-5cnf-50var-600cl21802.02
mB-t2-5qbf-5cnf-50var-700cl21802
mB-t2-5qbf-5cnf-50var-800cl220.02
mB-t2-5qbf-5cnf-50var-900cl220.02
MutexP78763.94
RobotsD298109.02
RobotsD387208.05
RobotsD413110812.23
RobotsD5816307.16
s11964439644.15
s12694944149.24
s2736116195.54
s2983935139.27
s3271846.29
s33305347753.1
s3865347753.24
s4993733337.13
s5102421624.22
s641499.83
s7136154961.4
s8204742347.1
SzymanskiP6558565.42
term169252726.75
Toilet33117600.87
ToiletA1532581.11
ToiletC10232120.65
ToiletG4361068.72
Tree5311022.62
uclid3027030
VonNeumann56235588.96
z4ml61441.27