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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1312.64262.53191.87178.57167.320.4
ghostq-plain1064.63212.93196.29100.7249.710.4
qsts20.924.184.530.94.551
quabs-minisat1813.31362.66290.34599.71592.620.4
quabs-picosat1818.85363.77289.04599.71589.90.4
rareqs-nn2986.56597.312.63599.315.260
xb-bid-qsts1993.16398.63253.3599.42502.410.4
xb-qsts1997.85399.57252.54599.42500.060.4