source:
branches/OKBJavaConnector/ECJClient/src/ec/app/sat/data-10.cnf
@
12147
| Last change on this file since 12147 was 6152, checked in by bfarka, 14 years ago | |
|---|---|
| File size: 241 bytes | |
| Line | |
|---|---|
| 1 | c mkcnf random cnf with seed 77141, max clause length 3 |
| 2 | c FORCED SATISFIABLE |
| 3 | c |
| 4 | p cnf 50 10 |
| 5 | 16 19 -30 0 |
| 6 | 33 12 -40 0 |
| 7 | -12 -16 21 0 |
| 8 | -40 3 14 0 |
| 9 | 6 -21 -27 0 |
| 10 | -50 -28 11 0 |
| 11 | 26 36 -29 0 |
| 12 | 9 38 14 0 |
| 13 | -49 6 37 0 |
| 14 | -23 45 33 0 |
Note: See TracBrowser
for help on using the repository browser.
