Instance | Solver | Result | Time | |
---|---|---|---|---|
k_d4_p-1 | ssolveB | UNSAT | 0 | |
k_d4_p-10 | ssolveC | UNSAT | 0.66 | |
k_d4_p-11 | ssolveC | UNSAT | 0.75 | |
k_d4_p-12 | ssolveC | UNSAT | 0.89 | |
k_d4_p-13 | ssolveC | UNSAT | 1 | |
k_d4_p-14 | ssolveC | UNSAT | 1.15 | |
k_d4_p-15 | AQME-1NN | UNSAT | 1.26 | |
k_d4_p-16 | AQME-1NN | UNSAT | 1.25 | |
k_d4_p-17 | AQME-1NN | UNSAT | 1.33 | |
k_d4_p-18 | AQME-1NN | UNSAT | 1.36 | |
k_d4_p-19 | AQME-1NN | UNSAT | 1.44 | |
k_d4_p-2 | quantor3.0 | UNSAT | 0.01 | |
k_d4_p-20 | AQME-1NN | UNSAT | 1.46 | |
k_d4_p-21 | AQME-1NN | UNSAT | 1.5 | |
k_d4_p-3 | quantor3.0 | UNSAT | 0.02 | |
k_d4_p-4 | quantor3.0 | UNSAT | 0.03 | |
k_d4_p-5 | quantor3.0 | UNSAT | 0.12 | |
k_d4_p-6 | ssolveC | UNSAT | 0.24 | |
k_d4_p-7 | ssolveC | UNSAT | 0.32 | |
k_d4_p-8 | ssolveC | UNSAT | 0.42 | |
k_d4_p-9 | ssolveC | UNSAT | 0.53 |