c 2021-04-17 16:03:28 by qbfdd.py,v 1.2.2
c qbfdd.py /tmp/4test.cnf /home/lagniez/Works/d4/scripts/testModelCounter.sh -m ddmin -g b -qS
c 
c mode: ddmin
c rounds: 3
c test runs: 1272
c time elapsed: 32.69s
c total: clauses  : -56 (80.00%)
c        variables: -0 (0.00%)
c        literals : -291 (91.22%)
c 
p cnf 16 14
11 12 0
15 1 0
-7 6 0
-13 -14 0
6 4 0
3 0
-1 15 -4 7 0
-2 -10 0
12 -6 0
-11 2 0
9 0
12 13 0
-15 -11 0
-15 -6 0