File: dt_max_depths.log

package info (click to toggle)
elpi 2.0.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 50,296 kB
  • sloc: ml: 18,791; makefile: 229; python: 95; sh: 7
file content (24 lines) | stat: -rw-r--r-- 1,313 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
  rid:0 step:2 gid:0 dev:disc-tree:depth-path = Inst: MaxDepths  
                                                2
                                                1 
                                                
  rid:0 step:3 gid:0 dev:disc-tree:depth-path = Inst: MaxDepths  
                                                2
                                                3 
                                                
  rid:0 step:4 gid:0 dev:disc-tree:depth-path = Goal: MaxDepths  
                                                2;
                                                3 
                                                
  rid:0 step:5 gid:0 dev:disc-tree:depth-path = Inst: MaxDepths  
                                                3 
                                                
  rid:0 step:6 gid:0 dev:disc-tree:depth-path = Goal: MaxDepths  
                                                3 
                                                
  rid:0 step:7 gid:0 dev:disc-tree:depth-path = Inst: MaxDepths  
                                                2 
                                                
  rid:0 step:8 gid:0 dev:disc-tree:depth-path = Goal: MaxDepths  
                                                2