diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor_longer.cnf')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor_longer.cnf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor_longer.cnf b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor_longer.cnf new file mode 100644 index 000000000..47c4f5a0b --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor_longer.cnf @@ -0,0 +1,14 @@ +c RUN: %solver %s | %OutputCheck %s +p cnf 10 10 +x1 2 3 4 5 6 7 8 9 10 0 +x-1 0 +x-2 0 +x-3 0 +x-4 0 +x-5 0 +x-6 0 +x-7 0 +x-8 0 +x-9 0 +c CHECK: s SATISFIABLE +c CHECK: v -1 -2 -3 -4 -5 -6 -7 -8 -9 10 0$
\ No newline at end of file |