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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1302.67260.53278.98101.42348.910.4
ghostq-plain1311.53262.31277.34100.82343.980.4
qsts1796.9359.38293.42597.92598.670.4
quabs-minisat1820.09364.02288.71599.71589.280.4
quabs-picosat1806.47361.29292.05599.71596.090.4
rareqs-nn1884.34376.87270.83593.11549.210.4
xb-bid-qsts1801.78360.36292.75599.12597.40.4
xb-qsts1801.76360.35292.79599.11597.460.4