#####TASK#####
## name
elevators_inst_mdp__1
## horizon
40
## discount factor
1
## number of action fluents
4
## number of det state fluents
7
## number of prob state fluents
2
## number of preconds
0
## number of actions
5
## number of hashing functions
10
## initial state
1 0 0 1 1 0 0 0 0 
## 1 if task is deterministic
0
## 1 if state hashing possible
1
## 1 if kleene state hashing possible
1
## method to calculate the final reward
NOOP
## 1 if reward formula allows reward lock detection and a reward lock was found during task analysis
0
## 1 if an unreasonable action was detected
1
## 1 if an unreasonable action was detected in the determinization
1
## number of states that were encountered during task analysis
78160
## number of unique states that were encountered during task analysis
144
## number of states with only one applicable reasonable action that were encountered during task analysis
0
## number of unique states with only one applicable reasonable action that were encountered during task analysis
0


#####ACTION FLUENTS#####
## index
0
## name
close-door(e0)
## number of values
2
## values
0 false
1 true

## index
1
## name
move-current-dir(e0)
## number of values
2
## values
0 false
1 true

## index
2
## name
open-door-going-down(e0)
## number of values
2
## values
0 false
1 true

## index
3
## name
open-door-going-up(e0)
## number of values
2
## values
0 false
1 true



#####DET STATE FLUENTS AND CPFS#####
## index
0
## name
elevator-at-floor(e0, f0)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(3)) ~($a(1))) : $s(0)) (and($a(1) ~($s(4)) $s(1)) : $c(1)) (and($a(1) $s(4) ~($s(0))) : $s(0)) (and($a(1) ~($s(4))) : $s(0)) ($c(1) : $c(0)) )
## hash index
0
## caching type 
VECTOR
## precomputed results
32
0 0
1 0
2 1
3 1
4 0
5 0
6 1
7 1
8 0
9 0
10 1
11 1
12 0
13 1
14 1
15 1
16 0
17 0
18 1
19 1
20 0
21 0
22 1
23 1
24 0
25 0
26 1
27 0
28 0
29 0
30 1
31 0
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 1
4 0

## index
1
## name
elevator-at-floor(e0, f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(3)) ~($a(1))) : $s(1)) (and($a(1) $s(4) $s(0)) : $c(1)) (and($a(1) ~($s(4)) $s(2)) : $c(1)) (and($a(1) $s(4) ~($s(1))) : $s(1)) (and($a(1) ~($s(4)) ~($s(1))) : $s(1)) ($c(1) : $c(0)) )
## hash index
1
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 1
4 0

## index
2
## name
elevator-at-floor(e0, f2)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(3)) ~($a(1))) : $s(2)) (and($a(1) $s(4) $s(1)) : $c(1)) (and($a(1) $s(4)) : $s(2)) (and($a(1) ~($s(4)) ~($s(2))) : $s(2)) ($c(1) : $c(0)) )
## hash index
2
## caching type 
VECTOR
## precomputed results
32
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 0
14 1
15 0
16 0
17 0
18 0
19 0
20 1
21 1
22 1
23 1
24 0
25 0
26 0
27 1
28 1
29 1
30 1
31 1
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 1
4 0

## index
3
## name
elevator-closed(e0)
## number of values
2
## values
0 false
1 true
## formula
or(and($s(3) ~($a(3)) ~($a(2))) $a(0))
## hash index
3
## caching type 
VECTOR
## precomputed results
8
0 0
1 0
2 0
3 1
4 1
5 0
6 0
7 1
## kleene caching type
VECTOR
## kleene caching vec size
12
## action hash keys
0 0
1 1
2 2
3 0
4 3

## index
4
## name
elevator-dir-up(e0)
## number of values
2
## values
0 false
1 true
## formula
switch( ($a(3) : $c(1)) ($a(2) : $c(0)) ($c(1) : $s(4)) )
## hash index
4
## caching type 
VECTOR
## precomputed results
6
0 0
1 1
2 0
3 1
4 1
5 0
## kleene caching type
VECTOR
## kleene caching vec size
9
## action hash keys
0 0
1 1
2 2
3 0
4 0

## index
5
## name
person-in-elevator-going-down(e0)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(5) : ~($s(0))) ($c(1) : and($s(1) ~($s(4)) ~($s(3)) $s(7))) )
## hash index
5
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 1
17 0
18 1
19 0
20 1
21 0
22 1
23 0
24 1
25 0
26 1
27 0
28 1
29 0
30 1
31 0
32 0
33 0
34 1
35 1
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 1
49 0
50 1
51 0
52 1
53 0
54 1
55 0
56 1
57 0
58 1
59 0
60 1
61 0
62 1
63 0
## kleene caching type
VECTOR
## kleene caching vec size
729
## action hash keys
0 0
1 0
2 0
3 0
4 0

