Instance | Solver | Result | Time | |
---|---|---|---|---|
k_dum_n-1 | caqe-minisat-par | SAT | 0.01 | |
k_dum_n-11 | hiqqerfork | SAT | 0.03 | |
k_dum_n-12 | hiqqerfork | SAT | 0.03 | |
k_dum_n-17 | hiqqerfork | SAT | 0.03 | |
k_dum_n-18 | hiqqerfork | SAT | 0.04 | |
k_dum_n-2 | caqe-minisat-par | SAT | 0.02 | |
k_dum_n-21 | hiqqerfork | SAT | 0.04 | |
k_dum_n-3 | caqe-minisat-par | SAT | 0.02 | |
k_dum_n-5 | caqe-picosat-par | SAT | 0.02 | |
k_dum_n-9 | hiqqerfork | SAT | 0.03 |