Instances of family k_t4p_n solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_t4p_n-2SAT0.56
k_t4p_n-4SAT0.61
k_t4p_n-14SAT1.8
k_t4p_n-15SAT1.95
k_t4p_n-5SAT15.57
k_t4p_n-6SAT23.61
k_t4p_n-8SAT43.76
k_t4p_n-9SAT56.81
k_t4p_n-12SAT102.84
k_t4p_n-13SAT121.45