Instance | Solver | Result | Time | |
---|---|---|---|---|
toilet_g_02_01.2 | caqe-minisat-par | SAT | 0 | |
toilet_g_04_01.2 | caqe-minisat-par | SAT | 0 | |
toilet_g_06_01.2 | caqe-minisat-par | SAT | 0 | |
toilet_g_08_01.2 | caqe-minisat-par | SAT | 0 | |
toilet_g_10_01.2 | caqe-minisat-par | SAT | 0 | |
toilet_g_15_01.2 | caqe-minisat-par | SAT | 0 | |
toilet_g_20_01.2 | caqe-minisat-par | SAT | 0.01 |