Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
CHAIN12v.13 | 23 | 1 | qsts |
CHAIN14v.15 | 23 | 1 | qsts |
CHAIN16v.17 | 23 | 1 | qsts |
CHAIN17v.18 | 23 | 1 | qsts |
CHAIN18v.19 | 23 | 1 | qsts |
CHAIN19v.20 | 23 | 1 | qsts |
CHAIN20v.21 | 23 | 1 | qsts |
CHAIN21v.22 | 23 | 1 | qsts |
CHAIN22v.23 | 23 | 1 | qsts |
CHAIN23v.24 | 23 | 1 | qsts |