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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto1115.36557.68342.32557.6800.5
ghostq-cegar1800900090000
ghostq-plain1475.13737.57162.44737.5700.5
qfun0.1902.44451.22448.78451.2200.5
QuAbS_2017900.14450.07449.93450.0700
Qute_hybrid1757.82878.910.19878.9100
Qute_opt6171800900090000
Qute_opt9931800900090000