ssolveC results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction7113112368431.88
Adder1734289271.36
blackbox-01X-QBF1024200331395.05
blackbox_design13178600
Blocks1022336793.1
BMC343233957722.63
C432733221894.96
C49976236600.69
C531580237778.63
C628877234883.12
C88078236230.47
Chain871215.64
circuits130175326
comp28442119.69
conformant_planning1224157055.86
Counter71731224.63
Debug14533881.42
DFlipFlop7310145.83
evader-pursuer-4x4-logarithmic5973955.79
evader-pursuer-4x4-standard6438400
evader-pursuer-6x6-logarithmic67329863.38
evader-pursuer-6x6-standard6630145.28
evader-pursuer-8x8-logarithmic72232441.11
FPGA_PLB_FIT_FAST38219600.78
FPGA_PLB_FIT_SLOW25121004.37
Impl74100.64
irqlkeapclte1941114611.51
jmc_quant4325800
jmc_quant_squaring9557000
k_branch_n97543252.5
k_branch_p103457396.36
k_d4_n1011332381.39
k_d4_p952197.32
k_dum_n922120.1
k_dum_p922141.95
k_grz_n93640913.1
k_grz_p93645392.38
k_lin_n94211613.03
k_lin_p891514657.68
k_path_n932153.89
k_path_p942166.92
k_ph_n91830703.42
k_ph_p97743255.97
k_poly_n962130.82
k_poly_p852121.01
k_t4p_n96212778.53
k_t4p_p9721916.41
Logn19278.27
MutexP7877.32
Qshifter61691.34
s11964426400
s12697846800
s2736133065.11
s2989355800
s33307731701.98
s3867142600
s4999255200
s51011770200
s7137343800
s8207846800
Sorting_networks371710194939.07
SzymanskiP101121798.35
term169438366.66
terminator796477600
tipdiam390103117358.68
tipfixpoint8112021437735.43
Toilet335324.34
Tree87590.51
uclid3018000
VonNeumann75101127.88
wmiforward2212579797.52
z4ml61440.55