mirror of
https://github.com/NationalSecurityAgency/dnf-model-counting.git
synced 2026-11-07 06:05:58 -10:00
21 lines
621 B
Plaintext
21 lines
621 B
Plaintext
p dnf 32 19
|
|
-10 9 11 12 -6 5 7 0
|
|
-10 9 11 12 1 2 -3 -4 -5 0
|
|
-10 9 11 12 -21 -8 20 -14 22 0
|
|
-10 9 11 12 27 21 2 -14 -22 0
|
|
14 -6 15 -16 -17 5 7 0
|
|
14 -6 15 -16 -17 -8 -9 0
|
|
14 -6 15 -16 -17 13 -9 -2 3 0
|
|
14 -6 15 -16 -17 -13 -20 -19 10 0
|
|
14 -6 15 -16 -17 1 2 -3 -4 -5 0
|
|
-18 14 -5 13 -19 -6 -8 -9 0
|
|
-18 14 -5 13 -19 -9 -2 3 0
|
|
-18 14 -5 13 -19 1 2 -3 -4 0
|
|
-18 14 -5 13 -19 -20 -16 -25 -11 -15 -26 0
|
|
-6 -23 -24 -1 -17 -7 -8 -9 0
|
|
-6 -23 -24 -1 -17 -7 13 -9 -2 3 0
|
|
-6 -23 -24 -1 -17 -7 -13 -20 -19 10 0
|
|
-6 -23 -24 -1 -17 -7 -21 -8 20 -14 22 0
|
|
-6 -23 -24 -1 -17 -7 -20 -16 -25 -11 -15 -26 0
|
|
-6 -23 -24 -1 -17 -7 27 21 9 2 -14 -22 0
|