Results for instance k_lin_n-14
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
par-pd-depqbf0.51SAT
hiqqerfork1.55SAT
caqe-minisat-par1.81SAT
caqe-picosat-par1.82SAT
mpiDepQBF8.95SAT
hordeqbf12.15SAT