ssolve-A results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction7143112370975.24
Adder1937292835.19
blackbox-01X-QBF1064204368892.7
blackbox_design13178600
Blocks1022336805.09
BMC3702651112451.53
C432733124025.62
C499763125812.47
C5315832133827.76
C628881237259.41
C88078236229.12
Chain871216.55
circuits141182008.9
comp28441363.72
conformant_planning1244158262.04
Counter73732427.99
Debug172103200
DFlipFlop7310157.96
evader-pursuer-4x4-logarithmic6171670.23
evader-pursuer-4x4-standard6539000
evader-pursuer-6x6-logarithmic72524163.21
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75426377.44
FPGA_PLB_FIT_FAST38219601.01
FPGA_PLB_FIT_SLOW25121737.15
Impl74100.54
irqlkeapclte2591153668.2
jmc_quant4426400
jmc_quant_squaring11367800
k_branch_n111551663.78
k_branch_p122468822.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_n92831315.21
k_ph_p114753462.98
k_poly_n962134.9
k_poly_p852123.79
k_t4p_n96213368.86
k_t4p_p97211094.74
Logn19292.68
MutexP7877.74
Qshifter626643.52
s11964426400
s12697947400
s2736133198.47
s2989355800
s33307846800
s3867142600
s4999255200
s51011770200
s7137343800
s8207846800
Sorting_networks42379227029.22
SzymanskiP105122693.34
term1694310219.77
terminator8624513216.65
tipdiam4121042126159.66
tipfixpoint8361915461851
Toilet335328.94
Tree87590.61
uclid3018000
VonNeumann75101187.07
wmiforward25224100825.07
z4ml61440.54