patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity

Remove corrupt benchmarks

Browse Source 
Due to the planner not handling timeout signals appropriately, these
measurements ran for much longer than the intended 900 seconds.

Remove these to run them again.
This commit is contained in:
Patrick Lühne
2018-03-20 23:42:48 +01:00
parent c0fce90238
commit 52c62627ce
237 changed files with 0 additions and 48194 deletions
Download Patch File Download Diff File Expand all files Collapse all files

60
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_10.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 105
- -T 105
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: elevator-sequential-satisficing
instance: 10
ipc: ipc-2011
planLength: 105
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

23
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_10.err
View File

@@ -1,23 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 10, 'planLength': 105}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 105', '-T 105']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
TIMEOUT CPU 900.07 MEM 3691824 MAXMEM 3864292 STALE 1 MAXMEM_RSS 3647308
<time name="ALL">899950</time>

208
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_10.out
View File

@@ -1,208 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl
Parsing...
Parsing: [0.070s CPU, 0.259s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.018s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.026s wall-clock]
Preparing model... [0.060s CPU, 0.052s wall-clock]
Generated 46 rules.
Computing model... [1.920s CPU, 1.933s wall-clock]
17118 relevant atoms
7704 auxiliary atoms
24822 final queue length
53883 total queue pushes
Completing instantiation... [5.750s CPU, 5.757s wall-clock]
Instantiating: [7.810s CPU, 7.811s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.090s CPU, 0.092s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.090s CPU, 0.082s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.022s wall-clock]
Building translation key... [0.020s CPU, 0.015s wall-clock]
Computing fact groups: [0.280s CPU, 0.283s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.007s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.006s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.011s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.260s CPU, 0.250s wall-clock]
Translating task: [4.740s CPU, 4.731s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
49 propositions removed
Detecting unreachable propositions: [2.710s CPU, 2.701s wall-clock]
Reordering and filtering variables...
49 of 49 variables necessary.
0 of 49 mutex groups necessary.
15276 of 15276 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.710s CPU, 0.716s wall-clock]
Translator variables: 49
Translator derived variables: 0
Translator facts: 1240
Translator goal facts: 39
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 15276
Translator axioms: 0
Translator task size: 92084
Translator peak memory: 96204 KB
Writing output... [1.560s CPU, 1.682s wall-clock]
Done! [18.110s CPU, 18.417s wall-clock]
planner.py version 0.0.1
Time: 3.84s
Memory: 304MB
Iteration 1
Queue: [(0,105,0,True)]
Grounded Until: 0
Expected Memory: 304MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('step', [91]), ('step', [92]), ('step', [93]), ('step', [94]), ('step', [95]), ('step', [96]), ('step', [97]), ('step', [98]), ('step', [99]), ('step', [100]), ('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time: 29.73s
Memory: 2661MB (+2357MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 65.519s (Solving: 6.25s 1st Model: 6.09s Unsat: 0.00s)
CPU Time : 64.920s
Choices : 277781 (Domain: 277745)
Conflicts : 1197 (Analyzed: 1197)
Restarts : 6 (Average: 199.50 Last: 364)
Model-Level : 13105.0
Problems : 1 (Average Length: 107.00 Splits: 0)
Lemmas : 1197 (Deleted: 0)
Binary : 85 (Ratio: 7.10%)
Ternary : 51 (Ratio: 4.26%)
Conflict : 1197 (Average Length: 683.3 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 1197 (Average: 210.98 Max: 9063 Sum: 252538)
Executed : 1197 (Average: 210.98 Max: 9063 Sum: 252538 Ratio: 100.00%)
Bounded : 0 (Average: 0.00 Max: 0 Sum: 0 Ratio: 0.00%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 1853226 (Eliminated: 0 Frozen: 127441)
Constraints : 13992029 (Binary: 98.1% Ternary: 0.9% Other: 1.0%)
Memory Peak : 3511MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 7.53s
Memory: 3447MB (+786MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 16.22s
Memory: 3474MB (+27MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 808.886s (Solving: 734.02s 1st Model: 6.09s Unsat: 0.00s)
CPU Time : 808.604s
Choices : 18014152 (Domain: 18014116)
Conflicts : 25895 (Analyzed: 25895)
Restarts : 106 (Average: 244.29 Last: 364)
Model-Level : 13105.0
Problems : 2 (Average Length: 107.00 Splits: 0)
Lemmas : 25895 (Deleted: 21179)
Binary : 683 (Ratio: 2.64%)
Ternary : 389 (Ratio: 1.50%)
Conflict : 25895 (Average Length: 951.4 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 25895 (Average: 691.74 Max: 16081 Sum: 17912638)
Executed : 25767 (Average: 691.21 Max: 16081 Sum: 17898942 Ratio: 99.92%)
Bounded : 128 (Average: 107.00 Max: 107 Sum: 13696 Ratio: 0.08%)
Rules : 4595401 (Original: 4595343)
Atoms : 40790
Bodies : 3057214 (Original: 3057156)
Count : 5065 (Original: 5072)
Equivalences : 1544466 (Atom=Atom: 127 Body=Body: 0 Other: 1544339)
Tight : Yes
Variables : 1863463 (Eliminated: 0 Frozen: 1671517)
Constraints : 18562165 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 3736MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 731.05s
Memory: 3552MB (+78MB)
UNKNOWN
Iteration Time: 808.36s
Iteration 2
Queue: [(0,105,1,True)]
Grounded Until: 105
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 3
Time : 1517.941s (Solving: 1442.67s 1st Model: 6.09s Unsat: 0.00s)
CPU Time : 1517.948s
Choices : 35161687 (Domain: 35161651)
Conflicts : 51909 (Analyzed: 51909)
Restarts : 206 (Average: 251.99 Last: 364)
Model-Level : 13105.0
Problems : 3 (Average Length: 107.00 Splits: 0)
Lemmas : 51909 (Deleted: 42140)
Binary : 1100 (Ratio: 2.12%)
Ternary : 672 (Ratio: 1.29%)
Conflict : 51909 (Average Length: 889.3 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 51909 (Average: 673.60 Max: 16928 Sum: 34965674)
Executed : 51732 (Average: 673.23 Max: 16928 Sum: 34946735 Ratio: 99.95%)
Bounded : 177 (Average: 107.00 Max: 107 Sum: 18939 Ratio: 0.05%)
Rules : 4595401 (Original: 4595343)
Atoms : 40790
Bodies : 3057214 (Original: 3057156)
Count : 5065 (Original: 5072)
Equivalences : 1544466 (Atom=Atom: 127 Body=Body: 0 Other: 1544339)
Tight : Yes
Variables : 1863463 (Eliminated: 0 Frozen: 1671517)
Constraints : 18508850 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 3736MB
Max. Length : 105 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_14.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 80
- -T 80
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: elevator-sequential-satisficing
instance: 14
ipc: ipc-2011
planLength: 80
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

23
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_14.err
View File

@@ -1,23 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 14, 'planLength': 80}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 80', '-T 80']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
TIMEOUT CPU 900.02 MEM 5950256 MAXMEM 6312204 STALE 1 MAXMEM_RSS 6036588
<time name="ALL">900000</time>

247
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_14.out
View File

@@ -1,247 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl
Parsing...
Parsing: [0.050s CPU, 0.077s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.016s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.034s wall-clock]
Preparing model... [0.080s CPU, 0.075s wall-clock]
Generated 46 rules.
Computing model... [3.710s CPU, 3.712s wall-clock]
35012 relevant atoms
12873 auxiliary atoms
47885 final queue length
110965 total queue pushes
Completing instantiation... [12.540s CPU, 12.531s wall-clock]
Instantiating: [16.410s CPU, 16.414s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.180s CPU, 0.177s wall-clock]
Checking invariant weight... [0.000s CPU, 0.005s wall-clock]
Instantiating groups... [0.130s CPU, 0.124s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.012s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.040s CPU, 0.036s wall-clock]
Building translation key... [0.020s CPU, 0.020s wall-clock]
Computing fact groups: [0.450s CPU, 0.456s wall-clock]
Building STRIPS to SAS dictionary... [0.020s CPU, 0.010s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.008s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.013s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.530s CPU, 0.536s wall-clock]
Translating task: [10.060s CPU, 10.054s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
65 propositions removed
Detecting unreachable propositions: [5.200s CPU, 5.201s wall-clock]
Reordering and filtering variables...
65 of 65 variables necessary.
0 of 65 mutex groups necessary.
32600 of 32600 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [1.520s CPU, 1.525s wall-clock]
Translator variables: 65
Translator derived variables: 0
Translator facts: 1729
Translator goal facts: 49
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 32600
Translator axioms: 0
Translator task size: 196075
Translator peak memory: 164576 KB
Writing output... [3.360s CPU, 3.592s wall-clock]
Done! [37.540s CPU, 37.785s wall-clock]
planner.py version 0.0.1
Time: 8.42s
Memory: 593MB
Iteration 1
Queue: [(0,80,0,True)]
Grounded Until: 0
Expected Memory: 593MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time: 53.50s
Memory: 4376MB (+3783MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 0+
Calls : 1
Time : 303.089s (Solving: 183.78s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 302.000s
Choices : 5792210 (Domain: 5792210)
Conflicts : 32027 (Analyzed: 32027)
Restarts : 100 (Average: 320.27 Last: 236)
Problems : 1 (Average Length: 82.00 Splits: 0)
Lemmas : 32027 (Deleted: 26306)
Binary : 670 (Ratio: 2.09%)
Ternary : 252 (Ratio: 0.79%)
Conflict : 32027 (Average Length: 3672.3 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 32027 (Average: 172.07 Max: 14306 Sum: 5510942)
Executed : 32023 (Average: 172.06 Max: 14306 Sum: 5510614 Ratio: 99.99%)
Bounded : 4 (Average: 82.00 Max: 82 Sum: 328 Ratio: 0.01%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 2855700 (Eliminated: 0 Frozen: 135082)
Constraints : 22411716 (Binary: 98.8% Ternary: 0.6% Other: 0.6%)
Memory Peak : 5644MB
Max. Length : 0 steps
Models : 0
[endof: stats after solve call]
Solving Time: 186.40s
Memory: 5644MB (+1268MB)
UNKNOWN
Iteration Time: 293.59s
Iteration 2
Queue: [(0,80,1,True)]
Grounded Until: 80
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 467.256s (Solving: 347.37s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 466.236s
Choices : 11379992 (Domain: 11379992)
Conflicts : 62856 (Analyzed: 62856)
Restarts : 200 (Average: 314.28 Last: 236)
Problems : 2 (Average Length: 82.00 Splits: 0)
Lemmas : 62856 (Deleted: 57111)
Binary : 1055 (Ratio: 1.68%)
Ternary : 490 (Ratio: 0.78%)
Conflict : 62856 (Average Length: 2918.1 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 62856 (Average: 172.41 Max: 14520 Sum: 10837238)
Executed : 62852 (Average: 172.41 Max: 14520 Sum: 10836910 Ratio: 100.00%)
Bounded : 4 (Average: 82.00 Max: 82 Sum: 328 Ratio: 0.00%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 2855700 (Eliminated: 0 Frozen: 135082)
Constraints : 22411680 (Binary: 98.8% Ternary: 0.6% Other: 0.6%)
Memory Peak : 5718MB
Max. Length : 80 steps
Models : 0
[endof: stats after solve call]
Solving Time: 164.24s
Memory: 5644MB (+0MB)
UNKNOWN
Iteration Time: 164.24s
Iteration 3
Queue: [(0,80,2,True)]
Grounded Until: 80
Solving...
[start: stats after solve call]
Models : 1+
Calls : 3
Time : 494.019s (Solving: 373.57s 1st Model: 25.94s Unsat: 0.00s)
CPU Time : 493.008s
Choices : 12090436 (Domain: 12088007)
Conflicts : 67285 (Analyzed: 67285)
Restarts : 214 (Average: 314.42 Last: 1646)
Model-Level : 15628.0
Problems : 3 (Average Length: 82.00 Splits: 0)
Lemmas : 67285 (Deleted: 61806)
Binary : 1077 (Ratio: 1.60%)
Ternary : 516 (Ratio: 0.77%)
Conflict : 67285 (Average Length: 2819.8 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 67285 (Average: 170.91 Max: 14520 Sum: 11499801)
Executed : 67281 (Average: 170.91 Max: 14520 Sum: 11499473 Ratio: 100.00%)
Bounded : 4 (Average: 82.00 Max: 82 Sum: 328 Ratio: 0.00%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 2855700 (Eliminated: 0 Frozen: 135082)
Constraints : 22411680 (Binary: 98.8% Ternary: 0.6% Other: 0.6%)
Memory Peak : 5754MB
Max. Length : 80 steps
Models : 1
[endof: stats after solve call]
Solving Time: 26.78s
Memory: 5678MB (+34MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 28.90s
Memory: 5725MB (+47MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 1327.893s (Solving: 1180.86s 1st Model: 25.94s Unsat: 0.00s)
CPU Time : 1327.204s
Choices : 26574288 (Domain: 26571859)
Conflicts : 90951 (Analyzed: 90951)
Restarts : 314 (Average: 289.65 Last: 1646)
Model-Level : 15628.0
Problems : 4 (Average Length: 82.00 Splits: 0)
Lemmas : 90951 (Deleted: 81997)
Binary : 1567 (Ratio: 1.72%)
Ternary : 949 (Ratio: 1.04%)
Conflict : 90951 (Average Length: 2224.4 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 90951 (Average: 285.25 Max: 21728 Sum: 25944088)
Executed : 90791 (Average: 285.11 Max: 21728 Sum: 25930968 Ratio: 99.95%)
Bounded : 160 (Average: 82.00 Max: 82 Sum: 13120 Ratio: 0.05%)
Rules : 7428931 (Original: 7428871)
Atoms : 75418
Bodies : 4924851 (Original: 4924791)
Count : 5112 (Original: 5118)
Equivalences : 2480627 (Atom=Atom: 92 Body=Body: 0 Other: 2480535)
Tight : Yes
Variables : 2866060 (Eliminated: 0 Frozen: 2615381)
Constraints : 29780937 (Binary: 99.0% Ternary: 0.4% Other: 0.5%)
Memory Peak : 6127MB
Max. Length : 80 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_3.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-3.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 45
- -T 45
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: elevator-sequential-satisficing
instance: 3
ipc: ipc-2011
planLength: 45
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

23
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_3.err
View File

@@ -1,23 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 3, 'planLength': 45}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-3.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 45', '-T 45']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
TIMEOUT CPU 900.02 MEM 1271488 MAXMEM 1271488 STALE 0 MAXMEM_RSS 1175408
<time name="ALL">899930</time>

388
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_3.out
View File

@@ -1,388 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-3.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-3.pddl
Parsing...
Parsing: [0.060s CPU, 0.072s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.026s wall-clock]
Preparing model... [0.050s CPU, 0.049s wall-clock]
Generated 46 rules.
Computing model... [1.390s CPU, 1.389s wall-clock]
12114 relevant atoms
6216 auxiliary atoms
18330 final queue length
38523 total queue pushes
Completing instantiation... [3.870s CPU, 3.863s wall-clock]
Instantiating: [5.360s CPU, 5.359s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.070s CPU, 0.070s wall-clock]
Checking invariant weight... [0.010s CPU, 0.003s wall-clock]
Instantiating groups... [0.050s CPU, 0.049s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.006s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.017s wall-clock]
Building translation key... [0.010s CPU, 0.010s wall-clock]
Computing fact groups: [0.200s CPU, 0.199s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.005s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.005s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.170s CPU, 0.174s wall-clock]
Translating task: [3.410s CPU, 3.414s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
37 propositions removed
Detecting unreachable propositions: [1.730s CPU, 1.725s wall-clock]
Reordering and filtering variables...
37 of 37 variables necessary.
0 of 37 mutex groups necessary.
10668 of 10668 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.520s CPU, 0.519s wall-clock]
Translator variables: 37
Translator derived variables: 0
Translator facts: 880
Translator goal facts: 27
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 10668
Translator axioms: 0
Translator task size: 64052
Translator peak memory: 77772 KB
Writing output... [1.150s CPU, 1.234s wall-clock]
Done! [12.590s CPU, 12.682s wall-clock]
planner.py version 0.0.1
Time: 2.65s
Memory: 226MB
Iteration 1
Queue: [(0,45,0,True)]
Grounded Until: 0
Expected Memory: 226MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time: 8.54s
Memory: 876MB (+650MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 24.180s (Solving: 6.71s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 23.796s
Choices : 255940 (Domain: 255904)
Conflicts : 3619 (Analyzed: 3619)
Restarts : 18 (Average: 201.06 Last: 136)
Model-Level : 2911.0
Problems : 1 (Average Length: 47.00 Splits: 0)
Lemmas : 3619 (Deleted: 904)
Binary : 152 (Ratio: 4.20%)
Ternary : 73 (Ratio: 2.02%)
Conflict : 3619 (Average Length: 488.4 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 3619 (Average: 66.45 Max: 2085 Sum: 240481)
Executed : 3619 (Average: 66.45 Max: 2085 Sum: 240481 Ratio: 100.00%)
Bounded : 0 (Average: 0.00 Max: 0 Sum: 0 Ratio: 0.00%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 549484 (Eliminated: 0 Frozen: 38101)
Constraints : 3969452 (Binary: 98.1% Ternary: 0.9% Other: 1.0%)
Memory Peak : 1236MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 7.12s
Memory: 1172MB (+296MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 5.96s
Memory: 1172MB (+0MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 189.745s (Solving: 167.92s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 189.432s
Choices : 3848143 (Domain: 3848107)
Conflicts : 26542 (Analyzed: 26542)
Restarts : 118 (Average: 224.93 Last: 147)
Model-Level : 2911.0
Problems : 2 (Average Length: 47.00 Splits: 0)
Lemmas : 26542 (Deleted: 21221)
Binary : 536 (Ratio: 2.02%)
Ternary : 300 (Ratio: 1.13%)
Conflict : 26542 (Average Length: 665.9 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 26542 (Average: 143.39 Max: 5384 Sum: 3805954)
Executed : 26439 (Average: 143.21 Max: 5384 Sum: 3801113 Ratio: 99.87%)
Bounded : 103 (Average: 47.00 Max: 47 Sum: 4841 Ratio: 0.13%)
Rules : 1312670 (Original: 1312578)
Atoms : 24476
Bodies : 866601 (Original: 866509)
Count : 1610 (Original: 1618)
Equivalences : 439984 (Atom=Atom: 58 Body=Body: 0 Other: 439926)
Tight : Yes
Variables : 552838 (Eliminated: 0 Frozen: 477899)
Constraints : 5262878 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1239MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 162.15s
Memory: 1185MB (+13MB)
UNKNOWN
Iteration Time: 189.28s
Iteration 2
Queue: [(0,45,1,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 375.405s (Solving: 353.43s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 375.168s
Choices : 8715613 (Domain: 8715577)
Conflicts : 56646 (Analyzed: 56646)
Restarts : 218 (Average: 259.84 Last: 173)
Model-Level : 2911.0
Problems : 3 (Average Length: 47.00 Splits: 0)
Lemmas : 56646 (Deleted: 48246)
Binary : 942 (Ratio: 1.66%)
Ternary : 502 (Ratio: 0.89%)
Conflict : 56646 (Average Length: 813.6 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 56646 (Average: 152.33 Max: 5384 Sum: 8629080)
Executed : 56502 (Average: 152.21 Max: 5384 Sum: 8622312 Ratio: 99.92%)
Bounded : 144 (Average: 47.00 Max: 47 Sum: 6768 Ratio: 0.08%)
Rules : 1312670 (Original: 1312578)
Atoms : 24476
Bodies : 866601 (Original: 866509)
Count : 1610 (Original: 1618)
Equivalences : 439984 (Atom=Atom: 58 Body=Body: 0 Other: 439926)
Tight : Yes
Variables : 552838 (Eliminated: 0 Frozen: 477899)
Constraints : 5214730 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1239MB
Max. Length : 45 steps
Models : 1
[endof: stats after solve call]
Solving Time: 185.75s
Memory: 1204MB (+19MB)
UNKNOWN
Iteration Time: 185.75s
Iteration 3
Queue: [(0,45,2,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 4
Time : 524.425s (Solving: 502.31s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 524.248s
Choices : 13074797 (Domain: 13074761)
Conflicts : 85527 (Analyzed: 85527)
Restarts : 318 (Average: 268.95 Last: 207)
Model-Level : 2911.0
Problems : 4 (Average Length: 47.00 Splits: 0)
Lemmas : 85527 (Deleted: 76681)
Binary : 1068 (Ratio: 1.25%)
Ternary : 631 (Ratio: 0.74%)
Conflict : 85527 (Average Length: 928.2 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 85527 (Average: 151.10 Max: 5384 Sum: 12923001)
Executed : 85363 (Average: 151.01 Max: 5384 Sum: 12915293 Ratio: 99.94%)
Bounded : 164 (Average: 47.00 Max: 47 Sum: 7708 Ratio: 0.06%)
Rules : 1312670 (Original: 1312578)
Atoms : 24476
Bodies : 866601 (Original: 866509)
Count : 1610 (Original: 1618)
Equivalences : 439984 (Atom=Atom: 58 Body=Body: 0 Other: 439926)
Tight : Yes
Variables : 552838 (Eliminated: 0 Frozen: 477899)
Constraints : 5181331 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1239MB
Max. Length : 45 steps
Models : 1
[endof: stats after solve call]
Solving Time: 149.08s
Memory: 1204MB (+0MB)
UNKNOWN
Iteration Time: 149.09s
Iteration 4
Queue: [(0,45,3,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 5
Time : 663.614s (Solving: 641.38s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 663.496s
Choices : 16567441 (Domain: 16567405)
Conflicts : 110659 (Analyzed: 110659)
Restarts : 418 (Average: 264.73 Last: 267)
Model-Level : 2911.0
Problems : 5 (Average Length: 47.00 Splits: 0)
Lemmas : 110659 (Deleted: 100889)
Binary : 1205 (Ratio: 1.09%)
Ternary : 805 (Ratio: 0.73%)
Conflict : 110659 (Average Length: 938.9 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 110659 (Average: 148.00 Max: 5384 Sum: 16377205)
Executed : 110440 (Average: 147.90 Max: 5384 Sum: 16366912 Ratio: 99.94%)
Bounded : 219 (Average: 47.00 Max: 47 Sum: 10293 Ratio: 0.06%)
Rules : 1312670 (Original: 1312578)
Atoms : 24476
Bodies : 866601 (Original: 866509)
Count : 1610 (Original: 1618)
Equivalences : 439984 (Atom=Atom: 58 Body=Body: 0 Other: 439926)
Tight : Yes
Variables : 552838 (Eliminated: 0 Frozen: 477899)
Constraints : 5175491 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1239MB
Max. Length : 45 steps
Models : 1
[endof: stats after solve call]
Solving Time: 139.25s
Memory: 1204MB (+0MB)
UNKNOWN
Iteration Time: 139.25s
Iteration 5
Queue: [(0,45,4,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 6
Time : 807.426s (Solving: 785.08s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 807.368s
Choices : 20668068 (Domain: 20668032)
Conflicts : 138499 (Analyzed: 138499)
Restarts : 518 (Average: 267.37 Last: 267)
Model-Level : 2911.0
Problems : 6 (Average Length: 47.00 Splits: 0)
Lemmas : 138499 (Deleted: 124352)
Binary : 1352 (Ratio: 0.98%)
Ternary : 967 (Ratio: 0.70%)
Conflict : 138499 (Average Length: 971.7 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 138499 (Average: 147.46 Max: 5384 Sum: 20422967)
Executed : 138268 (Average: 147.38 Max: 5384 Sum: 20412110 Ratio: 99.95%)
Bounded : 231 (Average: 47.00 Max: 47 Sum: 10857 Ratio: 0.05%)
Rules : 1312670 (Original: 1312578)
Atoms : 24476
Bodies : 866601 (Original: 866509)
Count : 1610 (Original: 1618)
Equivalences : 439984 (Atom=Atom: 58 Body=Body: 0 Other: 439926)
Tight : Yes
Variables : 552838 (Eliminated: 0 Frozen: 477899)
Constraints : 5169457 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1239MB
Max. Length : 45 steps
Models : 1
[endof: stats after solve call]
Solving Time: 143.88s
Memory: 1204MB (+0MB)
UNKNOWN
Iteration Time: 143.88s
Iteration 6
Queue: [(0,45,5,True)]
Grounded Until: 45
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 7
Time : 964.991s (Solving: 942.52s 1st Model: 6.66s Unsat: 0.00s)
CPU Time : 964.980s
Choices : 25066091 (Domain: 25066055)
Conflicts : 166929 (Analyzed: 166929)
Restarts : 618 (Average: 270.11 Last: 360)
Model-Level : 2911.0
Problems : 7 (Average Length: 47.00 Splits: 0)
Lemmas : 166929 (Deleted: 150124)
Binary : 1480 (Ratio: 0.89%)
Ternary : 1103 (Ratio: 0.66%)
Conflict : 166929 (Average Length: 1034.3 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 166929 (Average: 148.35 Max: 5384 Sum: 24763234)
Executed : 166694 (Average: 148.28 Max: 5384 Sum: 24752189 Ratio: 99.96%)
Bounded : 235 (Average: 47.00 Max: 47 Sum: 11045 Ratio: 0.04%)
Rules : 1312670 (Original: 1312578)
Atoms : 24476
Bodies : 866601 (Original: 866509)
Count : 1610 (Original: 1618)
Equivalences : 439984 (Atom=Atom: 58 Body=Body: 0 Other: 439926)
Tight : Yes
Variables : 552838 (Eliminated: 0 Frozen: 477899)
Constraints : 5169001 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1332MB
Max. Length : 45 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_9.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-9.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 50
- -T 50
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: elevator-sequential-satisficing
instance: 9
ipc: ipc-2011
planLength: 50
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

23
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_9.err
View File

@@ -1,23 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 9, 'planLength': 50}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-9.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 50', '-T 50']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
mutexGroup(G)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
contains(G,X,V)
TIMEOUT CPU 900.08 MEM 1779680 MAXMEM 1845652 STALE 0 MAXMEM_RSS 1696736
<time name="ALL">899980</time>

253
gc-ta1-tt1-single-shot/ipc-2011_elevator-sequential-satisficing_9.out
View File

@@ -1,253 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-9.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-9.pddl
Parsing...
Parsing: [0.070s CPU, 0.128s wall-clock]
Normalizing task... [0.010s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.019s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.032s wall-clock]
Preparing model... [0.050s CPU, 0.056s wall-clock]
Generated 46 rules.
Computing model... [1.820s CPU, 1.818s wall-clock]
15867 relevant atoms
7332 auxiliary atoms
23199 final queue length
50043 total queue pushes
Completing instantiation... [5.270s CPU, 5.270s wall-clock]
Instantiating: [7.220s CPU, 7.217s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.080s CPU, 0.087s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.070s CPU, 0.075s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.007s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.021s wall-clock]
Building translation key... [0.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.260s CPU, 0.264s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.007s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.230s CPU, 0.233s wall-clock]
Translating task: [4.350s CPU, 4.347s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
46 propositions removed
Detecting unreachable propositions: [2.250s CPU, 2.252s wall-clock]
Reordering and filtering variables...
46 of 46 variables necessary.
0 of 46 mutex groups necessary.
14124 of 14124 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.660s CPU, 0.662s wall-clock]
Translator variables: 46
Translator derived variables: 0
Translator facts: 1150
Translator goal facts: 36
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 14124
Translator axioms: 0
Translator task size: 85076
Translator peak memory: 91596 KB
Writing output... [1.490s CPU, 1.595s wall-clock]
Done! [16.520s CPU, 16.678s wall-clock]
planner.py version 0.0.1
Time: 3.54s
Memory: 284MB
Iteration 1
Queue: [(0,50,0,True)]
Grounded Until: 0
Expected Memory: 284MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time: 13.10s
Memory: 1266MB (+982MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 27.987s (Solving: 1.36s 1st Model: 1.29s Unsat: 0.00s)
CPU Time : 27.416s
Choices : 52380 (Domain: 52344)
Conflicts : 683 (Analyzed: 683)
Restarts : 5 (Average: 136.60 Last: 44)
Model-Level : 4762.0
Problems : 1 (Average Length: 52.00 Splits: 0)
Lemmas : 683 (Deleted: 0)
Binary : 82 (Ratio: 12.01%)
Ternary : 18 (Ratio: 2.64%)
Conflict : 683 (Average Length: 285.1 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 683 (Average: 57.75 Max: 2998 Sum: 39443)
Executed : 683 (Average: 57.75 Max: 2998 Sum: 39443 Ratio: 100.00%)
Bounded : 0 (Average: 0.00 Max: 0 Sum: 0 Ratio: 0.00%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 808347 (Eliminated: 0 Frozen: 55662)
Constraints : 5913344 (Binary: 98.1% Ternary: 0.9% Other: 1.0%)
Memory Peak : 1703MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 1.99s
Memory: 1639MB (+373MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 8.64s
Memory: 1651MB (+12MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 337.795s (Solving: 304.48s 1st Model: 1.29s Unsat: 0.00s)
CPU Time : 337.352s
Choices : 6949531 (Domain: 6949495)
Conflicts : 29283 (Analyzed: 29283)
Restarts : 105 (Average: 278.89 Last: 158)
Model-Level : 4762.0
Problems : 2 (Average Length: 52.00 Splits: 0)
Lemmas : 29283 (Deleted: 23630)
Binary : 740 (Ratio: 2.53%)
Ternary : 448 (Ratio: 1.53%)
Conflict : 29283 (Average Length: 438.8 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 29283 (Average: 235.31 Max: 9291 Sum: 6890543)
Executed : 29142 (Average: 235.06 Max: 9291 Sum: 6883211 Ratio: 99.89%)
Bounded : 141 (Average: 52.00 Max: 52 Sum: 7332 Ratio: 0.11%)
Rules : 1956029 (Original: 1955927)
Atoms : 32724
Bodies : 1291785 (Original: 1291683)
Count : 2231 (Original: 2239)
Equivalences : 653333 (Atom=Atom: 64 Body=Body: 0 Other: 653269)
Tight : Yes
Variables : 812971 (Eliminated: 0 Frozen: 708777)
Constraints : 7843823 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1765MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 304.55s
Memory: 1685MB (+34MB)
UNKNOWN
Iteration Time: 337.07s
Iteration 2
Queue: [(0,50,1,True)]
Grounded Until: 50
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 648.807s (Solving: 615.29s 1st Model: 1.29s Unsat: 0.00s)
CPU Time : 648.344s
Choices : 14207917 (Domain: 14207881)
Conflicts : 58304 (Analyzed: 58304)
Restarts : 205 (Average: 284.41 Last: 158)
Model-Level : 4762.0
Problems : 3 (Average Length: 52.00 Splits: 0)
Lemmas : 58304 (Deleted: 49237)
Binary : 1197 (Ratio: 2.05%)
Ternary : 739 (Ratio: 1.27%)
Conflict : 58304 (Average Length: 533.4 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 58304 (Average: 242.01 Max: 9291 Sum: 14109968)
Executed : 58102 (Average: 241.83 Max: 9291 Sum: 14099464 Ratio: 99.93%)
Bounded : 202 (Average: 52.00 Max: 52 Sum: 10504 Ratio: 0.07%)
Rules : 1956029 (Original: 1955927)
Atoms : 32724
Bodies : 1291785 (Original: 1291683)
Count : 2231 (Original: 2239)
Equivalences : 653333 (Atom=Atom: 64 Body=Body: 0 Other: 653269)
Tight : Yes
Variables : 812971 (Eliminated: 0 Frozen: 708777)
Constraints : 7795058 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1765MB
Max. Length : 50 steps
Models : 1
[endof: stats after solve call]
Solving Time: 311.00s
Memory: 1700MB (+15MB)
UNKNOWN
Iteration Time: 311.00s
Iteration 3
Queue: [(0,50,2,True)]
Grounded Until: 50
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 951.596s (Solving: 917.90s 1st Model: 1.29s Unsat: 0.00s)
CPU Time : 951.248s
Choices : 22159503 (Domain: 22159467)
Conflicts : 86154 (Analyzed: 86154)
Restarts : 305 (Average: 282.47 Last: 158)
Model-Level : 4762.0
Problems : 4 (Average Length: 52.00 Splits: 0)
Lemmas : 86154 (Deleted: 76019)
Binary : 1461 (Ratio: 1.70%)
Ternary : 1024 (Ratio: 1.19%)
Conflict : 86154 (Average Length: 537.3 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 86154 (Average: 255.56 Max: 9291 Sum: 22017506)
Executed : 85895 (Average: 255.40 Max: 9291 Sum: 22004038 Ratio: 99.94%)
Bounded : 259 (Average: 52.00 Max: 52 Sum: 13468 Ratio: 0.06%)
Rules : 1956029 (Original: 1955927)
Atoms : 32724
Bodies : 1291785 (Original: 1291683)
Count : 2231 (Original: 2239)
Equivalences : 653333 (Atom=Atom: 64 Body=Body: 0 Other: 653269)
Tight : Yes
Variables : 812971 (Eliminated: 0 Frozen: 708777)
Constraints : 7749317 (Binary: 98.5% Ternary: 0.7% Other: 0.8%)
Memory Peak : 1765MB
Max. Length : 50 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_3.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-3.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 100
- -T 100
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: parking-sequential-satisficing
instance: 3
ipc: ipc-2011
planLength: 100
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

8
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_3.err
View File

@@ -1,8 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'parking-sequential-satisficing', 'instance': 3, 'planLength': 100}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-3.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 100', '-T 100']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
MEM CPU 289.57 MEM 9307208 MAXMEM 9307208 STALE 0 MAXMEM_RSS 8800280
<time name="ALL">289480</time>

163
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_3.out
View File

@@ -1,163 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-3.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-3.pddl
Parsing...
Parsing: [0.030s CPU, 0.037s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.008s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.017s wall-clock]
Preparing model... [0.020s CPU, 0.017s wall-clock]
Generated 32 rules.
Computing model... [3.100s CPU, 3.100s wall-clock]
33917 relevant atoms
3770 auxiliary atoms
37687 final queue length
109988 total queue pushes
Completing instantiation... [12.500s CPU, 12.494s wall-clock]
Instantiating: [15.670s CPU, 15.670s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.050s CPU, 0.051s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.040s CPU, 0.049s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
61 uncovered facts
Choosing groups: [0.030s CPU, 0.034s wall-clock]
Building translation key... [0.010s CPU, 0.012s wall-clock]
Computing fact groups: [0.210s CPU, 0.212s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.005s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.015s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.019s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.620s CPU, 0.618s wall-clock]
Translating task: [13.580s CPU, 13.570s wall-clock]
38592 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
24 propositions removed
Detecting unreachable propositions: [6.910s CPU, 6.900s wall-clock]
Reordering and filtering variables...
85 of 85 variables necessary.
37 of 61 mutex groups necessary.
31104 of 31104 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [2.690s CPU, 2.697s wall-clock]
Translator variables: 85
Translator derived variables: 0
Translator facts: 1010
Translator goal facts: 24
Translator mutex groups: 37
Translator total mutex groups size: 925
Translator operators: 31104
Translator axioms: 0
Translator task size: 253756
Translator peak memory: 186340 KB
Writing output... [4.430s CPU, 4.764s wall-clock]
Done! [44.070s CPU, 44.396s wall-clock]
planner.py version 0.0.1
Time: 10.10s
Memory: 650MB
Iteration 1
Queue: [(0,100,0,True)]
Grounded Until: 0
Expected Memory: 650MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('step', [91]), ('step', [92]), ('step', [93]), ('step', [94]), ('step', [95]), ('step', [96]), ('step', [97]), ('step', [98]), ('step', [99]), ('step', [100]), ('check', [100])]
Grounding Time: 87.95s
Memory: 7133MB (+6483MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 191.458s (Solving: 10.37s 1st Model: 10.19s Unsat: 0.00s)
CPU Time : 190.096s
Choices : 102787 (Domain: 102787)
Conflicts : 579 (Analyzed: 579)
Restarts : 2 (Average: 289.50 Last: 442)
Model-Level : 11144.0
Problems : 1 (Average Length: 102.00 Splits: 0)
Lemmas : 579 (Deleted: 0)
Binary : 9 (Ratio: 1.55%)
Ternary : 56 (Ratio: 9.67%)
Conflict : 579 (Average Length: 15073.5 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 579 (Average: 158.09 Max: 4613 Sum: 91536)
Executed : 579 (Average: 158.09 Max: 4613 Sum: 91536 Ratio: 100.00%)
Bounded : 0 (Average: 0.00 Max: 0 Sum: 0 Ratio: 0.00%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 3288973 (Eliminated: 0 Frozen: 91950)
Constraints : 38284636 (Binary: 99.5% Ternary: 0.3% Other: 0.3%)
Memory Peak : 8610MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 12.84s
Memory: 8546MB (+1413MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 48.18s
Memory: 8626MB (+80MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 1289.040s (Solving: 1061.31s 1st Model: 10.19s Unsat: 0.00s)
CPU Time : 1288.128s
Choices : 11909849 (Domain: 11909849)
Conflicts : 29193 (Analyzed: 29193)
Restarts : 102 (Average: 286.21 Last: 442)
Model-Level : 11144.0
Problems : 2 (Average Length: 102.00 Splits: 0)
Lemmas : 29193 (Deleted: 24080)
Binary : 242 (Ratio: 0.83%)
Ternary : 659 (Ratio: 2.26%)
Conflict : 29193 (Average Length: 18450.6 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 29193 (Average: 396.63 Max: 14679 Sum: 11578760)
Executed : 29174 (Average: 396.56 Max: 14679 Sum: 11576822 Ratio: 99.98%)
Bounded : 19 (Average: 102.00 Max: 102 Sum: 1938 Ratio: 0.02%)
Rules : 11053869 (Original: 11053715)
Atoms : 79637
Bodies : 7930283 (Original: 7930129)
Count : 8384 (Original: 8395)
Equivalences : 3039464 (Atom=Atom: 141 Body=Body: 0 Other: 3039323)
Tight : Yes
Variables : 3305930 (Eliminated: 0 Frozen: 3131019)
Constraints : 49284642 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 9406MB
Max. Length : 0 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_8.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-8.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 80
- -T 80
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: parking-sequential-satisficing
instance: 8
ipc: ipc-2011
planLength: 80
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

8
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_8.err
View File

@@ -1,8 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'parking-sequential-satisficing', 'instance': 8, 'planLength': 80}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-8.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 80', '-T 80']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
MEM CPU 339.66 MEM 9247688 MAXMEM 9247688 STALE 1 MAXMEM_RSS 8950276
<time name="ALL">339610</time>

163
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_8.out
View File

@@ -1,163 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-8.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-8.pddl
Parsing...
Parsing: [0.030s CPU, 0.249s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.011s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.020s wall-clock]
Preparing model... [0.020s CPU, 0.021s wall-clock]
Generated 32 rules.
Computing model... [3.900s CPU, 3.903s wall-clock]
42827 relevant atoms
4396 auxiliary atoms
47223 final queue length
138834 total queue pushes
Completing instantiation... [15.880s CPU, 15.872s wall-clock]
Instantiating: [19.880s CPU, 19.869s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.059s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.061s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
66 uncovered facts
Choosing groups: [0.040s CPU, 0.038s wall-clock]
Building translation key... [0.020s CPU, 0.014s wall-clock]
Computing fact groups: [0.240s CPU, 0.239s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.014s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.025s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.790s CPU, 0.783s wall-clock]
Translating task: [17.220s CPU, 17.204s wall-clock]
49010 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
26 propositions removed
Detecting unreachable propositions: [8.700s CPU, 8.704s wall-clock]
Reordering and filtering variables...
92 of 92 variables necessary.
40 of 66 mutex groups necessary.
39546 of 39546 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [3.410s CPU, 3.413s wall-clock]
Translator variables: 92
Translator derived variables: 0
Translator facts: 1172
Translator goal facts: 26
Translator mutex groups: 40
Translator total mutex groups size: 1080
Translator operators: 39546
Translator axioms: 0
Translator task size: 322456
Translator peak memory: 226608 KB
Writing output... [5.570s CPU, 5.964s wall-clock]
Done! [55.730s CPU, 56.326s wall-clock]
planner.py version 0.0.1
Time: 12.81s
Memory: 810MB
Iteration 1
Queue: [(0,80,0,True)]
Grounded Until: 0
Expected Memory: 810MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time: 85.33s
Memory: 7179MB (+6369MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 228.765s (Solving: 51.84s 1st Model: 51.66s Unsat: 0.00s)
CPU Time : 226.908s
Choices : 1100876 (Domain: 1100876)
Conflicts : 2440 (Analyzed: 2440)
Restarts : 12 (Average: 203.33 Last: 193)
Model-Level : 12241.0
Problems : 1 (Average Length: 82.00 Splits: 0)
Lemmas : 2440 (Deleted: 946)
Binary : 12 (Ratio: 0.49%)
Ternary : 14 (Ratio: 0.57%)
Conflict : 2440 (Average Length: 15968.2 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 2440 (Average: 435.64 Max: 5604 Sum: 1062959)
Executed : 2382 (Average: 433.69 Max: 5604 Sum: 1058203 Ratio: 99.55%)
Bounded : 58 (Average: 82.00 Max: 82 Sum: 4756 Ratio: 0.45%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 3317965 (Eliminated: 0 Frozen: 85698)
Constraints : 38802767 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 8832MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 54.34s
Memory: 8768MB (+1589MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 51.60s
Memory: 8948MB (+180MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 1666.512s (Solving: 1441.49s 1st Model: 51.66s Unsat: 0.00s)
CPU Time : 1665.244s
Choices : 21048403 (Domain: 21048403)
Conflicts : 28155 (Analyzed: 28155)
Restarts : 112 (Average: 251.38 Last: 193)
Model-Level : 12241.0
Problems : 2 (Average Length: 82.00 Splits: 0)
Lemmas : 28155 (Deleted: 23590)
Binary : 56 (Ratio: 0.20%)
Ternary : 73 (Ratio: 0.26%)
Conflict : 28155 (Average Length: 13456.1 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 28155 (Average: 737.98 Max: 19412 Sum: 20777856)
Executed : 28016 (Average: 737.58 Max: 19412 Sum: 20766459 Ratio: 99.95%)
Bounded : 139 (Average: 81.99 Max: 82 Sum: 11397 Ratio: 0.05%)
Rules : 11224058
Atoms : 94276
Bodies : 8045843
Count : 7253
Equivalences : 3078268 (Atom=Atom: 151 Body=Body: 0 Other: 3078117)
Tight : Yes
Variables : 3332432 (Eliminated: 0 Frozen: 3163584)
Constraints : 49925531 (Binary: 99.6% Ternary: 0.2% Other: 0.2%)
Memory Peak : 9354MB
Max. Length : 0 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_9.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-9.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 80
- -T 80
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: parking-sequential-satisficing
instance: 9
ipc: ipc-2011
planLength: 80
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

8
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_9.err
View File

@@ -1,8 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'parking-sequential-satisficing', 'instance': 9, 'planLength': 80}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-9.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 80', '-T 80']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
MEM CPU 397.06 MEM 9555292 MAXMEM 9555292 STALE 1 MAXMEM_RSS 9114968
<time name="ALL">397040</time>

163
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_9.out
View File

@@ -1,163 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-9.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-9.pddl
Parsing...
Parsing: [0.030s CPU, 0.092s wall-clock]
Normalizing task... [0.010s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.011s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.020s wall-clock]
Preparing model... [0.020s CPU, 0.021s wall-clock]
Generated 32 rules.
Computing model... [3.900s CPU, 3.895s wall-clock]
42827 relevant atoms
4396 auxiliary atoms
47223 final queue length
138834 total queue pushes
Completing instantiation... [15.950s CPU, 15.936s wall-clock]
Instantiating: [19.920s CPU, 19.925s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.058s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.060s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
66 uncovered facts
Choosing groups: [0.040s CPU, 0.040s wall-clock]
Building translation key... [0.020s CPU, 0.014s wall-clock]
Computing fact groups: [0.260s CPU, 0.257s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.014s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.025s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.790s CPU, 0.787s wall-clock]
Translating task: [17.280s CPU, 17.267s wall-clock]
49010 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
26 propositions removed
Detecting unreachable propositions: [8.720s CPU, 8.719s wall-clock]
Reordering and filtering variables...
92 of 92 variables necessary.
40 of 66 mutex groups necessary.
39546 of 39546 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [3.410s CPU, 3.409s wall-clock]
Translator variables: 92
Translator derived variables: 0
Translator facts: 1172
Translator goal facts: 26
Translator mutex groups: 40
Translator total mutex groups size: 1080
Translator operators: 39546
Translator axioms: 0
Translator task size: 322456
Translator peak memory: 226608 KB
Writing output... [5.650s CPU, 6.048s wall-clock]
Done! [55.960s CPU, 56.401s wall-clock]
planner.py version 0.0.1
Time: 12.80s
Memory: 810MB
Iteration 1
Queue: [(0,80,0,True)]
Grounded Until: 0
Expected Memory: 810MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time: 85.63s
Memory: 7179MB (+6369MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 283.587s (Solving: 105.61s 1st Model: 105.43s Unsat: 0.00s)
CPU Time : 282.024s
Choices : 1444658 (Domain: 1444658)
Conflicts : 6228 (Analyzed: 6228)
Restarts : 29 (Average: 214.76 Last: 100)
Model-Level : 5839.0
Problems : 1 (Average Length: 82.00 Splits: 0)
Lemmas : 6228 (Deleted: 2460)
Binary : 13 (Ratio: 0.21%)
Ternary : 12 (Ratio: 0.19%)
Conflict : 6228 (Average Length: 7480.1 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 6228 (Average: 224.21 Max: 7573 Sum: 1396358)
Executed : 6120 (Average: 222.78 Max: 7573 Sum: 1387503 Ratio: 99.37%)
Bounded : 108 (Average: 81.99 Max: 82 Sum: 8855 Ratio: 0.63%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 3317965 (Eliminated: 0 Frozen: 85698)
Constraints : 38802767 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 8704MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 108.23s
Memory: 8704MB (+1525MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 51.60s
Memory: 8887MB (+183MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 1482.575s (Solving: 1256.41s 1st Model: 105.43s Unsat: 0.00s)
CPU Time : 1481.508s
Choices : 13325947 (Domain: 13325947)
Conflicts : 32813 (Analyzed: 32813)
Restarts : 129 (Average: 254.36 Last: 232)
Model-Level : 5839.0
Problems : 2 (Average Length: 82.00 Splits: 0)
Lemmas : 32813 (Deleted: 27357)
Binary : 18 (Ratio: 0.05%)
Ternary : 43 (Ratio: 0.13%)
Conflict : 32813 (Average Length: 43335.7 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 32813 (Average: 395.48 Max: 20722 Sum: 12976929)
Executed : 32683 (Average: 395.16 Max: 20722 Sum: 12966272 Ratio: 99.92%)
Bounded : 130 (Average: 81.98 Max: 82 Sum: 10657 Ratio: 0.08%)
Rules : 11217093
Atoms : 94274
Bodies : 8040801
Count : 7256
Equivalences : 3076338 (Atom=Atom: 145 Body=Body: 0 Other: 3076193)
Tight : Yes
Variables : 3332438 (Eliminated: 0 Frozen: 3161666)
Constraints : 49894872 (Binary: 99.6% Ternary: 0.2% Other: 0.2%)
Memory Peak : 10409MB
Max. Length : 0 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_tidybot-sequential-satisficing_6.env
View File

@@ -1,60 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-6.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
- -F 115
- -T 115
configuration:
fixedHorizon: true
id: gc-ta1-tt1-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --translate
- -B 0.9
- --parallel=0
- --shallow
- --use-heuristic
- --test-until-not-sat
- --test=0
- --test-add=1
- --test-times=1
- -i 0
exitCode: 0
instance:
domain: tidybot-sequential-satisficing
instance: 6
ipc: ipc-2011
planLength: 115
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

8
gc-ta1-tt1-single-shot/ipc-2011_tidybot-sequential-satisficing_6.err
View File

@@ -1,8 +0,0 @@
# configuration: {'id': 'gc-ta1-tt1-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2011', 'domain': 'tidybot-sequential-satisficing', 'instance': 6, 'planLength': 115}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-6.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1', '-i 0', '-F 115', '-T 115']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.11 MEM 8296260 MAXMEM 8323028 STALE 0 MAXMEM_RSS 8057268
<time name="ALL">899980</time>

253
gc-ta1-tt1-single-shot/ipc-2011_tidybot-sequential-satisficing_6.out
View File

@@ -1,253 +0,0 @@
INFO Running translator.
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-6.pddl']
INFO translator arguments: []
INFO translator time limit: None
INFO translator memory limit: None
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-6.pddl
Parsing...
Parsing: [0.070s CPU, 0.082s wall-clock]
Normalizing task... [0.000s CPU, 0.006s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.014s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.200s CPU, 0.205s wall-clock]
Preparing model... [0.070s CPU, 0.068s wall-clock]
Generated 400 rules.
Computing model... [6.580s CPU, 6.586s wall-clock]
31250 relevant atoms
32261 auxiliary atoms
63511 final queue length
163391 total queue pushes
Completing instantiation... [17.790s CPU, 17.797s wall-clock]
Instantiating: [24.750s CPU, 24.747s wall-clock]
Computing fact groups...
Finding invariants...
41 initial candidates
Finding invariants: [0.620s CPU, 0.623s wall-clock]
Checking invariant weight... [0.010s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
383 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.020s CPU, 0.014s wall-clock]
Computing fact groups: [0.670s CPU, 0.668s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.003s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.005s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [1.120s CPU, 1.116s wall-clock]
Translating task: [21.390s CPU, 21.371s wall-clock]
81667 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
2 propositions removed
Detecting unreachable propositions: [10.490s CPU, 10.483s wall-clock]
Reordering and filtering variables...
385 of 385 variables necessary.
1 of 3 mutex groups necessary.
30681 of 30681 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [6.850s CPU, 6.847s wall-clock]
Translator variables: 385
Translator derived variables: 0
Translator facts: 773
Translator goal facts: 4
Translator mutex groups: 1
Translator total mutex groups size: 2
Translator operators: 30681
Translator axioms: 0
Translator task size: 368054
Translator peak memory: 232524 KB
Writing output... [5.990s CPU, 6.397s wall-clock]
Done! [70.860s CPU, 71.263s wall-clock]
planner.py version 0.0.1
Time: 17.15s
Memory: 1149MB
Iteration 1
Queue: [(0,115,0,True)]
Grounded Until: 0
Expected Memory: 1149MB
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('step', [91]), ('step', [92]), ('step', [93]), ('step', [94]), ('step', [95]), ('step', [96]), ('step', [97]), ('step', [98]), ('step', [99]), ('step', [100]), ('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('step', [111]), ('step', [112]), ('step', [113]), ('step', [114]), ('step', [115]), ('check', [115])]
Grounding Time: 69.39s
Memory: 5811MB (+4662MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 130.898s (Solving: 1.08s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 127.984s
Choices : 17101 (Domain: 15140)
Conflicts : 177 (Analyzed: 177)
Restarts : 1 (Average: 177.00 Last: 110)
Model-Level : 4446.0
Problems : 1 (Average Length: 117.00 Splits: 0)
Lemmas : 177 (Deleted: 0)
Binary : 6 (Ratio: 3.39%)
Ternary : 7 (Ratio: 3.95%)
Conflict : 177 (Average Length: 69.4 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 177 (Average: 72.18 Max: 1726 Sum: 12776)
Executed : 176 (Average: 71.52 Max: 1726 Sum: 12659 Ratio: 99.08%)
Bounded : 1 (Average: 117.00 Max: 117 Sum: 117 Ratio: 0.92%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 1835174 (Eliminated: 0 Frozen: 0)
Constraints : 26399964 (Binary: 99.5% Ternary: 0.3% Other: 0.3%)
Memory Peak : 6800MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 3.58s
Memory: 6731MB (+920MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 51.36s
Memory: 6755MB (+24MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 530.528s (Solving: 359.90s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 527.784s
Choices : 336661 (Domain: 302617)
Conflicts : 30218 (Analyzed: 30218)
Restarts : 101 (Average: 299.19 Last: 228)
Model-Level : 4446.0
Problems : 2 (Average Length: 117.00 Splits: 0)
Lemmas : 30218 (Deleted: 24540)
Binary : 162 (Ratio: 0.54%)
Ternary : 75 (Ratio: 0.25%)
Conflict : 30218 (Average Length: 47924.1 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 30218 (Average: 10.33 Max: 2373 Sum: 312076)
Executed : 30185 (Average: 10.20 Max: 2373 Sum: 308224 Ratio: 98.77%)
Bounded : 33 (Average: 116.73 Max: 117 Sum: 3852 Ratio: 1.23%)
Rules : 7608560 (Original: 7607815)
Atoms : 120286
Bodies : 4622635 (Original: 4622059)
Count : 34717 (Original: 34833)
Equivalences : 1517727 (Atom=Atom: 583 Body=Body: 0 Other: 1517144)
Tight : Yes
Variables : 1906265 (Eliminated: 0 Frozen: 1515205)
Constraints : 33999609 (Binary: 99.4% Ternary: 0.2% Other: 0.4%)
Memory Peak : 8154MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 364.62s
Memory: 8026MB (+1271MB)
UNKNOWN
Iteration Time: 527.13s
Iteration 2
Queue: [(0,115,1,True)]
Grounded Until: 115
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 798.797s (Solving: 627.51s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 796.168s
Choices : 831292 (Domain: 775877)
Conflicts : 61993 (Analyzed: 61993)
Restarts : 201 (Average: 308.42 Last: 228)
Model-Level : 4446.0
Problems : 3 (Average Length: 117.00 Splits: 0)
Lemmas : 61993 (Deleted: 57434)
Binary : 213 (Ratio: 0.34%)
Ternary : 99 (Ratio: 0.16%)
Conflict : 61993 (Average Length: 27996.8 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 61993 (Average: 12.74 Max: 3140 Sum: 789859)
Executed : 61950 (Average: 12.66 Max: 3140 Sum: 784837 Ratio: 99.36%)
Bounded : 43 (Average: 116.79 Max: 117 Sum: 5022 Ratio: 0.64%)
Rules : 7608560 (Original: 7607815)
Atoms : 120286
Bodies : 4622635 (Original: 4622059)
Count : 34717 (Original: 34833)
Equivalences : 1517727 (Atom=Atom: 583 Body=Body: 0 Other: 1517144)
Tight : Yes
Variables : 1906265 (Eliminated: 0 Frozen: 1515205)
Constraints : 33785058 (Binary: 99.4% Ternary: 0.2% Other: 0.4%)
Memory Peak : 8154MB
Max. Length : 115 steps
Models : 1
[endof: stats after solve call]
Solving Time: 268.39s
Memory: 8034MB (+8MB)
UNKNOWN
Iteration Time: 268.39s
Iteration 3
Queue: [(0,115,2,True)]
Grounded Until: 115
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 1066.015s (Solving: 894.26s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 1063.476s
Choices : 1230721 (Domain: 1168294)
Conflicts : 88451 (Analyzed: 88451)
Restarts : 301 (Average: 293.86 Last: 228)
Model-Level : 4446.0
Problems : 4 (Average Length: 117.00 Splits: 0)
Lemmas : 88451 (Deleted: 83261)
Binary : 235 (Ratio: 0.27%)
Ternary : 103 (Ratio: 0.12%)
Conflict : 88451 (Average Length: 22149.9 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 88451 (Average: 13.25 Max: 3140 Sum: 1171609)
Executed : 88408 (Average: 13.19 Max: 3140 Sum: 1166587 Ratio: 99.57%)
Bounded : 43 (Average: 116.79 Max: 117 Sum: 5022 Ratio: 0.43%)
Rules : 7608560 (Original: 7607815)
Atoms : 120286
Bodies : 4622635 (Original: 4622059)
Count : 34717 (Original: 34833)
Equivalences : 1517727 (Atom=Atom: 583 Body=Body: 0 Other: 1517144)
Tight : Yes
Variables : 1906265 (Eliminated: 0 Frozen: 1515205)
Constraints : 33784458 (Binary: 99.4% Ternary: 0.2% Other: 0.4%)
Memory Peak : 8154MB
Max. Length : 115 steps
Models : 1