Instance | Result | Time | |
---|---|---|---|
k0206272.s.oe | SAT | 4.62 | |
k0201058.c.oe | SAT | 5.46 | |
k0026150.s.oe | FAIL | 6.86 | |
k0225418.v.oe | FAIL | 6.9 | |
k0300663.s.oe | FAIL | 6.9 | |
k0026150.h.oe | FAIL | 6.91 | |
k0206272.connected.oe | FAIL | 6.92 | |
k0026150.connected.oe | FAIL | 6.93 | |
k0225418.connected.oe | FAIL | 6.93 | |
k0206272.h.oe | FAIL | 6.93 | |
k0302060.c.oe | FAIL | 6.94 | |
k0206272.v.oe | FAIL | 6.95 | |
k0225744.connected.oe | FAIL | 6.95 | |
k0225744.h.oe | FAIL | 6.96 | |
k0026150.v.oe | FAIL | 6.96 | |
k0300663.v.oe | FAIL | 6.96 | |
k0225744.v.oe | FAIL | 6.98 | |
k0225418.h.oe | FAIL | 6.98 | |
k0300663.connected.oe | FAIL | 6.98 | |
k0225418.c.oe | FAIL | 7.02 | |
k0225744.s.oe | FAIL | 7.06 | |
k0225682.c.oe | FAIL | 7.07 | |
k0226271.c.oe | FAIL | 7.13 | |
k0225418.s.oe | FAIL | 7.14 | |
k0300663.h.oe | FAIL | 7.97 |