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-05 16:10:47 +01:00
parent 80cbf60143
commit 56cd3680d6
327 changed files with 0 additions and 83262 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.09 MEM 3691912 MAXMEM 3864376 STALE 0 MAXMEM_RSS 3647516
<time name="ALL">899980</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.078s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.020s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.028s wall-clock]
Preparing model... [0.060s CPU, 0.055s wall-clock]
Generated 46 rules.
Computing model... [1.910s CPU, 1.916s wall-clock]
17118 relevant atoms
7704 auxiliary atoms
24822 final queue length
53883 total queue pushes
Completing instantiation... [5.580s CPU, 5.587s wall-clock]
Instantiating: [7.620s CPU, 7.631s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.100s CPU, 0.094s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.080s CPU, 0.083s 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.010s CPU, 0.015s wall-clock]
Computing fact groups: [0.290s CPU, 0.286s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.007s 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.010s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.250s CPU, 0.250s wall-clock]
Translating task: [4.720s CPU, 4.708s 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.740s CPU, 2.734s 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.717s 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.530s CPU, 1.650s wall-clock]
Done! [17.920s CPU, 18.033s wall-clock]
planner.py version 0.0.1
Time: 3.83s
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.75s
Memory: 2661MB (+2357MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 65.417s (Solving: 6.24s 1st Model: 6.08s Unsat: 0.00s)
CPU Time : 64.888s
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.52s
Memory: 3447MB (+786MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 16.37s
Memory: 3474MB (+27MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 810.333s (Solving: 735.48s 1st Model: 6.08s Unsat: 0.00s)
CPU Time : 810.124s
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: 732.52s
Memory: 3552MB (+78MB)
UNKNOWN
Iteration Time: 809.96s
Iteration 2
Queue: [(0,105,1,True)]
Grounded Until: 105
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 3
Time : 1519.481s (Solving: 1444.23s 1st Model: 6.08s Unsat: 0.00s)
CPU Time : 1519.548s
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.06 MEM 5950252 MAXMEM 6231608 STALE 1 MAXMEM_RSS 5982580
<time name="ALL">899950</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.060s CPU, 0.059s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.016s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.023s wall-clock]
Preparing model... [0.050s CPU, 0.052s wall-clock]
Generated 46 rules.
Computing model... [3.690s CPU, 3.679s wall-clock]
35012 relevant atoms
12873 auxiliary atoms
47885 final queue length
110965 total queue pushes
Completing instantiation... [12.480s CPU, 12.478s wall-clock]
Instantiating: [16.310s CPU, 16.292s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.180s CPU, 0.178s wall-clock]
Checking invariant weight... [0.000s CPU, 0.005s wall-clock]
Instantiating groups... [0.120s CPU, 0.124s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.011s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.040s CPU, 0.034s wall-clock]
Building translation key... [0.020s CPU, 0.021s wall-clock]
Computing fact groups: [0.460s CPU, 0.458s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.010s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.008s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.012s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.540s CPU, 0.534s wall-clock]
Translating task: [10.060s CPU, 10.059s 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.230s CPU, 5.218s 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.530s 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.290s CPU, 3.525s wall-clock]
Done! [37.390s CPU, 37.601s wall-clock]
planner.py version 0.0.1
Time: 8.43s
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.82s
Memory: 4376MB (+3783MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 0+
Calls : 1
Time : 303.278s (Solving: 183.33s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 302.064s
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 : 5708MB
Max. Length : 0 steps
Models : 0
[endof: stats after solve call]
Solving Time: 185.90s
Memory: 5644MB (+1268MB)
UNKNOWN
Iteration Time: 293.64s
Iteration 2
Queue: [(0,80,1,True)]
Grounded Until: 80
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 466.977s (Solving: 346.43s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 465.836s
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: 163.78s
Memory: 5644MB (+0MB)
UNKNOWN
Iteration Time: 163.78s
Iteration 3
Queue: [(0,80,2,True)]
Grounded Until: 80
Solving...
[start: stats after solve call]
Models : 1+
Calls : 3
Time : 493.447s (Solving: 372.34s 1st Model: 25.64s Unsat: 0.00s)
CPU Time : 492.320s
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.48s
Memory: 5678MB (+34MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 28.83s
Memory: 5725MB (+47MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 1327.743s (Solving: 1180.11s 1st Model: 25.64s Unsat: 0.00s)
CPU Time : 1326.948s
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 : 6048MB
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.01 MEM 1271488 MAXMEM 1307660 STALE 0 MAXMEM_RSS 1175088
<time name="ALL">900000</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.064s 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.027s wall-clock]
Preparing model... [0.040s CPU, 0.048s wall-clock]
Generated 46 rules.
Computing model... [1.400s CPU, 1.397s wall-clock]
12114 relevant atoms
6216 auxiliary atoms
18330 final queue length
38523 total queue pushes
Completing instantiation... [3.860s CPU, 3.860s wall-clock]
Instantiating: [5.350s CPU, 5.366s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.070s CPU, 0.071s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s 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.173s wall-clock]
Translating task: [3.410s CPU, 3.407s 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.720s CPU, 1.716s 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.500s CPU, 0.497s 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: 78028 KB
Writing output... [1.080s CPU, 1.155s wall-clock]
Done! [12.490s CPU, 12.565s 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.226s (Solving: 6.70s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 23.804s
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.98s
Memory: 1172MB (+0MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 189.809s (Solving: 167.94s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 189.460s
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.18s
Memory: 1185MB (+13MB)
UNKNOWN
Iteration Time: 189.33s
Iteration 2
Queue: [(0,45,1,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 375.480s (Solving: 353.48s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 375.212s
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.76s
Memory: 1204MB (+19MB)
UNKNOWN
Iteration Time: 185.76s
Iteration 3
Queue: [(0,45,2,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 4
Time : 527.335s (Solving: 505.18s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 527.128s
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: 151.92s
Memory: 1204MB (+0MB)
UNKNOWN
Iteration Time: 151.92s
Iteration 4
Queue: [(0,45,3,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 5
Time : 667.594s (Solving: 645.34s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 667.448s
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: 140.32s
Memory: 1204MB (+0MB)
UNKNOWN
Iteration Time: 140.32s
Iteration 5
Queue: [(0,45,4,True)]
Grounded Until: 45
Solving...
[start: stats after solve call]
Models : 0+
Calls : 6
Time : 811.465s (Solving: 789.11s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 811.380s
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.94s
Memory: 1204MB (+0MB)
UNKNOWN
Iteration Time: 143.94s
Iteration 6
Queue: [(0,45,5,True)]
Grounded Until: 45
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 7
Time : 968.945s (Solving: 946.47s 1st Model: 6.65s Unsat: 0.00s)
CPU Time : 968.916s
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.01 MEM 1779680 MAXMEM 1845652 STALE 0 MAXMEM_RSS 1645220
<time name="ALL">899890</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.073s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.019s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.027s wall-clock]
Preparing model... [0.060s CPU, 0.053s wall-clock]
Generated 46 rules.
Computing model... [1.800s CPU, 1.808s wall-clock]
15867 relevant atoms
7332 auxiliary atoms
23199 final queue length
50043 total queue pushes
Completing instantiation... [5.260s CPU, 5.251s wall-clock]
Instantiating: [7.180s CPU, 7.182s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.090s CPU, 0.087s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.070s CPU, 0.075s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.021s wall-clock]
Building translation key... [0.010s CPU, 0.013s 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.010s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.007s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.240s CPU, 0.232s wall-clock]
Translating task: [4.350s CPU, 4.349s 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.270s CPU, 2.258s 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.660s 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.430s CPU, 1.533s wall-clock]
Done! [16.440s CPU, 16.532s 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.18s
Memory: 1266MB (+982MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 28.102s (Solving: 1.34s 1st Model: 1.27s Unsat: 0.00s)
CPU Time : 27.504s
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.97s
Memory: 1639MB (+373MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 8.63s
Memory: 1651MB (+12MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 338.677s (Solving: 305.21s 1st Model: 1.27s Unsat: 0.00s)
CPU Time : 338.212s
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: 305.30s
Memory: 1685MB (+34MB)
UNKNOWN
Iteration Time: 337.90s
Iteration 2
Queue: [(0,50,1,True)]
Grounded Until: 50
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 650.546s (Solving: 616.86s 1st Model: 1.27s Unsat: 0.00s)
CPU Time : 650.216s
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: 312.01s
Memory: 1700MB (+15MB)
UNKNOWN
Iteration Time: 312.01s
Iteration 3
Queue: [(0,50,2,True)]
Grounded Until: 50
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 952.825s (Solving: 918.93s 1st Model: 1.27s Unsat: 0.00s)
CPU Time : 952.596s
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.25 MEM 9325112 MAXMEM 9325112 STALE 1 MAXMEM_RSS 8807748
<time name="ALL">289200</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.020s CPU, 0.022s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.007s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.016s wall-clock]
Preparing model... [0.020s CPU, 0.016s wall-clock]
Generated 32 rules.
Computing model... [3.110s CPU, 3.112s wall-clock]
33917 relevant atoms
3770 auxiliary atoms
37687 final queue length
109988 total queue pushes
Completing instantiation... [12.520s CPU, 12.516s wall-clock]
Instantiating: [15.700s CPU, 15.701s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.050s CPU, 0.054s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.050s CPU, 0.050s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.007s wall-clock]
Choosing groups...
61 uncovered facts
Choosing groups: [0.030s CPU, 0.032s wall-clock]
Building translation key... [0.020s CPU, 0.012s wall-clock]
Computing fact groups: [0.220s CPU, 0.215s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.016s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.021s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.620s CPU, 0.621s wall-clock]
Translating task: [13.610s CPU, 13.604s 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.899s 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.720s CPU, 2.719s 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.420s CPU, 4.722s wall-clock]
Done! [44.130s CPU, 44.423s 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.58s
Memory: 7133MB (+6483MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 190.871s (Solving: 10.32s 1st Model: 10.14s Unsat: 0.00s)
CPU Time : 189.660s
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.79s
Memory: 8546MB (+1413MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 48.26s
Memory: 8665MB (+119MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 1288.267s (Solving: 1060.91s 1st Model: 10.14s Unsat: 0.00s)
CPU Time : 1287.488s
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 : 9423MB
Max. Length : 0 steps
Models : 1

60
gc-ta1-tt1-single-shot/ipc-2011_parking-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/parking-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-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 65
- -T 65
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: 6
ipc: ipc-2011
planLength: 65
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_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': 'parking-sequential-satisficing', 'instance': 6, 'planLength': 65}
# 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-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 65', '-T 65']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.01 MEM 6352460 MAXMEM 6352460 STALE 1 MAXMEM_RSS 6057648
<time name="ALL">899950</time>

163
gc-ta1-tt1-single-shot/ipc-2011_parking-sequential-satisficing_6.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-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/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-6.pddl
Parsing...
Parsing: [0.010s CPU, 0.018s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.013s wall-clock]
Preparing model... [0.010s CPU, 0.012s wall-clock]
Generated 32 rules.
Computing model... [3.100s CPU, 3.094s wall-clock]
33917 relevant atoms
3770 auxiliary atoms
37687 final queue length
109988 total queue pushes
Completing instantiation... [12.590s CPU, 12.595s wall-clock]
Instantiating: [15.760s CPU, 15.754s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.050s CPU, 0.050s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.040s CPU, 0.051s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.007s wall-clock]
Choosing groups...
61 uncovered facts
Choosing groups: [0.030s CPU, 0.032s wall-clock]
Building translation key... [0.010s CPU, 0.013s wall-clock]
Computing fact groups: [0.210s CPU, 0.206s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.016s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.020s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.620s CPU, 0.622s wall-clock]
Translating task: [13.640s CPU, 13.623s 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.880s CPU, 6.890s 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.710s CPU, 2.709s 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: 186360 KB
Writing output... [4.400s CPU, 4.711s wall-clock]
Done! [44.150s CPU, 44.454s wall-clock]
planner.py version 0.0.1
Time: 10.13s
Memory: 650MB
Iteration 1
Queue: [(0,65,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]), ('check', [65])]
Grounding Time: 54.16s
Memory: 4791MB (+4141MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 140.183s (Solving: 35.72s 1st Model: 35.61s Unsat: 0.00s)
CPU Time : 138.884s
Choices : 363487 (Domain: 363487)
Conflicts : 3838 (Analyzed: 3838)
Restarts : 21 (Average: 182.76 Last: 75)
Model-Level : 4429.0
Problems : 1 (Average Length: 67.00 Splits: 0)
Lemmas : 3838 (Deleted: 806)
Binary : 115 (Ratio: 3.00%)
Ternary : 344 (Ratio: 8.96%)
Conflict : 3838 (Average Length: 1546.3 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 3838 (Average: 90.14 Max: 2573 Sum: 345939)
Executed : 3837 (Average: 90.12 Max: 2573 Sum: 345872 Ratio: 99.98%)
Bounded : 1 (Average: 67.00 Max: 67 Sum: 67 Ratio: 0.02%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 2126588 (Eliminated: 0 Frozen: 59575)
Constraints : 24528901 (Binary: 99.5% Ternary: 0.3% Other: 0.3%)
Memory Peak : 5745MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 37.44s
Memory: 5681MB (+890MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 34.49s
Memory: 5763MB (+82MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 944.184s (Solving: 809.29s 1st Model: 35.61s Unsat: 0.00s)
CPU Time : 943.212s
Choices : 11920182 (Domain: 11920182)
Conflicts : 31908 (Analyzed: 31908)
Restarts : 121 (Average: 263.70 Last: 181)
Model-Level : 4429.0
Problems : 2 (Average Length: 67.00 Splits: 0)
Lemmas : 31908 (Deleted: 27154)
Binary : 330 (Ratio: 1.03%)
Ternary : 695 (Ratio: 2.18%)
Conflict : 31908 (Average Length: 11509.9 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 31908 (Average: 366.47 Max: 11148 Sum: 11693262)
Executed : 31896 (Average: 366.44 Max: 11148 Sum: 11692458 Ratio: 99.99%)
Bounded : 12 (Average: 67.00 Max: 67 Sum: 804 Ratio: 0.01%)
Rules : 7105756 (Original: 7105602)
Atoms : 73648
Bodies : 5081735 (Original: 5081581)
Count : 5409 (Original: 5420)
Equivalences : 1947743 (Atom=Atom: 106 Body=Body: 0 Other: 1947637)
Tight : Yes
Variables : 2137595 (Eliminated: 0 Frozen: 2007028)
Constraints : 31577847 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 6166MB
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 341.43 MEM 9247688 MAXMEM 9247688 STALE 1 MAXMEM_RSS 8950432
<time name="ALL">341350</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.023s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.008s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.016s wall-clock]
Preparing model... [0.020s CPU, 0.017s wall-clock]
Generated 32 rules.
Computing model... [3.910s CPU, 3.901s wall-clock]
42827 relevant atoms
4396 auxiliary atoms
47223 final queue length
138834 total queue pushes
Completing instantiation... [15.870s CPU, 15.858s wall-clock]
Instantiating: [19.850s CPU, 19.842s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.059s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.059s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.009s wall-clock]
Choosing groups...
66 uncovered facts
Choosing groups: [0.040s CPU, 0.039s wall-clock]
Building translation key... [0.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.240s CPU, 0.238s 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.030s CPU, 0.027s 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.210s CPU, 17.206s 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.710s CPU, 8.700s 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.416s 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.580s CPU, 5.971s wall-clock]
Done! [55.720s CPU, 56.074s wall-clock]
planner.py version 0.0.1
Time: 12.88s
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: 86.12s
Memory: 7179MB (+6369MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 230.392s (Solving: 51.74s 1st Model: 51.56s Unsat: 0.00s)
CPU Time : 228.632s
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.24s
Memory: 8768MB (+1589MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 51.76s
Memory: 8948MB (+180MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 1666.962s (Solving: 1440.04s 1st Model: 51.56s Unsat: 0.00s)
CPU Time : 1665.784s
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 396.33 MEM 9555288 MAXMEM 9555288 STALE 1 MAXMEM_RSS 9061368
<time name="ALL">396220</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.020s CPU, 0.026s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.009s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.018s wall-clock]
Preparing model... [0.020s CPU, 0.018s wall-clock]
Generated 32 rules.
Computing model... [3.890s CPU, 3.892s wall-clock]
42827 relevant atoms
4396 auxiliary atoms
47223 final queue length
138834 total queue pushes
Completing instantiation... [15.840s CPU, 15.839s wall-clock]
Instantiating: [19.830s CPU, 19.818s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.058s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.062s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
66 uncovered facts
Choosing groups: [0.030s CPU, 0.038s wall-clock]
Building translation key... [0.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.250s CPU, 0.251s 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.030s CPU, 0.025s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.780s CPU, 0.782s wall-clock]
Translating task: [17.170s CPU, 17.175s 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.710s CPU, 8.699s 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.420s CPU, 3.416s 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.600s CPU, 5.985s wall-clock]
Done! [55.680s CPU, 56.051s wall-clock]
planner.py version 0.0.1
Time: 12.73s
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.77s
Memory: 7179MB (+6369MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 283.013s (Solving: 105.48s 1st Model: 105.30s Unsat: 0.00s)
CPU Time : 281.464s
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.01s
Memory: 8704MB (+1525MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 51.77s
Memory: 8887MB (+183MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 2
Time : 1482.661s (Solving: 1256.93s 1st Model: 105.30s Unsat: 0.00s)
CPU Time : 1481.604s
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_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/tidybot-sequential-satisficing/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-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 60
- -T 60
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: 10
ipc: ipc-2011
planLength: 60
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_10.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': 10, 'planLength': 60}
# 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-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 60', '-T 60']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.02 MEM 6508436 MAXMEM 6508436 STALE 0 MAXMEM_RSS 6258468
<time name="ALL">899970</time>

253
gc-ta1-tt1-single-shot/ipc-2011_tidybot-sequential-satisficing_10.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-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/tidybot-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-10.pddl
Parsing...
Parsing: [0.060s CPU, 0.067s wall-clock]
Normalizing task... [0.010s CPU, 0.006s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.013s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.210s CPU, 0.209s wall-clock]
Preparing model... [0.070s CPU, 0.067s wall-clock]
Generated 400 rules.
Computing model... [9.290s CPU, 9.292s wall-clock]
45717 relevant atoms
39821 auxiliary atoms
85538 final queue length
236723 total queue pushes
Completing instantiation... [27.460s CPU, 27.443s wall-clock]
Instantiating: [37.140s CPU, 37.124s wall-clock]
Computing fact groups...
Finding invariants...
41 initial candidates
Finding invariants: [0.840s CPU, 0.844s wall-clock]
Checking invariant weight... [0.000s 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...
471 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.020s CPU, 0.019s wall-clock]
Computing fact groups: [0.900s CPU, 0.901s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.004s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.006s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [1.680s CPU, 1.674s wall-clock]
Translating task: [32.250s CPU, 32.226s wall-clock]
124973 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
2 propositions removed
Detecting unreachable propositions: [14.620s CPU, 14.621s wall-clock]
Reordering and filtering variables...
473 of 473 variables necessary.
1 of 3 mutex groups necessary.
45042 of 45042 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [10.810s CPU, 10.805s wall-clock]
Translator variables: 473
Translator derived variables: 0
Translator facts: 949
Translator goal facts: 4
Translator mutex groups: 1
Translator total mutex groups size: 2
Translator operators: 45042
Translator axioms: 0
Translator task size: 549492
Translator peak memory: 328868 KB
Writing output... [9.010s CPU, 9.245s wall-clock]
Done! [105.790s CPU, 105.987s wall-clock]
planner.py version 0.0.1
Time: 27.14s
Memory: 1694MB
Iteration 1
Queue: [(0,60,0,True)]
Grounded Until: 0
Expected Memory: 1694MB
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]), ('check', [60])]
Grounding Time: 55.68s
Memory: 4909MB (+3215MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 119.121s (Solving: 0.80s 1st Model: 0.71s Unsat: 0.00s)
CPU Time : 114.292s
Choices : 14619 (Domain: 12003)
Conflicts : 191 (Analyzed: 191)
Restarts : 0
Model-Level : 3387.0
Problems : 1 (Average Length: 62.00 Splits: 0)
Lemmas : 191 (Deleted: 0)
Binary : 15 (Ratio: 7.85%)
Ternary : 10 (Ratio: 5.24%)
Conflict : 191 (Average Length: 84.9 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 191 (Average: 59.78 Max: 1325 Sum: 11418)
Executed : 189 (Average: 59.13 Max: 1325 Sum: 11294 Ratio: 98.91%)
Bounded : 2 (Average: 62.00 Max: 62 Sum: 124 Ratio: 1.09%)
Rules : 0
Atoms : 0
Bodies : 0
Tight : Yes
Variables : 1431063 (Eliminated: 0 Frozen: 0)
Constraints : 18916708 (Binary: 99.6% Ternary: 0.2% Other: 0.2%)
Memory Peak : 5733MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 4.04s
Memory: 5669MB (+760MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 53.02s
Memory: 5739MB (+70MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 433.391s (Solving: 282.28s 1st Model: 0.71s Unsat: 0.00s)
CPU Time : 428.696s
Choices : 232801 (Domain: 211231)
Conflicts : 27305 (Analyzed: 27305)
Restarts : 100 (Average: 273.05 Last: 197)
Model-Level : 3387.0
Problems : 2 (Average Length: 62.00 Splits: 0)
Lemmas : 27305 (Deleted: 21621)
Binary : 159 (Ratio: 0.58%)
Ternary : 70 (Ratio: 0.26%)
Conflict : 27305 (Average Length: 4476.5 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 27305 (Average: 8.08 Max: 1464 Sum: 220713)
Executed : 27267 (Average: 8.00 Max: 1464 Sum: 218437 Ratio: 98.97%)
Bounded : 38 (Average: 59.89 Max: 62 Sum: 2276 Ratio: 1.03%)
Rules : 5295962 (Original: 5294900)
Atoms : 119623
Bodies : 3043678 (Original: 3042806)
Count : 20125 (Original: 20275)
Equivalences : 1047014 (Atom=Atom: 334 Body=Body: 0 Other: 1046680)
Tight : Yes
Variables : 1473056 (Eliminated: 0 Frozen: 1045552)
Constraints : 24160368 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 6079MB
Max. Length : 0 steps
Models : 1
[endof: stats after solve call]
Solving Time: 285.37s
Memory: 6015MB (+276MB)
UNKNOWN
Iteration Time: 425.56s
Iteration 2
Queue: [(0,60,1,True)]
Grounded Until: 60
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 716.235s (Solving: 564.57s 1st Model: 0.71s Unsat: 0.00s)
CPU Time : 711.656s
Choices : 445767 (Domain: 411771)
Conflicts : 52612 (Analyzed: 52612)
Restarts : 200 (Average: 263.06 Last: 197)
Model-Level : 3387.0
Problems : 3 (Average Length: 62.00 Splits: 0)
Lemmas : 52612 (Deleted: 48677)
Binary : 173 (Ratio: 0.33%)
Ternary : 75 (Ratio: 0.14%)
Conflict : 52612 (Average Length: 7406.9 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 52612 (Average: 8.09 Max: 1464 Sum: 425393)
Executed : 52572 (Average: 8.04 Max: 1464 Sum: 422999 Ratio: 99.44%)
Bounded : 40 (Average: 59.85 Max: 62 Sum: 2394 Ratio: 0.56%)
Rules : 5295962 (Original: 5294900)
Atoms : 119623
Bodies : 3043678 (Original: 3042806)
Count : 20125 (Original: 20275)
Equivalences : 1047014 (Atom=Atom: 334 Body=Body: 0 Other: 1046680)
Tight : Yes
Variables : 1473056 (Eliminated: 0 Frozen: 1045552)
Constraints : 23855250 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 6365MB
Max. Length : 60 steps
Models : 1
[endof: stats after solve call]
Solving Time: 282.98s
Memory: 6301MB (+286MB)
UNKNOWN
Iteration Time: 282.98s
Iteration 3
Queue: [(0,60,2,True)]
Grounded Until: 60
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 1049.271s (Solving: 897.25s 1st Model: 0.71s Unsat: 0.00s)
CPU Time : 1044.816s
Choices : 768849 (Domain: 720251)
Conflicts : 81018 (Analyzed: 81018)
Restarts : 300 (Average: 270.06 Last: 197)
Model-Level : 3387.0
Problems : 4 (Average Length: 62.00 Splits: 0)
Lemmas : 81018 (Deleted: 76841)
Binary : 195 (Ratio: 0.24%)
Ternary : 81 (Ratio: 0.10%)
Conflict : 81018 (Average Length: 8571.1 Ratio: 100.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 81018 (Average: 9.14 Max: 1464 Sum: 740375)
Executed : 80978 (Average: 9.11 Max: 1464 Sum: 737981 Ratio: 99.68%)
Bounded : 40 (Average: 59.85 Max: 62 Sum: 2394 Ratio: 0.32%)
Rules : 5295962 (Original: 5294900)
Atoms : 119623
Bodies : 3043678 (Original: 3042806)
Count : 20125 (Original: 20275)
Equivalences : 1047014 (Atom=Atom: 334 Body=Body: 0 Other: 1046680)
Tight : Yes
Variables : 1473056 (Eliminated: 0 Frozen: 1045552)
Constraints : 23855116 (Binary: 99.5% Ternary: 0.2% Other: 0.3%)
Memory Peak : 6510MB
Max. Length : 60 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.02 MEM 8296260 MAXMEM 8323028 STALE 0 MAXMEM_RSS 8057380
<time name="ALL">899950</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.090s CPU, 0.088s wall-clock]
Normalizing task... [0.000s CPU, 0.007s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.016s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.210s CPU, 0.214s wall-clock]
Preparing model... [0.080s CPU, 0.080s wall-clock]
Generated 400 rules.
Computing model... [6.650s CPU, 6.652s wall-clock]
31250 relevant atoms
32261 auxiliary atoms
63511 final queue length
163391 total queue pushes
Completing instantiation... [17.910s CPU, 17.894s wall-clock]
Instantiating: [24.940s CPU, 24.929s wall-clock]
Computing fact groups...
Finding invariants...
41 initial candidates
Finding invariants: [0.620s CPU, 0.621s wall-clock]
Checking invariant weight... [0.000s 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.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.660s CPU, 0.666s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.004s 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.122s wall-clock]
Translating task: [21.380s CPU, 21.378s 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.550s CPU, 10.533s 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.860s CPU, 6.868s 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: 232368 KB
Writing output... [6.120s CPU, 6.518s wall-clock]
Done! [71.290s CPU, 71.665s wall-clock]
planner.py version 0.0.1
Time: 17.37s
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.55s
Memory: 5811MB (+4662MB)
Unblocking actions...
Solving...
[start: stats after solve call]
Models : 1+
Calls : 1
Time : 131.984s (Solving: 1.09s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 128.756s
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.56s
Memory: 6731MB (+920MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time: 51.70s
Memory: 6755MB (+24MB)
Solving...
[start: stats after solve call]
Models : 0+
Calls : 2
Time : 533.221s (Solving: 361.27s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 530.160s
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: 366.00s
Memory: 8026MB (+1271MB)
UNKNOWN
Iteration Time: 529.38s
Iteration 2
Queue: [(0,115,1,True)]
Grounded Until: 115
Solving...
[start: stats after solve call]
Models : 0+
Calls : 3
Time : 803.236s (Solving: 630.61s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 800.292s
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: 270.14s
Memory: 8034MB (+8MB)
UNKNOWN
Iteration Time: 270.14s
Iteration 3
Queue: [(0,115,2,True)]
Grounded Until: 115
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN
INTERRUPTED : 1
Models : 0+
Calls : 4
Time : 1071.025s (Solving: 897.91s 1st Model: 0.96s Unsat: 0.00s)
CPU Time : 1068.180s
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