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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par1422.66142.27230.2929.6649.020.8
caqe-picosat-par373.637.3635.3329.9940.821
hiqqerfork1493.23149.32129.44120.08201.781
hordeqbf6000600060000
mpiDepQBF6000600060000
par-pd-depqbf356.2535.63104.850.510.51