AQME-1NN results solving families - 2007

Family# Total# Sat# UnsatTime
Adder868120935.8
blackbox-01X-QBF1064313156250.01
blackbox_design131271171.96
Blocks5015246.41
BMC370465550830.55
C43231112891.66
C49921111036.66
C531532122624.85
C628810137.4
C880101634.22
Chain22215.38
conformant_planning1246153035.36
Connect4413.62
Counter14342.94
Debug1729176785.03
evader-pursuer-4x4-logarithmic29332.36
evader-pursuer-8x8-logarithmic10141.28
FPGA_PLB_FIT_SLOW10158.68
jmc_quant1710200
k_branch_n9145.43
k_branch_p21254.52
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
Qshifter454122.56
s2721212.12
s29817246.15
s386816.21
s49911236.48
s510413.18
s71310113.88
s8208118.56
Sorting_networks276271944364.67
SzymanskiP5968141.02
term12028896.5
tipdiam21646759225.28
tipfixpoint5023436188264.19
Toilet12212.1