Instances of family k_lin_n solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
k_lin_n-2SAT0.84
k_lin_n-5SAT1.55
k_lin_n-1SAT1.59
k_lin_n-3SAT2.08
k_lin_n-8SAT2.88
k_lin_n-7SAT2.94
k_lin_n-12SAT3.24
k_lin_n-9SAT3.38
k_lin_n-13SAT3.56
k_lin_n-17SAT4.04
k_lin_n-11SAT4.16
k_lin_n-10SAT4.34
k_lin_n-19SAT4.69
k_lin_n-14SAT6.57
k_lin_n-15SAT7.17
k_lin_n-16SAT8.39
k_lin_n-4SAT9.63
k_lin_n-18SAT12.14
k_lin_n-20SAT17.64
k_lin_n-21SAT21.43
k_lin_n-6SAT80.46