1
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_1-bij.cnf
s UNSATISFIABLE

c Models        : 0     
c Time          : 0.012s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.010s
2
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_2-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 0.093s (Solving: 0.02s 1st Model: 0.00s Unsat: 0.02s)
c CPU Time      : 0.080s
3
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_3-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 0.120s (Solving: 0.04s 1st Model: 0.00s Unsat: 0.04s)
c CPU Time      : 0.110s
4
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_4-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 0.140s (Solving: 0.05s 1st Model: 0.00s Unsat: 0.05s)
c CPU Time      : 0.130s
5
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_5-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 0.205s (Solving: 0.11s 1st Model: 0.00s Unsat: 0.11s)
c CPU Time      : 0.200s
6
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_6-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 0.333s (Solving: 0.23s 1st Model: 0.00s Unsat: 0.23s)
c CPU Time      : 0.320s
7
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_7-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 4.375s (Solving: 4.27s 1st Model: 0.00s Unsat: 4.27s)
c CPU Time      : 4.340s
8
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_8-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 12.277s (Solving: 12.16s 1st Model: 0.00s Unsat: 12.16s)
c CPU Time      : 12.180s
9
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_9-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 36.375s (Solving: 36.26s 1st Model: 0.00s Unsat: 36.26s)
c CPU Time      : 36.120s
10
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_10-bij.cnf
c Solving...
s UNSATISFIABLE

c Models        : 0     
c Time          : 2653.049s (Solving: 2652.93s 1st Model: 0.00s Unsat: 2652.93s)
c CPU Time      : 2625.010s
11
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_11-bij.cnf
c Solving...
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 3770.595s (Solving: 3770.33s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 3724.610s
12
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_12-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.246s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.230s
13
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_13-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
14
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_14-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
15
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_15-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
16
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_16-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
17
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_17-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
18
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_18-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
19
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_19-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
20
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_20-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
21
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_21-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.030s
22
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_22-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
23
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_23-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
24
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_24-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
25
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_25-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
26
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_26-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
27
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_27-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
28
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_28-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
29
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_29-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
30
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_30-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
31
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_31-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
32
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_32-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s
33
c clasp version 2.0.0-RC2
c Reading from alldiff_32_34_33-bij.cnf
s UNKNOWN

c INTERRUPTED   : 1
c Models        : 0+    
c Time          : 0.031s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.020s