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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto2700900090000
ghostq-cegar2700900090000
ghostq-plain2700900090000
qfun0.12108.46702.82271.9894.75576.450.333
QuAbS_20171929.63643.21363.16900770.370.333
Qute_hybrid2282.45760.82163.73876.34347.070.333
Qute_opt6172700900090000
Qute_opt9931801.56600.52423.53900898.440.333