c 2020-12-11 14:56:49 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: 3
c test runs: 2105
c time elapsed: 79.95s
c total: clauses  : -87 (80.56%)
c        variables: -0 (0.00%)
c        literals : -414 (88.09%)
c 
p cnf 22 21
-2 -6 0
-1 -8 3 0
-1 8 0
-10 -6 -3 0
-10 -4 0
-1 16 0
-13 -20 0
20 -14 10 0
5 -22 7 0
11 2 -17 0
1 -5 -3 0
-3 -4 -19 0
-13 -8 -1 0
18 -1 -13 0
14 -12 0
-10 20 -14 0
22 18 1 0
14 15 0
4 -13 0
8 15 -3 7 0
-3 16 -2 0