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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1767.56441.89255.23583.67315.740.5
ghostq-plain1590.61397.65234.21493.79345.730.75
qsts0.560.140.120.110.21
quabs-minisat1820.01455250.64599.71289.420.25
quabs-picosat1811.22452.81254.56599.76294.010.25
rareqs-nn1521.33380.33245.89458.77438.870.5
xb-bid-qsts410.55102.64174.572.76205.131
xb-qsts408.34102.09173.642.73204.021