Solver | Time | Result |
---|---|---|
Cqesto_2018 | 77.27 | UNSAT |
Quabs_2018 | 116.65 | UNSAT |
QuAbS___quabs-caqe_2019 | 118.92 | UNSAT |
GhostQ___cegar_qcir_2019 | 227.04 | UNSAT |
GhostQ___plain_qcir_2019 | 244.02 | UNSAT |
QFUN | 295.26 | UNSAT |
quabs___caqe-hqspre | 550.08 | UNSAT |
Qute_default | 900 | FAIL |