Family QLTL_safety results for solvers
QBFEVAL'10 - Non-prenex Non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CirQit2.1199164.92796.66491.311201.06967.720.464
qpro292998.961172179.381200.080.010.024