AQME-1NN results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction71115213436102.76
Adder17310351745.34
blackbox-01X-QBF1024310171369.61
blackbox_design1312712114.3
Blocks10249331.43
BMC343545741834.48
C432733218790.3
C499763221625.5
C5315802219579.56
C628877232440.08
C88078236025.5
Chain8712215.48
circuits130764794.73
comp2844512.8
conformant_planning1229246888.91
Counter711215278.31
Debug1451453272.23
DFlipFlop7310516.05
evader-pursuer-4x4-logarithmic597179.94
evader-pursuer-4x4-standard6475283.34
evader-pursuer-6x6-logarithmic67326660.55
evader-pursuer-6x6-standard66136749.56
evader-pursuer-8x8-logarithmic72421764.53
FPGA_PLB_FIT_FAST384154.02
FPGA_PLB_FIT_SLOW251252.91
Impl741057.78
irqlkeapclte194190696.79
jmc_quant432114620.88
jmc_quant_squaring952137580.67
k_branch_n97536509.31
k_branch_p1031612348.97
k_d4_n101211206.86
k_d4_p9521108.39
k_dum_n922195.12
k_dum_p922189.72
k_grz_n93211039.5
k_grz_p9321149.08
k_lin_n94211074.1
k_lin_p8921116.77
k_path_n932199.73
k_path_p9421104.96
k_ph_n9121688.01
k_ph_p971036706.64
k_poly_n9621103.76
k_poly_p852189.36
k_t4p_n9621263.66
k_t4p_p9721130.67
Logn19281.17
MutexP7871699.03
Qshifter616208.28
s119644121611.57
s126978144997.73
s27361332.45
s29893935520.12
s333077236940.47
s38671525149.1
s499921427776.06
s510117856693.67
s71373328916.17
s82078435202.63
Sorting_networks371352485879.39
SzymanskiP101122363.04
term1694311361.9
terminator79657731060.57
tipdiam3901401861117.61
tipfixpoint81113071242478.62
Toilet335348.87
Tree875974.31
uclid3015211.81
VonNeumann7592388.04
wmiforward221695972.87
z4ml614466.47