Family chess_solving results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20189187.83287.12357.9868.47566.910.781
GhostQ___cegar_qcir_201912953.08404.78387.32188.24826.80.625
GhostQ___plain_qcir_20193050.6195.33128.9825.58154.151
QFUN12411.25387.85399.55139.64852.870.625
Quabs_20185622.71175.71282.3522.97178.50.969
quabs___caqe-hqspre28800900090000
QuAbS___quabs-caqe_20196635.24207.35338.422.86178.850.813
Qute_default22375.18699.22273.12900378.020.438