ssolve-A results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction7113112369175.24
Adder1737280956.17
blackbox-01X-QBF1024204344892.7
blackbox_design13178600
Blocks1022336805.09
BMC3432651101146.6
C432733124025.62
C499763125812.47
C5315802132027.76
C628877234859.41
C88078236229.12
Chain871216.55
circuits130175408.9
comp28441363.72
conformant_planning1224157062.04
Counter71731227.99
Debug14587000
DFlipFlop7310157.96
evader-pursuer-4x4-logarithmic5971627.23
evader-pursuer-4x4-standard6438400
evader-pursuer-6x6-logarithmic67522105.56
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72425168.2
FPGA_PLB_FIT_FAST38219601.01
FPGA_PLB_FIT_SLOW25121737.15
Impl74100.54
irqlkeapclte1941114668.2
jmc_quant4325800
jmc_quant_squaring9557000
k_branch_n97543263.78
k_branch_p103457422.01
k_d4_n1011331624.03
k_d4_p9521115.68
k_dum_n922122.75
k_dum_p922148.49
k_grz_n93641078.79
k_grz_p93645444.23
k_lin_n94211817.46
k_lin_p891515051.69
k_path_n932163.78
k_path_p942179.62
k_ph_n91830715.21
k_ph_p97743262.98
k_poly_n962134.9
k_poly_p852123.79
k_t4p_n96213368.86
k_t4p_p97211094.74
Logn19292.68
MutexP7877.74
Qshifter616640.26
s11964426400
s12697846800
s2736133198.47
s2989355800
s33307746200
s3867142600
s4999255200
s51011770200
s7137343800
s8207846800
Sorting_networks37179195829.22
SzymanskiP101122368.51
term1694310219.77
terminator7964473616.65
tipdiam3901042112959.66
tipfixpoint8111915446851
Toilet335328.94
Tree87590.61
uclid3018000
VonNeumann75101187.07
wmiforward2212483659.45
z4ml61440.54