/home/linuxbuildslave/buildslaves/ailinux/ipc-prob-build-singularity-linux/build/tmp8C1U96 /home/linuxbuildslave/buildslaves/ailinux/ipc-prob-build-singularity-linux/build/tmp8C1U96 *************** RDDL-PARSER CALL WITH 600SEC *************** Parsing... Setting outcome pruning to 0.1 ...finished (0.00119495s). instantiating... Instantiating variables... ...finished (5.98431e-05) Instantiating CPFs... ...finished (0.00022006) Instantiating preconditions... ...finished (0.000715971) ...finished (0.00101113s). preprocessing... Preparing evaluatables... ...finished (0.000911951) Preparing actions... ...finished (0.000106096) Calculating CPF domain... ...finished (0.000380993) Finalizing evaluatables... ...finished (0.000106812) Computing determinization... ...finished (1.90735e-06) Preparing hash keys... ...finished (6.00815e-05) Precomputing evaluatables... ...finished (0.00106716) ...finished (0.00266504s). analyzing task... Creating training set with 76 candidates. ...finished (0.0978448s). writing output for instance crossing_traffic_demo_inst_ssp__1... ...finished (0.021874s). writing transition relations to json file... ...finished (0.00142002s). total time: 0.126061s RDDL-Parser took: 0.13408s learning... THTS: learning... DD_Heuristic: learning [25s (0.125%)] with /home/linuxbuildslave/buildslaves/ailinux/ipc-prob-build-singularity-linux/build/tmp8C1U96/crossing_traffic_demo_inst_ssp__1.json... Horizon: 65 Round to dezimal: 2 { "actions": { "move(x1, y1) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s1 || s3]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x1, y2) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s0 || s2 || s4]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x1, y3) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s1 || s5]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x2, y1) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s0 || s4 || s6]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x2, y2) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s1 || s3 || s5 || s7]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x2, y3) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s2 || s4 || s8]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x3, y1) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s3 || s7]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x3, y2) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s4 || s6 || s8]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==0])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "move(x3, y3) ": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "([s5 || s7]) * (([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==1])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" }, "noop": { "Tc": "(0 - ((([s1 && s9] + [s4 && s10] + [s7 && s11]) * -10000) - 1))", "Tr": "(([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s0_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s0_primed==s0])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s1_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s1_primed==s1])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s2_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s2_primed==s2])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s3_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s3_primed==s3])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s4_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s4_primed==s4])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s5_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s5_primed==s5])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s6_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s6_primed==s6])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s7_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s7_primed==s7])) * ([[s1 && s9] || [s4 && s10] || [s7 && s11]] * ([s8_primed==0]) + [![[s1 && s9] || [s4 && s10] || [s7 && s11]]] * ([s8_primed==s8])) * (1 * ([s9_primed==s10])) * (1 * ([s10_primed==s11])) * (1 * ([s11_primed==0] * (1) + [s11_primed==1] * (1))))" } }, "goal_state": "[s8 || [![s0 || s1 || s2 || s3 || s4 || s5 || s6 || s7 || s8]]]", "initial_state": { "s0": 0, "s1": 0, "s10": 0, "s11": 0, "s2": 0, "s3": 0, "s4": 0, "s5": 0, "s6": 1, "s7": 0, "s8": 0, "s9": 0 }, "variables": { "s0": { "domain": 2 }, "s1": { "domain": 2 }, "s10": { "domain": 2 }, "s11": { "domain": 2 }, "s2": { "domain": 2 }, "s3": { "domain": 2 }, "s4": { "domain": 2 }, "s5": { "domain": 2 }, "s6": { "domain": 2 }, "s7": { "domain": 2 }, "s8": { "domain": 2 }, "s9": { "domain": 2 } } } Original ordering: s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 Build ast.....done! Compute fan-in...done! Fan-in ordering: s8 s6 s5 s3 s2 s0 s1 s9 s4 s10 s7 s11 [s0 : 5] [s1 : 6] [s2 : 4] [s3 : 3] [s4 : 8] [s5 : 2] [s6 : 1] [s7 : 10] [s8 : 0] [s9 : 7] [s10 : 9] [s11 : 11] Num variables: 12 => 12 [ incl. primed: 24 ] move(x1, y1) ......overall time: 0.14 => Time left: 24.86s move(x1, y2) ......overall time: 0.26 => Time left: 24.74s move(x1, y3) ......overall time: 0.39 => Time left: 24.61s move(x2, y1) ......overall time: 0.52 => Time left: 24.48s move(x2, y2) ......overall time: 0.64 => Time left: 24.36s move(x2, y3) ......overall time: 0.77 => Time left: 24.23s move(x3, y1) ......overall time: 0.9 => Time left: 24.1s move(x3, y2) ......overall time: 1.02 => Time left: 23.98s move(x3, y3) ......overall time: 1.15 => Time left: 23.85s noop......overall time: 1.28 => Time left: 23.72s Plan step 1... ...overall time: 1.28 => Time left: 23.72s Plan step 2... ...overall time: 1.28 => Time left: 23.72s Plan step 3... ...overall time: 1.28 => Time left: 23.72s Plan step 4... ...overall time: 1.28 => Time left: 23.72s Plan step 5... ...overall time: 1.28 => Time left: 23.72s Plan step 6... ...overall time: 1.28 => Time left: 23.72s Plan step 7... ...overall time: 1.28 => Time left: 23.72s Plan step 8... ...overall time: 1.28 => Time left: 23.72s State space explored!!! IDS: learning... IDS: Search Depth 2: 7.5956e-05 / 76 = 9.99421e-07 IDS: Search Depth 3: 0.000190358 / 76 = 2.50471e-06 IDS: Search Depth 4: 0.000304864 / 76 = 4.01137e-06 IDS: Search Depth 5: 0.000437667 / 76 = 5.75878e-06 IDS: Search Depth 6: 0.000545537 / 76 = 7.17812e-06 IDS: Search Depth 7: 0.000657097 / 76 = 8.64601e-06 IDS: Search Depth 8: 0.00077186 / 76 = 1.01561e-05 IDS: Search Depth 9: 0.000879265 / 76 = 1.15693e-05 IDS: Search Depth 10: 0.000981967 / 76 = 1.29206e-05 IDS: Search Depth 11: 0.00108996 / 76 = 1.43416e-05 IDS: Search Depth 12: 0.00120937 / 76 = 1.59127e-05 IDS: Search Depth 13: 0.00131502 / 76 = 1.73029e-05 IDS: Search Depth 14: 0.00141513 / 76 = 1.86201e-05 IDS: Search Depth 15: 0.00153411 / 76 = 2.01856e-05 IDS: Search Depth 16: 0.00163757 / 76 = 2.1547e-05 IDS: Search Depth 17: 0.00174056 / 76 = 2.29021e-05 IDS: Search Depth 18: 0.00184186 / 76 = 2.42349e-05 IDS: Search Depth 19: 0.00194207 / 76 = 2.55535e-05 IDS: Search Depth 20: 0.00205301 / 76 = 2.70134e-05 IDS: Search Depth 21: 0.00215148 / 76 = 2.83089e-05 IDS: Search Depth 22: 0.00225355 / 76 = 2.96519e-05 IDS: Search Depth 23: 0.00236565 / 76 = 3.11269e-05 IDS: Search Depth 24: 0.00248806 / 76 = 3.27376e-05 IDS: Search Depth 25: 0.00259357 / 76 = 3.41259e-05 IDS: Search Depth 26: 0.00269886 / 76 = 3.55113e-05 IDS: Search Depth 27: 0.00280108 / 76 = 3.68563e-05 IDS: Search Depth 28: 0.00291895 / 76 = 3.84072e-05 IDS: Search Depth 29: 0.00302775 / 76 = 3.98388e-05 IDS: Search Depth 30: 0.00312784 / 76 = 4.11558e-05 IDS: Search Depth 31: 0.00323204 / 76 = 4.25269e-05 IDS: Search Depth 32: 0.00333736 / 76 = 4.39127e-05 IDS: Search Depth 33: 0.00344016 / 76 = 4.52653e-05 IDS: Search Depth 34: 0.00355244 / 76 = 4.67426e-05 IDS: Search Depth 35: 0.00365576 / 76 = 4.8102e-05 IDS: Search Depth 36: 0.00375864 / 76 = 4.94558e-05 IDS: Search Depth 37: 0.00385629 / 76 = 5.07407e-05 IDS: Search Depth 38: 0.00395183 / 76 = 5.19978e-05 IDS: Search Depth 39: 0.00404947 / 76 = 5.32825e-05 IDS: Search Depth 40: 0.00415134 / 76 = 5.46229e-05 IDS: Search Depth 41: 0.00425143 / 76 = 5.59399e-05 IDS: Search Depth 42: 0.00435232 / 76 = 5.72673e-05 IDS: Search Depth 43: 0.00445363 / 76 = 5.86003e-05 IDS: Search Depth 44: 0.00455557 / 76 = 5.99417e-05 IDS: Search Depth 45: 0.00465727 / 76 = 6.12798e-05 IDS: Search Depth 46: 0.00476015 / 76 = 6.26335e-05 IDS: Search Depth 47: 0.00486176 / 76 = 6.39705e-05 IDS: Search Depth 48: 0.00496958 / 76 = 6.53892e-05 IDS: Search Depth 49: 0.00507084 / 76 = 6.67216e-05 IDS: Search Depth 50: 0.00517579 / 76 = 6.81024e-05 IDS: Search Depth 51: 0.00527478 / 76 = 6.94051e-05 IDS: Search Depth 52: 0.00537629 / 76 = 7.07406e-05 IDS: Search Depth 53: 0.00547711 / 76 = 7.20672e-05 IDS: Search Depth 54: 0.00560024 / 76 = 7.36874e-05 IDS: Search Depth 55: 0.00570144 / 76 = 7.5019e-05 IDS: Search Depth 56: 0.00579956 / 76 = 7.631e-05 IDS: Search Depth 57: 0.00589461 / 76 = 7.75607e-05 IDS: Search Depth 58: 0.0059927 / 76 = 7.88513e-05 IDS: Search Depth 59: 0.00611078 / 76 = 8.0405e-05 IDS: Search Depth 60: 0.00620942 / 76 = 8.17029e-05 IDS: Search Depth 61: 0.00630501 / 76 = 8.29606e-05 IDS: Search Depth 62: 0.00641569 / 76 = 8.44169e-05 IDS: Search Depth 63: 0.00653628 / 76 = 8.60037e-05 IDS: Search Depth 64: 0.00665178 / 76 = 8.75234e-05 IDS: Search Depth 65: 0.00677347 / 76 = 8.91246e-05 IDS: Setting max search depth to 65! IDS: ...finished Reset Det Task. ... finished THTS: ...finished ...finished (1.35668s). Final task: ----------------Actions--------------- Action fluents: move(x1, y1) move(x1, y2) move(x1, y3) move(x2, y1) move(x2, y2) move(x2, y3) move(x3, y1) move(x3, y2) move(x3, y3) --------------- Legal Action Combinations: noop() : Index : 0 Relevant preconditions: --------------- move(x3, y3) : Index : 1 Relevant preconditions: Precond 8 --------------- move(x3, y2) : Index : 2 Relevant preconditions: Precond 7 --------------- move(x3, y1) : Index : 3 Relevant preconditions: Precond 6 --------------- move(x2, y3) : Index : 4 Relevant preconditions: Precond 5 --------------- move(x2, y2) : Index : 5 Relevant preconditions: Precond 4 --------------- move(x2, y1) : Index : 6 Relevant preconditions: Precond 3 --------------- move(x1, y3) : Index : 7 Relevant preconditions: Precond 2 --------------- move(x1, y2) : Index : 8 Relevant preconditions: Precond 1 --------------- move(x1, y1) : Index : 9 Relevant preconditions: Precond 0 --------------- -----------------CPFs----------------- agent-at(x1, y1) HashIndex: 0, deterministic, caching in vectors, Kleene caching in vectors of size 21870. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x1, y1) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x1, y1)) Domain: false true HashKeyBase: 0: 0, 1: 1 KleeneHashKeyBase: 1 -------------- agent-at(x1, y2) HashIndex: 1, deterministic, caching in vectors, Kleene caching in vectors of size 7290. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x1, y2) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x1, y2)) Domain: false true HashKeyBase: 0: 0, 1: 2 KleeneHashKeyBase: 3 -------------- agent-at(x1, y3) HashIndex: 2, deterministic, caching in vectors, Kleene caching in vectors of size 21870. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x1, y3) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x1, y3)) Domain: false true HashKeyBase: 0: 0, 1: 4 KleeneHashKeyBase: 9 -------------- agent-at(x2, y1) HashIndex: 3, deterministic, caching in vectors, Kleene caching in vectors of size 21870. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x2, y1) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x2, y1)) Domain: false true HashKeyBase: 0: 0, 1: 8 KleeneHashKeyBase: 27 -------------- agent-at(x2, y2) HashIndex: 4, deterministic, caching in vectors, Kleene caching in vectors of size 7290. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x2, y2) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x2, y2)) Domain: false true HashKeyBase: 0: 0, 1: 16 KleeneHashKeyBase: 81 -------------- agent-at(x2, y3) HashIndex: 5, deterministic, caching in vectors, Kleene caching in vectors of size 21870. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x2, y3) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x2, y3)) Domain: false true HashKeyBase: 0: 0, 1: 32 KleeneHashKeyBase: 243 -------------- agent-at(x3, y1) HashIndex: 6, deterministic, caching in vectors, Kleene caching in vectors of size 21870. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x3, y1) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x3, y1)) Domain: false true HashKeyBase: 0: 0, 1: 64 KleeneHashKeyBase: 729 -------------- agent-at(x3, y2) HashIndex: 7, deterministic, caching in vectors, Kleene caching in vectors of size 7290. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x3, y2) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x3, y2)) Domain: false true HashKeyBase: 0: 0, 1: 128 KleeneHashKeyBase: 2187 -------------- agent-at(x3, y3) HashIndex: 8, deterministic, caching in vectors, Kleene caching in vectors of size 21870. Action Hash Key Map: move(x3, y3) : 1 move(x3, y2) : 2 move(x3, y1) : 3 move(x2, y3) : 4 move(x2, y2) : 5 move(x2, y1) : 6 move(x1, y3) : 7 move(x1, y2) : 8 move(x1, y1) : 9 Formula: case (or (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) then 0 case move(x3, y3) then 1 case 1 then (and (not move(x1, y1)) (not move(x1, y2)) (not move(x1, y3)) (not move(x2, y1)) (not move(x2, y2)) (not move(x2, y3)) (not move(x3, y1)) (not move(x3, y2)) (not move(x3, y3)) agent-at(x3, y3)) Domain: false true HashKeyBase: 0: 0, 1: 256 KleeneHashKeyBase: 6561 -------------- obstacle-at(x1, y2) HashIndex: 9, deterministic, caching in vectors, Kleene caching in vectors of size 3. Action Hash Key Map: Formula: obstacle-at(x2, y2) Domain: false true HashKeyBase: 0: 0, 1: 512 KleeneHashKeyBase: 19683 -------------- obstacle-at(x2, y2) HashIndex: 10, deterministic, caching in vectors, Kleene caching in vectors of size 3. Action Hash Key Map: Formula: obstacle-at(x3, y2) Domain: false true HashKeyBase: 0: 0, 1: 1024 KleeneHashKeyBase: 59049 -------------- obstacle-at(x3, y2) HashIndex: 11, probabilistic, caching in vectors, Kleene caching in vectors of size 1. Action Hash Key Map: Formula: Bernoulli(0.3) Determinized formula: 0 Domain: false true HashKeyBase: 0: 0, 1: 2048 KleeneHashKeyBase: 177147 -------------- Reward CPF: Reward HashIndex: 12, deterministic, caching in vectors, Kleene caching in vectors of size 729. Action Hash Key Map: Formula: (- (* (+ (and agent-at(x1, y2) obstacle-at(x1, y2)) (and agent-at(x2, y2) obstacle-at(x2, y2)) (and agent-at(x3, y2) obstacle-at(x3, y2)) ) -10000) 1) Is action independent: 1 ------State Fluent Hash Key Map------- a change of deterministic state fluent 0 influences variables 0 (10) 13 (1) 15 (2) 17 (2) a change of deterministic state fluent 1 influences variables 0 (20) 1 (10) 2 (10) 3 (10) 4 (10) 5 (10) 6 (10) 7 (10) 8 (10) 12 (1) 13 (2) 14 (2) 16 (2) 18 (2) a change of deterministic state fluent 2 influences variables 2 (20) 13 (4) 15 (4) 19 (2) a change of deterministic state fluent 3 influences variables 3 (20) 13 (8) 14 (4) 18 (4) 20 (2) a change of deterministic state fluent 4 influences variables 0 (40) 1 (20) 2 (40) 3 (40) 4 (20) 5 (20) 6 (20) 7 (20) 8 (20) 12 (2) 13 (16) 15 (8) 17 (4) 19 (4) 21 (2) a change of deterministic state fluent 5 influences variables 5 (40) 13 (32) 16 (4) 18 (8) 22 (2) a change of deterministic state fluent 6 influences variables 6 (40) 13 (64) 17 (8) 21 (4) a change of deterministic state fluent 7 influences variables 0 (80) 1 (40) 2 (80) 3 (80) 4 (40) 5 (80) 6 (80) 7 (40) 8 (40) 12 (4) 13 (128) 18 (16) 20 (4) 22 (4) a change of deterministic state fluent 8 influences variables 8 (80) 13 (256) 19 (8) 21 (8) a change of deterministic state fluent 9 influences variables 0 (160) 1 (80) 2 (160) 3 (160) 4 (80) 5 (160) 6 (160) 7 (80) 8 (160) 12 (8) a change of deterministic state fluent 10 influences variables 0 (320) 1 (160) 2 (320) 3 (320) 4 (160) 5 (320) 6 (320) 7 (160) 8 (320) 9 (1) 12 (16) a change of probabilistic state fluent 0 influences variables 0 (640) 1 (320) 2 (640) 3 (640) 4 (320) 5 (640) 6 (640) 7 (320) 8 (640) 10 (1) 12 (32) a change of variable 0 influences variables in Kleene states 0 (10) 13 (1) 15 (2) 17 (2) a change of variable 1 influences variables in Kleene states 0 (30) 1 (10) 2 (10) 3 (10) 4 (10) 5 (10) 6 (10) 7 (10) 8 (10) 12 (1) 13 (3) 14 (2) 16 (2) 18 (2) a change of variable 2 influences variables in Kleene states 2 (30) 13 (9) 15 (6) 19 (2) a change of variable 3 influences variables in Kleene states 3 (30) 13 (27) 14 (6) 18 (6) 20 (2) a change of variable 4 influences variables in Kleene states 0 (90) 1 (30) 2 (90) 3 (90) 4 (30) 5 (30) 6 (30) 7 (30) 8 (30) 12 (3) 13 (81) 15 (18) 17 (6) 19 (6) 21 (2) a change of variable 5 influences variables in Kleene states 5 (90) 13 (243) 16 (6) 18 (18) 22 (2) a change of variable 6 influences variables in Kleene states 6 (90) 13 (729) 17 (18) 21 (6) a change of variable 7 influences variables in Kleene states 0 (270) 1 (90) 2 (270) 3 (270) 4 (90) 5 (270) 6 (270) 7 (90) 8 (90) 12 (9) 13 (2187) 18 (54) 20 (6) 22 (6) a change of variable 8 influences variables in Kleene states 8 (270) 13 (6561) 19 (18) 21 (18) a change of variable 9 influences variables in Kleene states 0 (810) 1 (270) 2 (810) 3 (810) 4 (270) 5 (810) 6 (810) 7 (270) 8 (810) 12 (27) a change of variable 10 influences variables in Kleene states 0 (2430) 1 (810) 2 (2430) 3 (2430) 4 (810) 5 (2430) 6 (2430) 7 (810) 8 (2430) 9 (1) 12 (81) a change of variable 11 influences variables in Kleene states 0 (7290) 1 (2430) 2 (7290) 3 (7290) 4 (2430) 5 (7290) 6 (7290) 7 (2430) 8 (7290) 10 (1) 12 (243) ---------Action Preconditions--------- Precond 0 HashIndex: 14, deterministic, caching in vectors, Kleene caching in vectors of size 18. Action Hash Key Map: move(x1, y1) : 1 Formula: (or (not move(x1, y1)) agent-at(x1, y2) agent-at(x2, y1)) -------------- Precond 1 HashIndex: 15, deterministic, caching in vectors, Kleene caching in vectors of size 54. Action Hash Key Map: move(x1, y2) : 1 Formula: (or (not move(x1, y2)) agent-at(x1, y1) agent-at(x1, y3) agent-at(x2, y2)) -------------- Precond 2 HashIndex: 16, deterministic, caching in vectors, Kleene caching in vectors of size 18. Action Hash Key Map: move(x1, y3) : 1 Formula: (or (not move(x1, y3)) agent-at(x1, y2) agent-at(x2, y3)) -------------- Precond 3 HashIndex: 17, deterministic, caching in vectors, Kleene caching in vectors of size 54. Action Hash Key Map: move(x2, y1) : 1 Formula: (or (not move(x2, y1)) agent-at(x1, y1) agent-at(x2, y2) agent-at(x3, y1)) -------------- Precond 4 HashIndex: 18, deterministic, caching in vectors, Kleene caching in vectors of size 162. Action Hash Key Map: move(x2, y2) : 1 Formula: (or (not move(x2, y2)) agent-at(x1, y2) agent-at(x2, y1) agent-at(x2, y3) agent-at(x3, y2)) -------------- Precond 5 HashIndex: 19, deterministic, caching in vectors, Kleene caching in vectors of size 54. Action Hash Key Map: move(x2, y3) : 1 Formula: (or (not move(x2, y3)) agent-at(x1, y3) agent-at(x2, y2) agent-at(x3, y3)) -------------- Precond 6 HashIndex: 20, deterministic, caching in vectors, Kleene caching in vectors of size 18. Action Hash Key Map: move(x3, y1) : 1 Formula: (or (not move(x3, y1)) agent-at(x2, y1) agent-at(x3, y2)) -------------- Precond 7 HashIndex: 21, deterministic, caching in vectors, Kleene caching in vectors of size 54. Action Hash Key Map: move(x3, y2) : 1 Formula: (or (not move(x3, y2)) agent-at(x2, y2) agent-at(x3, y1) agent-at(x3, y3)) -------------- Precond 8 HashIndex: 22, deterministic, caching in vectors, Kleene caching in vectors of size 18. Action Hash Key Map: move(x3, y3) : 1 Formula: (or (not move(x3, y3)) agent-at(x2, y3) agent-at(x3, y2)) -------------- ----------Initial State--------------- agent-at(x1, y1): 0 agent-at(x1, y2): 0 agent-at(x1, y3): 0 agent-at(x2, y1): 0 agent-at(x2, y2): 0 agent-at(x2, y3): 0 agent-at(x3, y1): 1 agent-at(x3, y2): 0 agent-at(x3, y3): 0 obstacle-at(x1, y2): 0 obstacle-at(x2, y2): 0 obstacle-at(x3, y2): 0 Remaining Steps: 2147483647 StateHashKey: 64 Hashing of States is possible. Hashing of KleeneStates is possible. This task contains unreasonable actions. *********************************************** >>> STARTING ROUND 1 -- REMAINING TIME 198s *********************************************** *********************************************** Planning step 0/65 in round 1/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.300689s. THTS: Maximal search depth set to 65 Search time: 0.300698s Statistics of THTS: Performed trials: 46254 Created SearchNodes: 147327 Cache Hits: 19529 Action Selection: Exploitation in Root: 44489 Exploration in Root: 1765 Percentage Exploration in Root: 0.0381589 Skipped backups: 902826 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42743 (in 46257 real visits) Q-Value Estimates: noop() : -5.38181 (in 890 real visits) move(x3, y2) : -3002 (in 890 real visits) move(x2, y1) : -4.42743 (in 44477 real visits) Used RAM: 247360 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 1/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.300686s. THTS: Maximal search depth set to 65 Search time: 0.300693s Statistics of THTS: Performed trials: 45901 Created SearchNodes: 144271 Cache Hits: 20520 Action Selection: Exploitation in Root: 43306 Exploration in Root: 2595 Percentage Exploration in Root: 0.0565347 Skipped backups: 1805346 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 45905 real visits) Q-Value Estimates: noop() : -4.38991 (in 867 real visits) move(x3, y1) : -5.36291 (in 867 real visits) move(x2, y2) : -2.9999 (in 43304 real visits) move(x1, y1) : -4.9999 (in 867 real visits) Used RAM: 247360 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 1/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 1 | horizon: 65 Setting time for this decision to 0.300684s. THTS: Maximal search depth set to 65 Search time: 0.300692s Statistics of THTS: Performed trials: 45506 Created SearchNodes: 141899 Cache Hits: 20672 Action Selection: Exploitation in Root: 42927 Exploration in Root: 2579 Percentage Exploration in Root: 0.0566738 Skipped backups: 2725928 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 45511 real visits) Q-Value Estimates: noop() : SOLVED with: -10002 (in 7 real visits) move(x3, y2) : -3002 (in 859 real visits) move(x2, y3) : -1.9999 (in 42927 real visits) move(x2, y1) : -4.3899 (in 859 real visits) move(x1, y2) : -3.9999 (in 859 real visits) Used RAM: 247360 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 1/10 Current state: 0 0 0 0 0 1 0 0 0 0 1 | 1 | horizon: 65 Setting time for this decision to 0.30068s. THTS: Maximal search depth set to 65 Search time: 0.300683s Statistics of THTS: Performed trials: 45039 Created SearchNodes: 140141 Cache Hits: 20569 Action Selection: Exploitation in Root: 2 Exploration in Root: 45037 Percentage Exploration in Root: 0.999956 Skipped backups: 3659352 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 45043 real visits) Q-Value Estimates: noop() : -1.9999 (in 44150 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : SOLVED with: -10002 (in 7 real visits) move(x1, y3) : -2.9999 (in 883 real visits) Used RAM: 247360 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 1 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 2 -- REMAINING TIME 197s *********************************************** *********************************************** Planning step 0/65 in round 2/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.332029s. THTS: Maximal search depth set to 65 Search time: 0.332034s Statistics of THTS: Performed trials: 50239 Created SearchNodes: 160001 Cache Hits: 21706 Action Selection: Exploitation in Root: 48327 Exploration in Root: 1912 Percentage Exploration in Root: 0.0380581 Skipped backups: 4654022 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42743 (in 50242 real visits) Q-Value Estimates: noop() : -5.38181 (in 967 real visits) move(x3, y2) : -3002 (in 967 real visits) move(x2, y1) : -4.42743 (in 48308 real visits) Used RAM: 248660 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 2/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.332026s. THTS: Maximal search depth set to 65 Search time: 0.332033s Statistics of THTS: Performed trials: 49730 Created SearchNodes: 156436 Cache Hits: 22262 Action Selection: Exploitation in Root: 46921 Exploration in Root: 2809 Percentage Exploration in Root: 0.056485 Skipped backups: 5645004 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 49734 real visits) Q-Value Estimates: noop() : -4.3818 (in 939 real visits) move(x3, y1) : -5.39558 (in 939 real visits) move(x2, y2) : -2.9999 (in 46917 real visits) move(x1, y1) : -4.9999 (in 939 real visits) Used RAM: 248660 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 2/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.332022s. THTS: Maximal search depth set to 65 Search time: 0.332027s Statistics of THTS: Performed trials: 48138 Created SearchNodes: 150195 Cache Hits: 21915 Action Selection: Exploitation in Root: 44576 Exploration in Root: 3562 Percentage Exploration in Root: 0.0739956 Skipped backups: 6614698 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 48143 real visits) Q-Value Estimates: noop() : -2.9999 (in 892 real visits) move(x3, y2) : -3002 (in 892 real visits) move(x2, y3) : -1.9999 (in 44575 real visits) move(x2, y1) : -4.3539 (in 892 real visits) move(x1, y2) : -3.9999 (in 892 real visits) Used RAM: 248660 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 2/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.332019s. THTS: Maximal search depth set to 65 Search time: 0.332024s Statistics of THTS: Performed trials: 49265 Created SearchNodes: 153253 Cache Hits: 22519 Action Selection: Exploitation in Root: 2 Exploration in Root: 49263 Percentage Exploration in Root: 0.999959 Skipped backups: 7635204 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 49269 real visits) Q-Value Estimates: noop() : -1.9999 (in 47370 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 948 real visits) move(x1, y3) : -2.9999 (in 948 real visits) Used RAM: 248660 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 2 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 3 -- REMAINING TIME 195s *********************************************** *********************************************** Planning step 0/65 in round 3/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.370962s. THTS: Maximal search depth set to 65 Search time: 0.370968s Statistics of THTS: Performed trials: 55550 Created SearchNodes: 176413 Cache Hits: 24200 Action Selection: Exploitation in Root: 53437 Exploration in Root: 2113 Percentage Exploration in Root: 0.0380378 Skipped backups: 8748344 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42816 (in 55553 real visits) Q-Value Estimates: noop() : -5.38181 (in 1069 real visits) move(x3, y2) : -3002 (in 1069 real visits) move(x2, y1) : -4.42816 (in 53415 real visits) Used RAM: 250244 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 3/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.370958s. THTS: Maximal search depth set to 65 Search time: 0.370966s Statistics of THTS: Performed trials: 55123 Created SearchNodes: 173277 Cache Hits: 24675 Action Selection: Exploitation in Root: 52009 Exploration in Root: 3114 Percentage Exploration in Root: 0.0564918 Skipped backups: 9860228 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 55127 real visits) Q-Value Estimates: noop() : -4.3899 (in 1041 real visits) move(x3, y1) : -5.38181 (in 1041 real visits) move(x2, y2) : -2.9999 (in 52004 real visits) move(x1, y1) : -4.9999 (in 1041 real visits) Used RAM: 250244 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 3/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.370954s. THTS: Maximal search depth set to 65 Search time: 0.370958s Statistics of THTS: Performed trials: 55558 Created SearchNodes: 172961 Cache Hits: 25372 Action Selection: Exploitation in Root: 51448 Exploration in Root: 4110 Percentage Exploration in Root: 0.0739767 Skipped backups: 11001238 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 55563 real visits) Q-Value Estimates: noop() : -2.9999 (in 1029 real visits) move(x3, y2) : -3002 (in 1029 real visits) move(x2, y3) : -1.9999 (in 51447 real visits) move(x2, y1) : -4.4088 (in 1029 real visits) move(x1, y2) : -3.9999 (in 1029 real visits) Used RAM: 250244 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 3/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.37095s. THTS: Maximal search depth set to 65 Search time: 0.370953s Statistics of THTS: Performed trials: 54917 Created SearchNodes: 170692 Cache Hits: 25137 Action Selection: Exploitation in Root: 2 Exploration in Root: 54915 Percentage Exploration in Root: 0.999964 Skipped backups: 12155372 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 54921 real visits) Q-Value Estimates: noop() : -1.9999 (in 52804 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1057 real visits) move(x1, y3) : -2.9999 (in 1057 real visits) Used RAM: 250244 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 3 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 4 -- REMAINING TIME 194s *********************************************** *********************************************** Planning step 0/65 in round 4/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.420677s. THTS: Maximal search depth set to 65 Search time: 0.420685s Statistics of THTS: Performed trials: 61666 Created SearchNodes: 195750 Cache Hits: 26924 Action Selection: Exploitation in Root: 59314 Exploration in Root: 2352 Percentage Exploration in Root: 0.038141 Skipped backups: 13408686 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42794 (in 61669 real visits) Q-Value Estimates: noop() : -5.38181 (in 1186 real visits) move(x3, y2) : -3002 (in 1186 real visits) move(x2, y1) : -4.42794 (in 59297 real visits) Used RAM: 252348 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 4/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.420674s. THTS: Maximal search depth set to 65 Search time: 0.420682s Statistics of THTS: Performed trials: 61901 Created SearchNodes: 194209 Cache Hits: 27840 Action Selection: Exploitation in Root: 58403 Exploration in Root: 3498 Percentage Exploration in Root: 0.0565096 Skipped backups: 14675782 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 61905 real visits) Q-Value Estimates: noop() : -4.4169 (in 1168 real visits) move(x3, y1) : -5.344 (in 1168 real visits) move(x2, y2) : -2.9999 (in 58401 real visits) move(x1, y1) : -4.9999 (in 1168 real visits) Used RAM: 252348 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 4/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 1 | horizon: 65 Setting time for this decision to 0.420669s. THTS: Maximal search depth set to 65 Search time: 0.420679s Statistics of THTS: Performed trials: 60820 Created SearchNodes: 189667 Cache Hits: 27704 Action Selection: Exploitation in Root: 57378 Exploration in Root: 3442 Percentage Exploration in Root: 0.0565932 Skipped backups: 15952680 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 60825 real visits) Q-Value Estimates: noop() : SOLVED with: -10002 (in 3 real visits) move(x3, y2) : -3002 (in 1148 real visits) move(x2, y3) : -1.9999 (in 57378 real visits) move(x2, y1) : -4.3899 (in 1148 real visits) move(x1, y2) : -3.9999 (in 1148 real visits) Used RAM: 252348 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 4/10 Current state: 0 0 0 0 0 1 0 0 0 0 1 | 0 | horizon: 65 Setting time for this decision to 0.420666s. THTS: Maximal search depth set to 65 Search time: 0.420669s Statistics of THTS: Performed trials: 61127 Created SearchNodes: 190437 Cache Hits: 27909 Action Selection: Exploitation in Root: 2 Exploration in Root: 61125 Percentage Exploration in Root: 0.999967 Skipped backups: 17252860 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 61131 real visits) Q-Value Estimates: noop() : -1.9999 (in 58776 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1176 real visits) move(x1, y3) : -2.9999 (in 1176 real visits) Used RAM: 252348 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 4 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 5 -- REMAINING TIME 192s *********************************************** *********************************************** Planning step 0/65 in round 5/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.486456s. THTS: Maximal search depth set to 65 Search time: 0.486464s Statistics of THTS: Performed trials: 70044 Created SearchNodes: 222351 Cache Hits: 30594 Action Selection: Exploitation in Root: 67359 Exploration in Root: 2685 Percentage Exploration in Root: 0.038333 Skipped backups: 18699574 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42743 (in 70047 real visits) Q-Value Estimates: noop() : -5.37101 (in 1348 real visits) move(x3, y2) : -3002 (in 1348 real visits) move(x2, y1) : -4.42743 (in 67351 real visits) Used RAM: 254980 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 5/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.486452s. THTS: Maximal search depth set to 65 Search time: 0.486464s Statistics of THTS: Performed trials: 70019 Created SearchNodes: 219936 Cache Hits: 31429 Action Selection: Exploitation in Root: 66059 Exploration in Root: 3960 Percentage Exploration in Root: 0.0565561 Skipped backups: 20155432 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 70023 real visits) Q-Value Estimates: noop() : -4.3899 (in 1322 real visits) move(x3, y1) : -5.38991 (in 1322 real visits) move(x2, y2) : -2.9999 (in 66057 real visits) move(x1, y1) : -4.9999 (in 1322 real visits) Used RAM: 254980 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 5/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.486446s. THTS: Maximal search depth set to 65 Search time: 0.48645s Statistics of THTS: Performed trials: 70133 Created SearchNodes: 219234 Cache Hits: 31819 Action Selection: Exploitation in Root: 64943 Exploration in Root: 5190 Percentage Exploration in Root: 0.0740023 Skipped backups: 21637620 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 70138 real visits) Q-Value Estimates: noop() : -2.9999 (in 1299 real visits) move(x3, y2) : -3002 (in 1299 real visits) move(x2, y3) : -1.9999 (in 64942 real visits) move(x2, y1) : -4.3899 (in 1299 real visits) move(x1, y2) : -3.9999 (in 1299 real visits) Used RAM: 254980 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 5/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 1 | horizon: 65 Setting time for this decision to 0.486442s. THTS: Maximal search depth set to 65 Search time: 0.486448s Statistics of THTS: Performed trials: 69134 Created SearchNodes: 215037 Cache Hits: 31629 Action Selection: Exploitation in Root: 2 Exploration in Root: 69132 Percentage Exploration in Root: 0.999971 Skipped backups: 23147030 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 69138 real visits) Q-Value Estimates: noop() : -1.9999 (in 67776 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y3) : -2.9999 (in 1356 real visits) Used RAM: 254980 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 5 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 6 -- REMAINING TIME 190s *********************************************** *********************************************** Planning step 0/65 in round 6/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.577735s. THTS: Maximal search depth set to 65 Search time: 0.57774s Statistics of THTS: Performed trials: 81541 Created SearchNodes: 258483 Cache Hits: 35685 Action Selection: Exploitation in Root: 78412 Exploration in Root: 3129 Percentage Exploration in Root: 0.0383733 Skipped backups: 24863188 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42816 (in 81544 real visits) Q-Value Estimates: noop() : -5.40071 (in 1569 real visits) move(x3, y2) : -3002 (in 1569 real visits) move(x2, y1) : -4.42816 (in 78406 real visits) Used RAM: 258676 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 6/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.577728s. THTS: Maximal search depth set to 65 Search time: 0.577736s Statistics of THTS: Performed trials: 81409 Created SearchNodes: 254957 Cache Hits: 36724 Action Selection: Exploitation in Root: 76803 Exploration in Root: 4606 Percentage Exploration in Root: 0.0565785 Skipped backups: 26586532 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 81413 real visits) Q-Value Estimates: noop() : -4.3899 (in 1537 real visits) move(x3, y1) : -5.3818 (in 1537 real visits) move(x2, y2) : -2.9999 (in 76802 real visits) move(x1, y1) : -4.9999 (in 1537 real visits) Used RAM: 258676 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 6/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.577724s. THTS: Maximal search depth set to 65 Search time: 0.577729s Statistics of THTS: Performed trials: 80340 Created SearchNodes: 250395 Cache Hits: 36615 Action Selection: Exploitation in Root: 74394 Exploration in Root: 5946 Percentage Exploration in Root: 0.0740105 Skipped backups: 28313540 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 80345 real visits) Q-Value Estimates: noop() : -2.9999 (in 1488 real visits) move(x3, y2) : -3002 (in 1488 real visits) move(x2, y3) : -1.9999 (in 74393 real visits) move(x2, y1) : -4.4088 (in 1488 real visits) move(x1, y2) : -3.9999 (in 1488 real visits) Used RAM: 258676 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 6/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.577717s. THTS: Maximal search depth set to 65 Search time: 0.577725s Statistics of THTS: Performed trials: 80407 Created SearchNodes: 250163 Cache Hits: 36784 Action Selection: Exploitation in Root: 2 Exploration in Root: 80405 Percentage Exploration in Root: 0.999975 Skipped backups: 30081118 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 80411 real visits) Q-Value Estimates: noop() : -1.9999 (in 77314 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1547 real visits) move(x1, y3) : -2.9999 (in 1547 real visits) Used RAM: 258676 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 6 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 7 -- REMAINING TIME 188s *********************************************** *********************************************** Planning step 0/65 in round 7/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.71325s. THTS: Maximal search depth set to 65 Search time: 0.713257s Statistics of THTS: Performed trials: 97465 Created SearchNodes: 308499 Cache Hits: 42815 Action Selection: Exploitation in Root: 93723 Exploration in Root: 3742 Percentage Exploration in Root: 0.0383933 Skipped backups: 32176234 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42816 (in 97468 real visits) Q-Value Estimates: noop() : -5.40188 (in 1875 real visits) move(x3, y2) : -3002 (in 1875 real visits) move(x2, y1) : -4.42816 (in 93718 real visits) Used RAM: 263692 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 7/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.713243s. THTS: Maximal search depth set to 65 Search time: 0.71325s Statistics of THTS: Performed trials: 97780 Created SearchNodes: 306990 Cache Hits: 43935 Action Selection: Exploitation in Root: 92251 Exploration in Root: 5529 Percentage Exploration in Root: 0.0565453 Skipped backups: 34295664 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 97784 real visits) Q-Value Estimates: noop() : -4.4088 (in 1845 real visits) move(x3, y1) : -5.38991 (in 1845 real visits) move(x2, y2) : -2.9999 (in 92249 real visits) move(x1, y1) : -4.9999 (in 1845 real visits) Used RAM: 263692 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 7/10 Current state: 0 0 0 0 1 0 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.713233s. THTS: Maximal search depth set to 65 Search time: 0.713242s Statistics of THTS: Performed trials: 97963 Created SearchNodes: 305641 Cache Hits: 44589 Action Selection: Exploitation in Root: 90709 Exploration in Root: 7254 Percentage Exploration in Root: 0.0740484 Skipped backups: 36449614 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 97968 real visits) Q-Value Estimates: noop() : -2.9999 (in 1815 real visits) move(x3, y2) : -3002 (in 1815 real visits) move(x2, y3) : -1.9999 (in 90708 real visits) move(x2, y1) : -4.4169 (in 1815 real visits) move(x1, y2) : -3.9999 (in 1815 real visits) Used RAM: 263692 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 7/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.713226s. THTS: Maximal search depth set to 65 Search time: 0.713228s Statistics of THTS: Performed trials: 97156 Created SearchNodes: 302858 Cache Hits: 44302 Action Selection: Exploitation in Root: 2 Exploration in Root: 97154 Percentage Exploration in Root: 0.999979 Skipped backups: 38631110 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 97160 real visits) Q-Value Estimates: noop() : -1.9999 (in 93419 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1869 real visits) move(x1, y3) : -2.9999 (in 1869 real visits) Used RAM: 263692 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 7 -- REWARD RECEIVED: -4 *********************************************** *********************************************** >>> STARTING ROUND 8 -- REMAINING TIME 185s *********************************************** *********************************************** Planning step 0/65 in round 8/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.936328s. THTS: Maximal search depth set to 65 Search time: 0.936333s Statistics of THTS: Performed trials: 124480 Created SearchNodes: 393262 Cache Hits: 54954 Action Selection: Exploitation in Root: 119704 Exploration in Root: 4776 Percentage Exploration in Root: 0.0383676 Skipped backups: 41391422 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42816 (in 124483 real visits) Q-Value Estimates: noop() : -5.40314 (in 2394 real visits) move(x3, y2) : -3002 (in 2394 real visits) move(x2, y1) : -4.42816 (in 119695 real visits) Used RAM: 272132 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 8/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 1 | horizon: 65 Setting time for this decision to 0.936314s. THTS: Maximal search depth set to 65 Search time: 0.936319s Statistics of THTS: Performed trials: 123130 Created SearchNodes: 389536 Cache Hits: 54257 Action Selection: Exploitation in Root: 118405 Exploration in Root: 4725 Percentage Exploration in Root: 0.0383741 Skipped backups: 44110610 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42816 (in 123134 real visits) Q-Value Estimates: noop() : -4.42816 (in 118395 real visits) move(x3, y1) : -5.4007 (in 2368 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y1) : -5.40313 (in 2368 real visits) Used RAM: 272132 Submitted action: noop() Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 8/10 Current state: 0 0 0 1 0 0 0 0 0 0 1 | 0 | horizon: 65 Setting time for this decision to 0.936306s. THTS: Maximal search depth set to 65 Search time: 0.936308s Statistics of THTS: Performed trials: 124078 Created SearchNodes: 388534 Cache Hits: 56047 Action Selection: Exploitation in Root: 117059 Exploration in Root: 7019 Percentage Exploration in Root: 0.0565693 Skipped backups: 46876032 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 124082 real visits) Q-Value Estimates: noop() : -4.4088 (in 2342 real visits) move(x3, y1) : -5.40637 (in 2342 real visits) move(x2, y2) : -2.9999 (in 117056 real visits) move(x1, y1) : -4.9999 (in 2342 real visits) Used RAM: 272132 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 8/10 Current state: 0 0 0 0 1 0 0 0 0 1 0 | 0 | horizon: 65 Setting time for this decision to 0.936292s. THTS: Maximal search depth set to 65 Search time: 0.936297s Statistics of THTS: Performed trials: 123720 Created SearchNodes: 385498 Cache Hits: 56431 Action Selection: Exploitation in Root: 114559 Exploration in Root: 9161 Percentage Exploration in Root: 0.0740462 Skipped backups: 49671390 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 123725 real visits) Q-Value Estimates: noop() : -2.9999 (in 2292 real visits) move(x3, y2) : -3002 (in 2292 real visits) move(x2, y3) : -1.9999 (in 114557 real visits) move(x2, y1) : -4.4169 (in 2292 real visits) move(x1, y2) : -3.9999 (in 2292 real visits) Used RAM: 272132 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 8/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 0.936277s. THTS: Maximal search depth set to 65 Search time: 0.936284s Statistics of THTS: Performed trials: 122799 Created SearchNodes: 382425 Cache Hits: 56101 Action Selection: Exploitation in Root: 2 Exploration in Root: 122797 Percentage Exploration in Root: 0.999984 Skipped backups: 52504578 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 122803 real visits) Q-Value Estimates: noop() : -1.9999 (in 118076 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 2362 real visits) move(x1, y3) : -2.9999 (in 2362 real visits) Used RAM: 272132 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 8 -- REWARD RECEIVED: -5 *********************************************** *********************************************** >>> STARTING ROUND 9 -- REMAINING TIME 180s *********************************************** *********************************************** Planning step 0/65 in round 9/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 1.36838s. THTS: Maximal search depth set to 65 Search time: 1.36839s Statistics of THTS: Performed trials: 173243 Created SearchNodes: 546413 Cache Hits: 76908 Action Selection: Exploitation in Root: 166591 Exploration in Root: 6652 Percentage Exploration in Root: 0.0383969 Skipped backups: 56494978 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42816 (in 173246 real visits) Q-Value Estimates: noop() : -5.4088 (in 3332 real visits) move(x3, y2) : -3002 (in 3332 real visits) move(x2, y1) : -4.42816 (in 166582 real visits) Used RAM: 287704 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 9/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 1 | horizon: 65 Setting time for this decision to 1.36837s. THTS: Maximal search depth set to 65 Search time: 1.36838s Statistics of THTS: Performed trials: 172200 Created SearchNodes: 543755 Cache Hits: 76271 Action Selection: Exploitation in Root: 165580 Exploration in Root: 6620 Percentage Exploration in Root: 0.0384437 Skipped backups: 60450596 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42831 (in 172204 real visits) Q-Value Estimates: noop() : -4.42831 (in 165577 real visits) move(x3, y1) : -5.4088 (in 3312 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y1) : -5.40313 (in 3312 real visits) Used RAM: 287704 Submitted action: noop() Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 9/10 Current state: 0 0 0 1 0 0 0 0 0 0 1 | 0 | horizon: 65 Setting time for this decision to 1.36836s. THTS: Maximal search depth set to 65 Search time: 1.36837s Statistics of THTS: Performed trials: 172180 Created SearchNodes: 539131 Cache Hits: 77863 Action Selection: Exploitation in Root: 162438 Exploration in Root: 9742 Percentage Exploration in Root: 0.0565803 Skipped backups: 64434992 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 172184 real visits) Q-Value Estimates: noop() : -4.4169 (in 3249 real visits) move(x3, y1) : -5.39557 (in 3249 real visits) move(x2, y2) : -2.9999 (in 162437 real visits) move(x1, y1) : -4.9999 (in 3249 real visits) Used RAM: 287704 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 9/10 Current state: 0 0 0 0 1 0 0 0 0 1 0 | 0 | horizon: 65 Setting time for this decision to 1.36835s. THTS: Maximal search depth set to 65 Search time: 1.36835s Statistics of THTS: Performed trials: 171761 Created SearchNodes: 534795 Cache Hits: 78481 Action Selection: Exploitation in Root: 159042 Exploration in Root: 12719 Percentage Exploration in Root: 0.0740506 Skipped backups: 68461148 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 171766 real visits) Q-Value Estimates: noop() : -2.9999 (in 3181 real visits) move(x3, y2) : -3002 (in 3181 real visits) move(x2, y3) : -1.9999 (in 159042 real visits) move(x2, y1) : -4.4169 (in 3181 real visits) move(x1, y2) : -3.9999 (in 3181 real visits) Used RAM: 287704 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 9/10 Current state: 0 0 0 0 0 1 0 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 1.36833s. THTS: Maximal search depth set to 65 Search time: 1.36834s Statistics of THTS: Performed trials: 171732 Created SearchNodes: 534043 Cache Hits: 78602 Action Selection: Exploitation in Root: 2 Exploration in Root: 171730 Percentage Exploration in Root: 0.999988 Skipped backups: 72569318 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 171736 real visits) Q-Value Estimates: noop() : -1.9999 (in 165127 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 3303 real visits) move(x1, y3) : -2.9999 (in 3303 real visits) Used RAM: 287704 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 9 -- REWARD RECEIVED: -5 *********************************************** *********************************************** >>> STARTING ROUND 10 -- REMAINING TIME 174s *********************************************** *********************************************** Planning step 0/65 in round 10/10 Current state: 0 0 0 0 0 0 1 0 0 0 0 | 0 | horizon: 65 Setting time for this decision to 2.63137s. THTS: Maximal search depth set to 65 Search time: 2.63137s Statistics of THTS: Performed trials: 308246 Created SearchNodes: 969747 Cache Hits: 137631 Action Selection: Exploitation in Root: 296401 Exploration in Root: 11845 Percentage Exploration in Root: 0.0384271 Skipped backups: 80135056 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42831 (in 308249 real visits) Q-Value Estimates: noop() : -5.42257 (in 5928 real visits) move(x3, y2) : -3002 (in 5928 real visits) move(x2, y1) : -4.42831 (in 296393 real visits) Used RAM: 330464 Submitted action: move(x2, y1) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 10/10 Current state: 0 0 0 1 0 0 0 0 0 0 0 | 1 | horizon: 65 Setting time for this decision to 2.63133s. THTS: Maximal search depth set to 65 Search time: 2.63134s Statistics of THTS: Performed trials: 304909 Created SearchNodes: 960275 Cache Hits: 136013 Action Selection: Exploitation in Root: 293193 Exploration in Root: 11716 Percentage Exploration in Root: 0.0384246 Skipped backups: 87591302 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -4.42838 (in 304913 real visits) Q-Value Estimates: noop() : -4.42838 (in 293182 real visits) move(x3, y1) : -5.41447 (in 5864 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y1) : -5.4169 (in 5864 real visits) Used RAM: 330464 Submitted action: noop() Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 10/10 Current state: 0 0 0 1 0 0 0 0 0 0 1 | 0 | horizon: 65 Setting time for this decision to 2.6313s. THTS: Maximal search depth set to 65 Search time: 2.6313s Statistics of THTS: Performed trials: 305583 Created SearchNodes: 955832 Cache Hits: 138498 Action Selection: Exploitation in Root: 288291 Exploration in Root: 17292 Percentage Exploration in Root: 0.0565869 Skipped backups: 95121724 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -2.9999 (in 305587 real visits) Q-Value Estimates: noop() : -4.42257 (in 5766 real visits) move(x3, y1) : -5.42257 (in 5766 real visits) move(x2, y2) : -2.9999 (in 288289 real visits) move(x1, y1) : -4.9999 (in 5766 real visits) Used RAM: 330464 Submitted action: move(x2, y2) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 10/10 Current state: 0 0 0 0 1 0 0 0 0 1 0 | 1 | horizon: 65 Setting time for this decision to 2.63127s. THTS: Maximal search depth set to 65 Search time: 2.63128s Statistics of THTS: Performed trials: 302253 Created SearchNodes: 941630 Cache Hits: 137985 Action Selection: Exploitation in Root: 285147 Exploration in Root: 17106 Percentage Exploration in Root: 0.056595 Skipped backups: 102718400 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -1.9999 (in 302258 real visits) Q-Value Estimates: noop() : SOLVED with: -10002 (in 3 real visits) move(x3, y2) : -3002 (in 5703 real visits) move(x2, y3) : -1.9999 (in 285146 real visits) move(x2, y1) : -4.41933 (in 5703 real visits) move(x1, y2) : -3.9999 (in 5703 real visits) Used RAM: 330464 Submitted action: move(x2, y3) Immediate reward: -1 *********************************************** *********************************************** Planning step 0/65 in round 10/10 Current state: 0 0 0 0 0 1 0 0 0 0 1 | 1 | horizon: 65 Setting time for this decision to 2.63125s. THTS: Maximal search depth set to 65 Search time: 2.63125s Statistics of THTS: Performed trials: 286437 Created SearchNodes: 891983 Cache Hits: 130958 Action Selection: Exploitation in Root: 2 Exploration in Root: 286435 Percentage Exploration in Root: 0.999993 Skipped backups: 110023074 Initializer: ExpandNode Heuristic weight: 1 Number of initial visits: 1 Heuristic: Encountered unknown states: 0 Statistics of DD Heuristic Seach [complete] with IDS: Statistics of IDS: Maximal search depth: 65 Cache hits: 0 Root Node: -0.9999 (in 286441 real visits) Q-Value Estimates: noop() : -1.9999 (in 280818 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y3) : -2.9999 (in 5617 real visits) Used RAM: 330464 Submitted action: move(x3, y3) Immediate reward: -1 *********************************************** *********************************************** >>> END OF ROUND 10 -- REWARD RECEIVED: -5 *********************************************** *********************************************** Immediate rewards: Round 0: -1 -1 -1 -1 = -4 Round 1: -1 -1 -1 -1 = -4 Round 2: -1 -1 -1 -1 = -4 Round 3: -1 -1 -1 -1 = -4 Round 4: -1 -1 -1 -1 = -4 Round 5: -1 -1 -1 -1 = -4 Round 6: -1 -1 -1 -1 = -4 Round 7: -1 -1 -1 -1 -1 = -5 Round 8: -1 -1 -1 -1 -1 = -5 Round 9: -1 -1 -1 -1 -1 = -5 >>> TOTAL REWARD: -43 >>> AVERAGE REWARD: -4.3 *********************************************** PROST complete running time: 50.7357s