Instance | Result | Time | |
---|---|---|---|
rankfunc17_unsigned_16 | SAT | 138.84 | |
rankfunc22_signed_64 | FAIL | 282.75 | |
rankfunc14_signed_64 | FAIL | 303.84 | |
rankfunc5_unsigned_64 | FAIL | 342.94 | |
rankfunc51_signed_32 | FAIL | 355.74 | |
rankfunc13_signed_32 | FAIL | 363.64 | |
rankfunc33_signed_32 | FAIL | 415.54 | |
rankfunc5_signed_32 | FAIL | 419.93 | |
rankfunc3_signed_64 | FAIL | 599.22 | |
rankfunc13_unsigned_64 | FAIL | 599.22 |