Nenofex results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction711889969697.12
Adder17311935053.75
blackbox-01X-QBF1024130105058.4
blackbox_design13155580.23
Blocks10249195.45
BMC343465466558.99
C432732224003.77
C49976223866.8
C5315802215589.23
C62887720053.34
C8807810606.08
Chain87125.5
circuits130665045.83
comp28443.25
conformant_planning1229630561.45
Counter71124818.58
Debug145683867.35
DFlipFlop7310213.59
evader-pursuer-4x4-logarithmic596334.68
evader-pursuer-4x4-standard648659.43
evader-pursuer-6x6-logarithmic676224.73
evader-pursuer-6x6-standard6620661.73
evader-pursuer-8x8-logarithmic723293.65
FPGA_PLB_FIT_FAST384185.35
FPGA_PLB_FIT_SLOW251243.76
Impl74100.43
irqlkeapclte19443007.62
jmc_quant43110248.58
jmc_quant_squaring95129690.54
k_branch_n97413938.59
k_branch_p103420672.08
k_d4_n101625519.91
k_d4_p95109566
k_dum_n922192.25
k_dum_p9220816.75
k_grz_n9321316.43
k_grz_p9321261.02
k_lin_n941314378.14
k_lin_p89211615.76
k_path_n93159650.61
k_path_p94164403.6
k_ph_n91141152.73
k_ph_p971015266.89
k_poly_n961213741.87
k_poly_p85157986.65
k_t4p_n9636078.04
k_t4p_p9778993.18
Logn19249.84
MutexP78425562.05
Qshifter61510674.02
s11964425082.83
s12697831897.31
s2736136.17
s29893145946.55
s33307723349.48
s3867140846.13
s4999252260.63
s51011741550.54
s7137339324.75
s8207845219.22
Sorting_networks3712514133454.33
SzymanskiP101250331.72
term1693218116.23
terminator796157933.3
tipdiam39060150487.23
tipfixpoint811521428199.94
Toilet335323.73
Tree87590.33
uclid3011124.68
VonNeumann7510196.49
wmiforward2211387739.05
z4ml61441.83