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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar5.851.170.861.111.161
ghostq-plain4.960.990.730.90.941
qsts0.20.040.020.040.041
quabs-minisat0.580.120.090.120.131
quabs-picosat1.390.280.220.310.341
rareqs-nn33.216.645.745.937.371
xb-bid-qsts3.480.70.430.710.641
xb-qsts3.50.70.440.710.631