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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto2700900090000
ghostq-cegar2087.95695.98288.52900612.050.333
ghostq-plain1979.49659.83339.65900720.510.333
qfun0.11017.61339.2398.72109.72101.830.667
QuAbS_20172700900090000
Qute_hybrid2637.02879.010.67879.321.240
Qute_opt6172700900090000
Qute_opt9932700900090000