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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto15616.37312.33385.7962.48845.050.18
ghostq-cegar42371.03847.42208.1590000.06
ghostq-plain42715.64854.31186.7990000.06
qfun0.13729.0874.58243.412.652.840.02
QuAbS_201718937.56378.75358.36153.12778.190.02
Qute_hybrid24068481.36394.86497.58860.670.54
Qute_opt61724696.29493.93416.74752.2884.60.5
Qute_opt99325659.84513.2423.36900885.120.46