Instance | Solver | Result | Time | |
---|---|---|---|---|
k_lin_n-1 | Nenofex | SAT | 0 | |
k_lin_n-10 | QuBE6.1 | SAT | 2.2 | |
k_lin_n-11 | QuBE6.1 | SAT | 1.5 | |
k_lin_n-12 | AQME-1NN | SAT | 3.24 | |
k_lin_n-13 | AQME-1NN | SAT | 3.56 | |
k_lin_n-14 | QuBE6.1 | SAT | 2.72 | |
k_lin_n-15 | AQME-1NN | SAT | 7.17 | |
k_lin_n-16 | AQME-1NN | SAT | 8.39 | |
k_lin_n-17 | AQME-1NN | SAT | 4.04 | |
k_lin_n-18 | QuBE6.1 | SAT | 10.02 | |
k_lin_n-19 | AQME-1NN | SAT | 4.69 | |
k_lin_n-2 | quantor3.0 | SAT | 0.01 | |
k_lin_n-20 | AQME-1NN | SAT | 17.64 | |
k_lin_n-21 | AQME-1NN | SAT | 21.43 | |
k_lin_n-3 | quantor3.0 | SAT | 0.04 | |
k_lin_n-4 | QuBE6.1 | SAT | 0.12 | |
k_lin_n-5 | QuBE6.1 | SAT | 0.18 | |
k_lin_n-6 | QuBE6.1 | SAT | 0.35 | |
k_lin_n-7 | QuBE6.1 | SAT | 0.42 | |
k_lin_n-8 | QuBE6.1 | SAT | 0.54 | |
k_lin_n-9 | QuBE6.1 | SAT | 0.84 |