Instance | Result | Time | |
---|---|---|---|
k0026150.c.oe | SAT | 0 | |
k0206272.s.oe | SAT | 0 | |
k0302060.s.oe | SAT | 0 | |
k0325715.s.oe | SAT | 0 | |
k0026150.h.oe | SAT | 0 | |
k0206272.v.oe | SAT | 0 | |
k0225418.v.oe | SAT | 0 | |
k0300663.c.oe | SAT | 0 | |
k0201058.h.oe | SAT | 0 | |
k0225682.v.oe | SAT | 0 | |
k0300663.s.oe | SAT | 0 | |
k0201058.v.oe | SAT | 0 | |
k0225744.s.oe | SAT | 0 | |
k0300663.v.oe | SAT | 0 | |
k0325624.s.oe | SAT | 0 | |
k0327620.h.oe | SAT | 0 | |
k0206272.c.oe | SAT | 0 | |
k0325624.v.oe | SAT | 0 | |
k0327694.v.oe | SAT | 0 | |
k0206272.h.oe | SAT | 0 | |
k0226271.s.oe | SAT | 0 | |
k0325715.c.oe | SAT | 0 | |
k0248814.c.oe | SAT | 0.01 | |
k0248814.h.oe | SAT | 0.01 | |
k0201058.c.oe | SAT | 0.01 | |
k0248814.v.oe | SAT | 0.01 | |
k0325261.h.oe | SAT | 0.01 | |
k0325261.s.oe | SAT | 0.01 | |
k0302060.h.oe | SAT | 0.01 | |
k0327178.c.oe | SAT | 0.02 | |
k0325715.connected.oe | SAT | 0.03 | |
k0325261.connected.oe | SAT | 0.03 | |
k0225418.connected.oe | SAT | 0.03 | |
k0326578.connected.oe | SAT | 0.03 | |
k0327178.connected.oe | SAT | 0.03 | |
k0302060.connected.oe | SAT | 0.03 | |
k0326191.connected.oe | SAT | 0.04 | |
k0325624.connected.oe | SAT | 0.04 | |
k0226271.connected.oe | SAT | 0.04 | |
k0201058.connected.oe | SAT | 0.06 |