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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto1837.93367.59434.8633.46464.50.6
ghostq-cegar4500900090000
ghostq-plain4500900090000
qfun0.11745.09349.02424.396.91420.760.8
QuAbS_2017794.14158.83209.217.97131.711
Qute_hybrid64.9112.9819.520.5371
Qute_opt61741.858.3710.890.537.031
Qute_opt99341.538.3110.80.536.991