## index
6
## name
person-in-elevator-going-up(e0)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(6) : ~($s(2))) ($c(1) : and($s(1) $s(4) ~($s(3)) $s(8))) )
## hash index
6
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 1
17 1
18 0
19 0
20 1
21 1
22 0
23 0
24 1
25 1
26 0
27 0
28 1
29 1
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
38 0
39 0
40 0
41 1
42 0
43 1
44 0
45 0
46 0
47 0
48 1
49 1
50 0
51 0
52 1
53 1
54 0
55 0
56 1
57 1
58 0
59 0
60 1
61 1
62 0
63 0
## kleene caching type
VECTOR
## kleene caching vec size
729
## action hash keys
0 0
1 0
2 0
3 0
4 0



#####PROB STATE FLUENTS AND CPFS#####
## index
0
## name
person-waiting-down(f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(7) ~(and($s(1) ~($s(4)) ~($s(3))))) : $c(1)) ($c(1) : Bernoulli($c(0.14635538))) )
## determinized formula
and($s(7) ~(and($s(1) ~($s(4)) ~($s(3)))))
## hash index
7
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
16
0 0 2 0 0.85364462 1 0.14635538
1 0 2 0 0.85364462 1 0.14635538
2 0 2 0 0.85364462 1 0.14635538
3 0 2 0 0.85364462 1 0.14635538
4 0 2 0 0.85364462 1 0.14635538
5 0 2 0 0.85364462 1 0.14635538
6 0 2 0 0.85364462 1 0.14635538
7 0 2 0 0.85364462 1 0.14635538
8 1 1 1 1
9 0 2 0 0.85364462 1 0.14635538
10 1 1 1 1
11 1 1 1 1
12 1 1 1 1
13 1 1 1 1
14 1 1 1 1
15 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
81
## action hash keys
0 0
1 0
2 0
3 0
4 0

## index
1
## name
person-waiting-up(f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(8) ~(and($s(1) $s(4) ~($s(3))))) : $c(1)) ($c(1) : Bernoulli($c(0.14635538))) )
## determinized formula
and($s(8) ~(and($s(1) $s(4) ~($s(3)))))
## hash index
8
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
16
0 0 2 0 0.85364462 1 0.14635538
1 0 2 0 0.85364462 1 0.14635538
2 0 2 0 0.85364462 1 0.14635538
3 0 2 0 0.85364462 1 0.14635538
4 0 2 0 0.85364462 1 0.14635538
5 0 2 0 0.85364462 1 0.14635538
6 0 2 0 0.85364462 1 0.14635538
7 0 2 0 0.85364462 1 0.14635538
8 1 1 1 1
9 1 1 1 1
10 1 1 1 1
11 1 1 1 1
12 1 1 1 1
13 0 2 0 0.85364462 1 0.14635538
14 1 1 1 1
15 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
81
## action hash keys
0 0
1 0
2 0
3 0
4 0



#####REWARD#####
## formula
+(*(and($s(6) $s(4)) $c(-0.75)) *(and($s(5) ~($s(4))) $c(-0.75)) *(and($s(6) ~($s(4))) $c(-3)) *(and($s(5) $s(4)) $c(-3)) -(-($c(0) $s(8)) $s(7)))
## min
-5.75
## max
0
## independent from actions
1
## hash index
9
## caching type
VECTOR
## precomputed results
32
0 0
1 0
2 -0.75
3 -3
4 -3
5 -0.75
6 -3.75
7 -3.75
8 -1
9 -1
10 -1.75
11 -4
12 -4
13 -1.75
14 -4.75
15 -4.75
16 -1
17 -1
18 -1.75
19 -4
20 -4
21 -1.75
22 -4.75
23 -4.75
24 -2
25 -2
26 -2.75
27 -5
28 -5
29 -2.75
30 -5.75
31 -5.75
## kleene caching type
VECTOR
## kleene caching vec size
243
## action hash keys
0 0
1 0
2 0
3 0
4 0


#####PRECONDITIONS#####


#####ACTION STATES#####
## index
0
## state
0 0 0 0 
## relevant preconditions
0


## index
1
## state
0 0 0 1 
## relevant preconditions
0


## index
2
## state
0 0 1 0 
## relevant preconditions
0


## index
3
## state
0 1 0 0 
## relevant preconditions
0


## index
4
## state
1 0 0 0 
## relevant preconditions
0



#####HASH KEYS OF DETERMINISTIC STATE FLUENTS#####
## index
0
## state hash key (for each value in the domain)
0 1
## kleene state hash key base
1
## state fluent hash keys (first line is the number of keys)
3
0 2
1 2
5 1
## kleene state fluent hash keys (first line is the number of keys)
3
0 2
1 2
5 1

