QBF Solver Evaluation Portal
qbflib.orgInstances of family RankingFunctions solved by PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| rankfunc60_unsigned_32 | SAT | 5.38 | |
| rankfunc56_unsigned_64 | SAT | 5.39 | |
| rankfunc56_signed_64 | SAT | 5.4 | |
| rankfunc48_unsigned_16 | SAT | 5.41 | |
| rankfunc53_unsigned_64 | SAT | 5.46 | |
| rankfunc51_signed_64 | SAT | 5.53 | |
| rankfunc58_signed_64 | SAT | 5.54 | |
| rankfunc53_signed_64 | SAT | 5.55 | |
| rankfunc61_unsigned_64 | SAT | 5.62 | |
| rankfunc54_signed_64 | SAT | 5.64 | |
| rankfunc49_signed_64 | SAT | 5.65 | |
| rankfunc61_signed_64 | SAT | 5.66 | |
| rankfunc59_unsigned_64 | SAT | 5.71 | |
| rankfunc51_unsigned_64 | SAT | 5.71 | |
| rankfunc52_signed_64 | SAT | 5.72 | |
| rankfunc54_unsigned_64 | SAT | 5.73 | |
| rankfunc52_unsigned_64 | SAT | 5.73 | |
| rankfunc58_unsigned_64 | SAT | 5.73 | |
| rankfunc35_unsigned_64 | SAT | 5.76 | |
| rankfunc31_unsigned_64 | SAT | 5.8 | |
| rankfunc49_unsigned_64 | SAT | 5.85 | |
| rankfunc31_signed_64 | SAT | 5.89 | |
| rankfunc41_unsigned_64 | SAT | 5.89 | |
| rankfunc59_signed_64 | SAT | 5.9 | |
| rankfunc48_signed_64 | SAT | 5.9 | |
| rankfunc41_signed_64 | SAT | 6.23 | |
| rankfunc55_unsigned_64 | SAT | 6.45 | |
| rankfunc2_unsigned_64 | SAT | 6.46 | |
| rankfunc35_signed_64 | SAT | 7 | |
| rankfunc57_unsigned_64 | SAT | 7.31 | |
| rankfunc48_unsigned_64 | SAT | 8.87 |