Family conformant_planning results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4200.67420.07274.85600599.880.3
caqe-picosat-par4202.23420.22274.61600599.880.3
hiqqerfork2421.48242.15292.219.01599.930.6
hordeqbf2411.51241.152933.61598.930.6
mpiDepQBF2046.98204.7267.35.7231.010.7
par-pd-depqbf2670.44267.04275.51125.42599.490.6