ssolveB results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction7143615361567.78
Adder1936292893.39
blackbox-01X-QBF1064204369180.38
blackbox_design13178600
Blocks1022241402.84
BMC3702650108897.74
C432733124026.6
C499763125813.83
C5315832134309.33
C628881237335.1
C88078236244.35
Chain871218.2
circuits141181682.63
comp28441554.52
conformant_planning1244158265.73
Counter73732434.58
Debug17297902.75
DFlipFlop7310167.02
evader-pursuer-4x4-logarithmic6173037.99
evader-pursuer-4x4-standard6539000
evader-pursuer-6x6-logarithmic72427698.06
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75429212.62
FPGA_PLB_FIT_FAST38219601.17
FPGA_PLB_FIT_SLOW25121966.27
Impl74100.62
irqlkeapclte2591153680
jmc_quant4426400
jmc_quant_squaring11367800
k_branch_n111551669.5
k_branch_p122468839.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_n92831321.07
k_ph_p114753470.36
k_poly_n962135.64
k_poly_p852124.58
k_t4p_n96213484.65
k_t4p_p97211152.46
Logn192133.98
MutexP7878.4
Qshifter6259745.3
s11964426400
s12697947400
s2736135825.27
s2989355800
s33307846800
s3867142600
s4999255200
s51011770200
s7137343800
s8207846800
Sorting_networks42379227086.28
SzymanskiP105732584.6
term1694311143.79
terminator8624513291.09
tipdiam4121042126425.98
tipfixpoint8361615463369.73
Toilet335339.57
Tree87590.67
uclid3018000
VonNeumann75101267.45
wmiforward25224101237.98
z4ml61440.58