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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par2075.51207.55211.08126.95193.930.8
caqe-picosat-par2129.94212.99204.26135.96183.050.9
hiqqerfork4442.88444.29219.24600542.050.4
hordeqbf6000600060000
mpiDepQBF6000600060000
par-pd-depqbf3611.08361.11292.59600599.490.4