Instance | Time | Result |
---|---|---|
ncf_16_128_8_edau.7 | 112.5 | UNSAT |
x210.12 | 402.32 | UNSAT |
x210.7 | 540.65 | UNSAT |
ttt_5x5-shape-1-GTTT-1-2-torus-0 | 77.32 | SAT |
ttt_5x5-shape-1-GTTT-1-2-torus-1 | 76.72 | SAT |
ttt_5x5-shape-1-GTTT-2-2-torus-0 | 190.08 | SAT |
ttt_5x5-shape-1-GTTT-2-2-torus-1 | 269.69 | SAT |
ttt_5x5-shape-2-GTTT-1-2-torus-1 | 77.07 | SAT |
ttt_5x5-shape-2-GTTT-2-2-torus-1 | 84.65 | SAT |
ttt_5x5-shape-4-GTTT-1-2-torus-0 | 276.61 | SAT |
ttt_5x5-shape-4-GTTT-1-2-torus-1 | 87.7 | SAT |
ttt_5x5-shape-4-GTTT-2-2-torus-0 | 85.65 | SAT |
ttt_5x5-shape-6-GTTT-1-2-torus-1 | 86.65 | SAT |
ttt_5x5-shape-6-GTTT-2-2-torus-0 | 93.66 | SAT |