Instance | Solver | Result | Time | |
---|---|---|---|---|
jctc1-pass | QFUN | SAT | 0.55 | |
jctc10-fail | QuAbS___quabs-caqe_2019 | UNSAT | 174.16 | |
jctc13-fail | Qute_default | UNSAT | 0.91 | |
jctc14-unrolled-fail | QFUN | UNSAT | 135.49 | |
jctc16-vals-0,2-pass | QFUN | SAT | 0 | |
jctc17-vals-0,2-pass | QFUN | SAT | 298.3 | |
jctc2-pass | QFUN | SAT | 1.37 | |
jctc4-fail | Qute_default | UNSAT | 2.9 | |
jctc5-fail | Quabs_2018 | UNSAT | 639.18 | |
jctc6-pass | QFUN | SAT | 0 | |
jctc8-pass | Qute_default | SAT | 2.18 | |
jctc9-pass | GhostQ___plain_qcir_2019 | SAT | 6.09 |