Family SzymanskiP results for solvers
QBFEVAL'16 - Prenex non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2997.75599.550.21599.610.350
ghostq-plain2997.97599.590.24599.710.440
qsts700.77140.15219.061.3967.171
quabs-minisat2998.55599.710599.7100
quabs-picosat728.38145.68196.366.53112.891
rareqs-nn1962.54392.51256.95599.01516.760.4
xb-bid-qsts1104.82220.96268.87.36250.680.8
xb-qsts1116.84223.37271.327.34256.740.8