## index
1
## state hash key (for each value in the domain)
0 2
## kleene state hash key base
3
## state fluent hash keys (first line is the number of keys)
7
0 4
1 4
2 2
5 2
6 1
7 1
8 1
## kleene state fluent hash keys (first line is the number of keys)
7
0 6
1 6
2 2
5 3
6 1
7 1
8 1

## index
2
## state hash key (for each value in the domain)
0 4
## kleene state hash key base
9
## state fluent hash keys (first line is the number of keys)
3
1 8
2 4
6 2
## kleene state fluent hash keys (first line is the number of keys)
3
1 18
2 6
6 3

## index
3
## state hash key (for each value in the domain)
0 8
## kleene state hash key base
27
## state fluent hash keys (first line is the number of keys)
8
0 8
1 16
2 8
3 4
5 4
6 4
7 2
8 2
## kleene state fluent hash keys (first line is the number of keys)
8
0 18
1 54
2 18
3 4
5 9
6 9
7 3
8 3

## index
4
## state hash key (for each value in the domain)
0 16
## kleene state hash key base
81
## state fluent hash keys (first line is the number of keys)
9
0 16
1 32
2 16
4 3
5 8
6 8
7 4
8 4
9 1
## kleene state fluent hash keys (first line is the number of keys)
9
0 54
1 162
2 54
4 3
5 27
6 27
7 9
8 9
9 1

## index
5
## state hash key (for each value in the domain)
0 32
## kleene state hash key base
243
## state fluent hash keys (first line is the number of keys)
2
5 16
9 2
## kleene state fluent hash keys (first line is the number of keys)
2
5 81
9 3

## index
6
## state hash key (for each value in the domain)
0 64
## kleene state hash key base
729
## state fluent hash keys (first line is the number of keys)
2
6 16
9 4
## kleene state fluent hash keys (first line is the number of keys)
2
6 81
9 9


#####HASH KEYS OF PROBABILISTIC STATE FLUENTS#####
## index
0
## state hash key (for each value in the domain)
0 128
## kleene state hash key base
2187
## state fluent hash keys (first line is the number of keys)
3
5 32
7 8
9 8
## kleene state fluent hash keys (first line is the number of keys)
3
5 243
7 27
9 27

## index
1
## state hash key (for each value in the domain)
0 256
## kleene state hash key base
6561
## state fluent hash keys (first line is the number of keys)
3
6 32
8 8
9 16
## kleene state fluent hash keys (first line is the number of keys)
3
6 243
8 27
9 81



