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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar34.078.52122.4616.691
ghostq-plain5.631.412.080.272.511
qsts1199.54299.89299.88299.87599.750.5
quabs-minisat130.4132.634.7423.3964.071
quabs-picosat19.644.917.970.469.71
rareqs-nn456.49114.12111.4982.73191.151
xb-bid-qsts25.916.4811.10.0712.821
xb-qsts0.570.140.130.070.151