Instances of family k_t4p_n solved by caqe-minisat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_t4p_n-2SAT0.04
k_t4p_n-4SAT0.09
k_t4p_n-5SAT0.11
k_t4p_n-6SAT0.14
k_t4p_n-8SAT0.19
k_t4p_n-9SAT0.22
k_t4p_n-12SAT0.3
k_t4p_n-13SAT0.34
k_t4p_n-14SAT0.38
k_t4p_n-15SAT0.41