Family cycle-sched results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20186300900090000
GhostQ___cegar_qcir_20196300900090000
GhostQ___plain_qcir_20196300900090000
QFUN5988.15855.45109.12900311.850.143
Quabs_20186300900090000
quabs___caqe-hqspre3907.94558.28400.68900898.50.429
QuAbS___quabs-caqe_20194806.48686.64255.92900598.440.429
Qute_default6300900090000