Instance | Result | Time | |
---|---|---|---|
rankfunc48_unsigned_16 | SAT | 0 | |
rankfunc60_unsigned_32 | SAT | 0 | |
rankfunc56_signed_64 | SAT | 0 | |
rankfunc53_signed_64 | SAT | 0 | |
rankfunc56_unsigned_64 | SAT | 0 | |
rankfunc53_unsigned_64 | SAT | 0 | |
rankfunc61_unsigned_64 | SAT | 0.53 | |
rankfunc51_signed_64 | SAT | 0.6 | |
rankfunc51_unsigned_64 | SAT | 0.61 | |
rankfunc54_signed_64 | SAT | 0.7 | |
rankfunc54_unsigned_64 | SAT | 0.7 | |
rankfunc52_unsigned_64 | SAT | 0.82 | |
rankfunc58_unsigned_64 | SAT | 0.86 | |
rankfunc61_signed_64 | SAT | 0.86 | |
rankfunc52_signed_64 | SAT | 0.86 | |
rankfunc58_signed_64 | SAT | 0.87 | |
rankfunc59_signed_64 | SAT | 1.07 | |
rankfunc31_unsigned_64 | SAT | 1.07 | |
rankfunc59_unsigned_64 | SAT | 1.08 | |
rankfunc55_unsigned_64 | SAT | 1.08 | |
rankfunc31_signed_64 | SAT | 1.08 | |
rankfunc41_signed_64 | SAT | 1.12 | |
rankfunc41_unsigned_64 | SAT | 1.16 | |
rankfunc49_signed_64 | SAT | 1.26 | |
rankfunc35_unsigned_64 | SAT | 1.29 | |
rankfunc49_unsigned_64 | SAT | 1.31 | |
rankfunc57_unsigned_64 | SAT | 1.71 | |
rankfunc2_unsigned_64 | SAT | 1.74 | |
rankfunc48_unsigned_64 | SAT | 2.61 | |
rankfunc35_signed_64 | SAT | 2.82 | |
rankfunc48_signed_64 | FAIL | 900.05 |