#####TRAINING SET#####
144
1 0 0 0 0 0 0 0 0 
0 1 0 0 0 0 0 0 0 
0 0 1 0 0 0 0 0 0 
1 0 0 1 0 0 0 0 0 
0 1 0 1 0 0 0 0 0 
0 0 1 1 0 0 0 0 0 
1 0 0 0 1 0 0 0 0 
0 1 0 0 1 0 0 0 0 
0 0 1 0 1 0 0 0 0 
1 0 0 1 1 0 0 0 0 
0 1 0 1 1 0 0 0 0 
0 0 1 1 1 0 0 0 0 
0 1 0 0 0 1 0 0 0 
0 0 1 0 0 1 0 0 0 
1 0 0 1 0 1 0 0 0 
0 1 0 1 0 1 0 0 0 
0 0 1 1 0 1 0 0 0 
0 1 0 0 1 1 0 0 0 
0 0 1 0 1 1 0 0 0 
0 1 0 1 1 1 0 0 0 
0 0 1 1 1 1 0 0 0 
1 0 0 0 0 0 1 0 0 
0 1 0 0 0 0 1 0 0 
1 0 0 1 0 0 1 0 0 
0 1 0 1 0 0 1 0 0 
1 0 0 0 1 0 1 0 0 
0 1 0 0 1 0 1 0 0 
1 0 0 1 1 0 1 0 0 
0 1 0 1 1 0 1 0 0 
0 0 1 1 1 0 1 0 0 
0 1 0 0 0 1 1 0 0 
1 0 0 1 0 1 1 0 0 
0 1 0 1 0 1 1 0 0 
0 1 0 0 1 1 1 0 0 
0 1 0 1 1 1 1 0 0 
0 0 1 1 1 1 1 0 0 
1 0 0 0 0 0 0 1 0 
0 1 0 0 0 0 0 1 0 
0 0 1 0 0 0 0 1 0 
1 0 0 1 0 0 0 1 0 
0 1 0 1 0 0 0 1 0 
0 0 1 1 0 0 0 1 0 
1 0 0 0 1 0 0 1 0 
0 1 0 0 1 0 0 1 0 
0 0 1 0 1 0 0 1 0 
1 0 0 1 1 0 0 1 0 
0 1 0 1 1 0 0 1 0 
0 0 1 1 1 0 0 1 0 
0 1 0 0 0 1 0 1 0 
0 0 1 0 0 1 0 1 0 
1 0 0 1 0 1 0 1 0 
0 1 0 1 0 1 0 1 0 
0 0 1 1 0 1 0 1 0 
0 1 0 0 1 1 0 1 0 
0 0 1 0 1 1 0 1 0 
0 1 0 1 1 1 0 1 0 
0 0 1 1 1 1 0 1 0 
1 0 0 0 0 0 1 1 0 
0 1 0 0 0 0 1 1 0 
1 0 0 1 0 0 1 1 0 
0 1 0 1 0 0 1 1 0 
1 0 0 0 1 0 1 1 0 
0 1 0 0 1 0 1 1 0 
1 0 0 1 1 0 1 1 0 
0 1 0 1 1 0 1 1 0 
0 0 1 1 1 0 1 1 0 
0 1 0 0 0 1 1 1 0 
1 0 0 1 0 1 1 1 0 
0 1 0 1 0 1 1 1 0 
0 1 0 0 1 1 1 1 0 
0 1 0 1 1 1 1 1 0 
0 0 1 1 1 1 1 1 0 
1 0 0 0 0 0 0 0 1 
0 1 0 0 0 0 0 0 1 
0 0 1 0 0 0 0 0 1 
1 0 0 1 0 0 0 0 1 
0 1 0 1 0 0 0 0 1 
0 0 1 1 0 0 0 0 1 
1 0 0 0 1 0 0 0 1 
0 1 0 0 1 0 0 0 1 
0 0 1 0 1 0 0 0 1 
1 0 0 1 1 0 0 0 1 
0 1 0 1 1 0 0 0 1 
0 0 1 1 1 0 0 0 1 
0 1 0 0 0 1 0 0 1 
0 0 1 0 0 1 0 0 1 
1 0 0 1 0 1 0 0 1 
0 1 0 1 0 1 0 0 1 
0 0 1 1 0 1 0 0 1 
0 1 0 0 1 1 0 0 1 
0 0 1 0 1 1 0 0 1 
0 1 0 1 1 1 0 0 1 
0 0 1 1 1 1 0 0 1 
1 0 0 0 0 0 1 0 1 
0 1 0 0 0 0 1 0 1 
1 0 0 1 0 0 1 0 1 
0 1 0 1 0 0 1 0 1 
1 0 0 0 1 0 1 0 1 
0 1 0 0 1 0 1 0 1 
1 0 0 1 1 0 1 0 1 
0 1 0 1 1 0 1 0 1 
0 0 1 1 1 0 1 0 1 
0 1 0 0 0 1 1 0 1 
1 0 0 1 0 1 1 0 1 
0 1 0 1 0 1 1 0 1 
0 1 0 0 1 1 1 0 1 
0 1 0 1 1 1 1 0 1 
0 0 1 1 1 1 1 0 1 
1 0 0 0 0 0 0 1 1 
0 1 0 0 0 0 0 1 1 
0 0 1 0 0 0 0 1 1 
1 0 0 1 0 0 0 1 1 
0 1 0 1 0 0 0 1 1 
0 0 1 1 0 0 0 1 1 
1 0 0 0 1 0 0 1 1 
0 1 0 0 1 0 0 1 1 
0 0 1 0 1 0 0 1 1 
1 0 0 1 1 0 0 1 1 
0 1 0 1 1 0 0 1 1 
0 0 1 1 1 0 0 1 1 
0 1 0 0 0 1 0 1 1 
0 0 1 0 0 1 0 1 1 
1 0 0 1 0 1 0 1 1 
0 1 0 1 0 1 0 1 1 
0 0 1 1 0 1 0 1 1 
0 1 0 0 1 1 0 1 1 
0 0 1 0 1 1 0 1 1 
0 1 0 1 1 1 0 1 1 
0 0 1 1 1 1 0 1 1 
1 0 0 0 0 0 1 1 1 
0 1 0 0 0 0 1 1 1 
1 0 0 1 0 0 1 1 1 
0 1 0 1 0 0 1 1 1 
1 0 0 0 1 0 1 1 1 
0 1 0 0 1 0 1 1 1 
1 0 0 1 1 0 1 1 1 
0 1 0 1 1 0 1 1 1 
0 0 1 1 1 0 1 1 1 
0 1 0 0 0 1 1 1 1 
1 0 0 1 0 1 1 1 1 
0 1 0 1 0 1 1 1 1 
0 1 0 0 1 1 1 1 1 
0 1 0 1 1 1 1 1 1 
0 0 1 1 1 1 1 1 1 
