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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1.020.20.140.160.131
ghostq-plain1203.27240.65293.253.49301.570.6
qsts1424.96284.99269.82225.38412.480.6
quabs-minisat1542.93308.59268.74343.41471.510.6
quabs-picosat1799.33359.87293.75599.71599.610.4
rareqs-nn2.080.420.390.230.341
xb-bid-qsts1.240.250.180.20.191
xb-qsts1.210.240.180.190.191