Family BoundedSynthesisPetriGames results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_201844723.66502.51412.95816.97859.290.506
GhostQ___cegar_qcir_201957288.45643.69371.27900737.920.36
GhostQ___plain_qcir_201966169.57743.48296.2190000.236
QFUN58851.56661.25365.89900617.140.315
Quabs_201851183.2575.09397.82900824.830.427
quabs___caqe-hqspre59889.07672.91271.34764.61374.810.427
QuAbS___quabs-caqe_201951784.6581.85388.9894.11823.820.382
Qute_default69471.29780.58302.5590000.135