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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto2700900090000
ghostq-cegar2696.96898.991.439003.040
ghostq-plain2696.91898.971.469003.090
qfun0.11906.98635.66373.83900793.020.333
QuAbS_20171937.88645.96359.27900762.120.333
Qute_hybrid2632.19877.40.51877.110.140
Qute_opt6172700900090000
Qute_opt9932700900090000