ssolveB results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction7113615359767.78
Adder1736280893.39
blackbox-01X-QBF1024204345180.38
blackbox_design13178600
Blocks1022241402.84
BMC343265098564.97
C432733124026.6
C499763125813.83
C5315802132509.33
C628877234935.1
C88078236244.35
Chain871218.2
circuits130175082.63
comp28441554.52
conformant_planning1224157065.73
Counter71731234.58
Debug14582226.12
DFlipFlop7310167.02
evader-pursuer-4x4-logarithmic5972960.48
evader-pursuer-4x4-standard6438400
evader-pursuer-6x6-logarithmic67425408.26
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72427991.28
FPGA_PLB_FIT_FAST38219601.17
FPGA_PLB_FIT_SLOW25121966.27
Impl74100.62
irqlkeapclte1941114680
jmc_quant4325800
jmc_quant_squaring9557000
k_branch_n97543269.5
k_branch_p103457439.05
k_d4_n1011331853.12
k_d4_p9521120.51
k_dum_n922123.94
k_dum_p922150.46
k_grz_n93641143.08
k_grz_p93645522.28
k_lin_n94211891.84
k_lin_p891515526.3
k_path_n932165.81
k_path_p942181.84
k_ph_n91830721.07
k_ph_p97743270.36
k_poly_n962135.64
k_poly_p852124.58
k_t4p_n96213484.65
k_t4p_p97211152.46
Logn192133.98
MutexP7878.4
Qshifter6159552
s11964426400
s12697846800
s2736135825.27
s2989355800
s33307746200
s3867142600
s4999255200
s51011770200
s7137343800
s8207846800
Sorting_networks37179195886.28
SzymanskiP101730184.6
term1694311143.79
terminator7964473691.09
tipdiam3901042113225.98
tipfixpoint8111615448369.73
Toilet335339.57
Tree87590.67
uclid3018000
VonNeumann75101267.45
wmiforward2212484018.89
z4ml61440.58