Instances of family k_path_n solved by QMRes
QBFEVAL'04

InstanceResultTime
k_path_n-1SAT0.03
k_path_n-3SAT0.1
k_path_n-4SAT0.16
k_path_n-5SAT0.23
k_path_n-6SAT0.35
k_path_n-7SAT0.49
k_path_n-8SAT0.61
k_path_n-13SAT1.58