Instance | Result | Time | |
---|---|---|---|
k0206272.h.oe | SAT | 0 | |
k0206272.s.oe | SAT | 0 | |
k0026150.h.oe | SAT | 0 | |
k0225744.s.oe | SAT | 0 | |
k0201058.c.oe | SAT | 0 | |
k0225418.v.oe | SAT | 0.93 | |
k0206272.v.oe | SAT | 2.1 | |
k0226271.c.oe | SAT | 3.54 | |
k0225418.connected.oe | SAT | 9.79 | |
k0225418.s.oe | UNSAT | 49.39 | |
k0026150.s.oe | UNSAT | 51.5 | |
k0300663.s.oe | UNSAT | 57.43 | |
k0225682.c.oe | UNSAT | 155.08 | |
k0225418.c.oe | UNSAT | 156.14 | |
k0302060.c.oe | UNSAT | 156.7 | |
k0300663.h.oe | UNSAT | 259.84 | |
k0225418.h.oe | UNSAT | 263.8 | |
k0225744.h.oe | UNSAT | 265.95 | |
k0026150.connected.oe | FAIL | 900.04 | |
k0300663.v.oe | FAIL | 900.05 | |
k0225744.v.oe | FAIL | 900.07 | |
k0300663.connected.oe | FAIL | 900.07 | |
k0225744.connected.oe | FAIL | 900.08 | |
k0026150.v.oe | FAIL | 900.09 | |
k0206272.connected.oe | FAIL | 900.1 |