c 2021-04-17 15:44:44 by qbfdd.py,v 1.2.2
c qbfdd.py /tmp/1test.cnf /home/lagniez/Works/d4/scripts/testModelCounter.sh -m ddmin -g b -qS
c 
c mode: ddmin
c rounds: 2
c test runs: 1201
c time elapsed: 32.83s
c total: clauses  : -52 (81.25%)
c        variables: -0 (0.00%)
c        literals : -248 (91.51%)
c 
p cnf 16 12
-5 -13 0
3 -1 0
-10 -7 0
10 -1 0
-3 15 0
-8 0
7 -15 0
13 -11 0
12 5 0
-11 -10 0
3 -14 0
-4 10 0