Family Model_instances results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_201821334.15711.14319.81900345.830.333
GhostQ___cegar_qcir_201924031.51801.05266.790000.133
GhostQ___plain_qcir_201926187.88872.93145.7890000.033
QFUN25834.87861.16163.2690000.067
Quabs_201815958.93531.96383.62705.46737.820.5
quabs___caqe-hqspre14516.1483.87444.96900896.550.467
QuAbS___quabs-caqe_201915713.52523.78385.81626.56742.810.5
Qute_default20669.61688.99371.03900807.080.267