AQME-1NN results solving families - 2007

Family# Total# Sat# UnsatTime
Adder788118165.79
blackbox-01X-QBF1024313142777.52
blackbox_design131271171.96
Blocks5015246.41
BMC343465543203.84
C43231112891.66
C49921111036.66
C531532122624.85
C628810137.4
C880101634.22
Chain22215.38
conformant_planning1226151835.36
Connect4413.62
Counter14342.94
Debug1459165296.71
evader-pursuer-4x4-logarithmic28331.32
evader-pursuer-8x8-logarithmic10141.28
FPGA_PLB_FIT_SLOW10158.68
jmc_quant1710200
k_branch_n9145.43
k_branch_p19246.44
k_d4_n3952365.3
k_d4_p36523.62
k_dum_n32520.63
k_dum_p38423.56
k_grz_n29494.44
k_grz_p26448.62
k_lin_n13362.54
k_path_n33518.47
k_path_p33518.32
k_poly_n42622.18
k_t4p_n396103.17
k_t4p_p51632.05
MutexP48430.08
Qshifter444120.85
s2721212.12
s29817246.15
s386816.21
s49911236.48
s510413.18
s71310113.88
s8208118.56
Sorting_networks253271938620.64
SzymanskiP5567249.62
term12028896.5
tipdiam20346752294.51
tipfixpoint4863436178664.19
Toilet12212.1