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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto902.04451.02448.98451.0200.5
ghostq-cegar1800900090000
ghostq-plain1247.39623.7276.31623.700.5
qfun0.1937.26468.63431.37468.6300.5
QuAbS_20171173.71586.86313.15586.8600.5
Qute_hybrid159.6479.8212.7479.8201
Qute_opt617110.9555.4811.4555.4801
Qute_opt99390.6745.3427.4445.3401