c 2020-12-21 12:04:05 by qbfdd.py,v 1.2.2
c qbfdd.py /tmp/1test.cnf /home/lagniez/Works/debugger/debugCompiler/exactlySame.sh -m ddmin -g b -qS
c 
c mode: ddmin
c rounds: 4
c test runs: 3520
c time elapsed: 135.36s
c total: clauses  : -91 (78.45%)
c        variables: -0 (0.00%)
c        literals : -479 (90.21%)
c 
p cnf 20 25
2 7 0
-4 -6 0
10 0
5 -2 9 0
-11 19 0
14 11 -15 0
16 0
12 4 0
6 8 0
-15 -20 0
2 -14 0
19 9 18 0
-19 -13 0
-12 -8 0
19 15 -2 0
-6 -18 0
18 -9 -15 0
13 2 0
20 -3 0
-9 13 0
-7 17 0
-1 0
15 8 0
-5 -4 0
-17 3 0