Instance | Result | Time | |
---|---|---|---|
rankfunc60_unsigned_32 | SAT | 0.69 | |
rankfunc48_unsigned_16 | SAT | 0.9 | |
rankfunc56_unsigned_64 | SAT | 0.92 | |
rankfunc56_signed_64 | SAT | 1.07 | |
rankfunc2_unsigned_64 | SAT | 1.5 | |
rankfunc55_unsigned_64 | SAT | 1.51 | |
rankfunc49_unsigned_64 | SAT | 2.09 | |
rankfunc53_signed_64 | SAT | 2.15 | |
rankfunc49_signed_64 | SAT | 2.28 | |
rankfunc53_unsigned_64 | SAT | 2.45 | |
rankfunc61_unsigned_64 | SAT | 2.58 | |
rankfunc51_signed_64 | SAT | 2.93 | |
rankfunc51_unsigned_64 | SAT | 3 | |
rankfunc57_unsigned_64 | SAT | 3.09 | |
rankfunc52_unsigned_64 | SAT | 3.18 | |
rankfunc52_signed_64 | SAT | 3.3 | |
rankfunc35_unsigned_64 | SAT | 3.4 | |
rankfunc58_unsigned_64 | SAT | 3.91 | |
rankfunc61_signed_64 | SAT | 4.44 | |
rankfunc58_signed_64 | SAT | 4.66 | |
rankfunc54_signed_64 | SAT | 5.44 | |
rankfunc54_unsigned_64 | SAT | 6 | |
rankfunc35_signed_64 | SAT | 6.07 | |
rankfunc59_unsigned_64 | SAT | 6.99 | |
rankfunc31_unsigned_64 | SAT | 7.6 | |
rankfunc31_signed_64 | SAT | 7.69 | |
rankfunc48_unsigned_64 | SAT | 10.58 | |
rankfunc59_signed_64 | SAT | 11.06 | |
rankfunc48_signed_64 | SAT | 13.5 | |
rankfunc41_unsigned_64 | SAT | 18.5 | |
rankfunc41_signed_64 | SAT | 19.54 |