QBF Solver Evaluation Portal
qbflib.orgInstances of family RankingFunctions solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| rankfunc51_signed_32 | FAIL | 158.99 | |
| rankfunc33_signed_32 | FAIL | 172.72 | |
| rankfunc5_unsigned_64 | FAIL | 176.06 | |
| rankfunc3_signed_64 | FAIL | 178.43 | |
| rankfunc22_signed_64 | FAIL | 179.41 | |
| rankfunc13_signed_32 | FAIL | 180.88 | |
| rankfunc14_signed_64 | FAIL | 185.39 | |
| rankfunc17_unsigned_16 | FAIL | 186.82 | |
| rankfunc13_unsigned_64 | FAIL | 191.7 | |
| rankfunc5_signed_32 | FAIL | 194.72 |