/home/linuxbuildslave/buildslaves/ailinux/ipc-prob-build-singularity-linux/build/tmpIcQNIs /home/linuxbuildslave/buildslaves/ailinux/ipc-prob-build-singularity-linux/build/tmpIcQNIs *************** RDDL-PARSER CALL WITH 600SEC *************** Parsing... Setting outcome pruning to 0.5 ...finished (0.00119805s). instantiating... Instantiating variables... ...finished (5.91278e-05) Instantiating CPFs... ...finished (0.000247002) Instantiating preconditions... ...finished (0.000663996) ...finished (0.000987053s). preprocessing... Preparing evaluatables... ...finished (0.000972986) Preparing actions... ...finished (0.000105143) Calculating CPF domain... ...finished (0.00036788) Finalizing evaluatables... ...finished (0.000106812) Computing determinization... ...finished (1.90735e-06) Preparing hash keys... ...finished (7.89165e-05) Precomputing evaluatables... ...finished (0.00104809) ...finished (0.00271487s). analyzing task... Creating training set with 80 candidates. ...finished (0.0978539s). writing output for instance crossing_traffic_demo_inst_ssp__1... ...finished (0.021369s). writing transition relations to json file... ...finished (0.00140715s). total time: 0.125576s RDDL-Parser took: 0.133039s learning... THTS: learning... DD_Heuristic: learning [25s (0.125%)] with /home/linuxbuildslave/buildslaves/ailinux/ipc-prob-build-singularity-linux/build/tmpIcQNIs/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))))" }, "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))))" }, "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))))" }, "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))))" }, "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))))" }, "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))))" }, "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))))" }, "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))))" }, "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))))" }, "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))))" } }, "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.13 => Time left: 24.87s move(x1, y2) ......overall time: 0.26 => Time left: 24.74s move(x1, y3) ......overall time: 0.38 => Time left: 24.62s move(x2, y1) ......overall time: 0.51 => Time left: 24.49s move(x2, y2) ......overall time: 0.63 => Time left: 24.37s move(x2, y3) ......overall time: 0.75 => Time left: 24.25s move(x3, y1) ......overall time: 0.87 => Time left: 24.13s move(x3, y2) ......overall time: 1 => Time left: 24s move(x3, y3) ......overall time: 1.12 => Time left: 23.88s noop......overall time: 1.24 => Time left: 23.76s Plan step 1... ...overall time: 1.24 => Time left: 23.76s Plan step 2... ...overall time: 1.24 => Time left: 23.76s Plan step 3... ...overall time: 1.24 => Time left: 23.76s Plan step 4... ...overall time: 1.25 => Time left: 23.75s Plan step 5... ...overall time: 1.25 => Time left: 23.75s Plan step 6... ...overall time: 1.25 => Time left: 23.75s Plan step 7... ...overall time: 1.25 => Time left: 23.75s Plan step 8... ...overall time: 1.25 => Time left: 23.75s State space explored!!! IDS: learning... IDS: Search Depth 2: 7.0666e-05 / 80 = 8.83325e-07 IDS: Search Depth 3: 0.000189068 / 80 = 2.36335e-06 IDS: Search Depth 4: 0.000317147 / 80 = 3.96434e-06 IDS: Search Depth 5: 0.000435999 / 80 = 5.44999e-06 IDS: Search Depth 6: 0.000548582 / 80 = 6.85727e-06 IDS: Search Depth 7: 0.000655445 / 80 = 8.19306e-06 IDS: Search Depth 8: 0.000764273 / 80 = 9.55341e-06 IDS: Search Depth 9: 0.000875926 / 80 = 1.09491e-05 IDS: Search Depth 10: 0.000991873 / 80 = 1.23984e-05 IDS: Search Depth 11: 0.00110489 / 80 = 1.38112e-05 IDS: Search Depth 12: 0.0012116 / 80 = 1.5145e-05 IDS: Search Depth 13: 0.00131884 / 80 = 1.64855e-05 IDS: Search Depth 14: 0.00142565 / 80 = 1.78206e-05 IDS: Search Depth 15: 0.00153086 / 80 = 1.91357e-05 IDS: Search Depth 16: 0.00164641 / 80 = 2.05801e-05 IDS: Search Depth 17: 0.00175732 / 80 = 2.19666e-05 IDS: Search Depth 18: 0.00187134 / 80 = 2.33918e-05 IDS: Search Depth 19: 0.00197826 / 80 = 2.47282e-05 IDS: Search Depth 20: 0.00209309 / 80 = 2.61636e-05 IDS: Search Depth 21: 0.00220673 / 80 = 2.75841e-05 IDS: Search Depth 22: 0.00232342 / 80 = 2.90427e-05 IDS: Search Depth 23: 0.00244049 / 80 = 3.05061e-05 IDS: Search Depth 24: 0.00254677 / 80 = 3.18346e-05 IDS: Search Depth 25: 0.00267239 / 80 = 3.34049e-05 IDS: Search Depth 26: 0.00279219 / 80 = 3.49024e-05 IDS: Search Depth 27: 0.00289887 / 80 = 3.62359e-05 IDS: Search Depth 28: 0.00300624 / 80 = 3.7578e-05 IDS: Search Depth 29: 0.00311923 / 80 = 3.89903e-05 IDS: Search Depth 30: 0.00322862 / 80 = 4.03578e-05 IDS: Search Depth 31: 0.0033576 / 80 = 4.197e-05 IDS: Search Depth 32: 0.00348222 / 80 = 4.35277e-05 IDS: Search Depth 33: 0.00359815 / 80 = 4.49769e-05 IDS: Search Depth 34: 0.0037043 / 80 = 4.63037e-05 IDS: Search Depth 35: 0.00381888 / 80 = 4.77361e-05 IDS: Search Depth 36: 0.00392299 / 80 = 4.90373e-05 IDS: Search Depth 37: 0.00402726 / 80 = 5.03408e-05 IDS: Search Depth 38: 0.00414207 / 80 = 5.17759e-05 IDS: Search Depth 39: 0.00425566 / 80 = 5.31957e-05 IDS: Search Depth 40: 0.00436298 / 80 = 5.45373e-05 IDS: Search Depth 41: 0.00446861 / 80 = 5.58576e-05 IDS: Search Depth 42: 0.00457625 / 80 = 5.72031e-05 IDS: Search Depth 43: 0.00468866 / 80 = 5.86083e-05 IDS: Search Depth 44: 0.00479163 / 80 = 5.98954e-05 IDS: Search Depth 45: 0.00489545 / 80 = 6.11931e-05 IDS: Search Depth 46: 0.00500442 / 80 = 6.25553e-05 IDS: Search Depth 47: 0.00510992 / 80 = 6.3874e-05 IDS: Search Depth 48: 0.00521765 / 80 = 6.52206e-05 IDS: Search Depth 49: 0.00533683 / 80 = 6.67103e-05 IDS: Search Depth 50: 0.00544388 / 80 = 6.80485e-05 IDS: Search Depth 51: 0.00555291 / 80 = 6.94114e-05 IDS: Search Depth 52: 0.00565789 / 80 = 7.07236e-05 IDS: Search Depth 53: 0.00575988 / 80 = 7.19985e-05 IDS: Search Depth 54: 0.00586461 / 80 = 7.33076e-05 IDS: Search Depth 55: 0.00597491 / 80 = 7.46864e-05 IDS: Search Depth 56: 0.00607991 / 80 = 7.59989e-05 IDS: Search Depth 57: 0.00618342 / 80 = 7.72928e-05 IDS: Search Depth 58: 0.0063004 / 80 = 7.87549e-05 IDS: Search Depth 59: 0.00640981 / 80 = 8.01226e-05 IDS: Search Depth 60: 0.00651141 / 80 = 8.13927e-05 IDS: Search Depth 61: 0.0066128 / 80 = 8.266e-05 IDS: Search Depth 62: 0.00671851 / 80 = 8.39814e-05 IDS: Search Depth 63: 0.00683393 / 80 = 8.54242e-05 IDS: Search Depth 64: 0.00694226 / 80 = 8.67782e-05 IDS: Search Depth 65: 0.00706602 / 80 = 8.83252e-05 IDS: Setting max search depth to 65! IDS: ...finished Reset Det Task. ... finished THTS: ...finished ...finished (1.32755s). 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.300738s. THTS: Maximal search depth set to 65 Search time: 0.300754s Statistics of THTS: Performed trials: 45110 Created SearchNodes: 143685 Cache Hits: 19034 Action Selection: Exploitation in Root: 43389 Exploration in Root: 1721 Percentage Exploration in Root: 0.0381512 Skipped backups: 899481 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 45113 real visits) Q-Value Estimates: noop() : -5.38181 (in 868 real visits) move(x3, y2) : -3002 (in 868 real visits) move(x2, y1) : -4.42743 (in 43377 real visits) Used RAM: 247052 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.300735s. THTS: Maximal search depth set to 65 Search time: 0.300744s Statistics of THTS: Performed trials: 44231 Created SearchNodes: 139062 Cache Hits: 19748 Action Selection: Exploitation in Root: 41732 Exploration in Root: 2499 Percentage Exploration in Root: 0.0564988 Skipped backups: 1764777 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 44235 real visits) Q-Value Estimates: noop() : -4.4169 (in 835 real visits) move(x3, y1) : -5.36291 (in 835 real visits) move(x2, y2) : -2.9999 (in 41730 real visits) move(x1, y1) : -4.9999 (in 835 real visits) Used RAM: 247052 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.300731s. THTS: Maximal search depth set to 65 Search time: 0.300736s Statistics of THTS: Performed trials: 45666 Created SearchNodes: 142498 Cache Hits: 20724 Action Selection: Exploitation in Root: 43078 Exploration in Root: 2588 Percentage Exploration in Root: 0.0566724 Skipped backups: 2689509 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 45671 real visits) Q-Value Estimates: noop() : SOLVED with: -10002 (in 7 real visits) move(x3, y2) : -3002 (in 862 real visits) move(x2, y3) : -1.9999 (in 43078 real visits) move(x2, y1) : -4.38991 (in 862 real visits) move(x1, y2) : -3.9999 (in 862 real visits) Used RAM: 247052 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.30073s. THTS: Maximal search depth set to 65 Search time: 0.300734s Statistics of THTS: Performed trials: 44301 Created SearchNodes: 138013 Cache Hits: 20212 Action Selection: Exploitation in Root: 2 Exploration in Root: 44299 Percentage Exploration in Root: 0.999955 Skipped backups: 3605275 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 44305 real visits) Q-Value Estimates: noop() : -1.9999 (in 43426 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 869 real visits) Used RAM: 247052 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.332084s. THTS: Maximal search depth set to 65 Search time: 0.332089s Statistics of THTS: Performed trials: 48926 Created SearchNodes: 156157 Cache Hits: 21096 Action Selection: Exploitation in Root: 47054 Exploration in Root: 1872 Percentage Exploration in Root: 0.0382619 Skipped backups: 4569823 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 48929 real visits) Q-Value Estimates: noop() : -5.39504 (in 941 real visits) move(x3, y2) : -3002 (in 941 real visits) move(x2, y1) : -4.42743 (in 47047 real visits) Used RAM: 248352 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.33208s. THTS: Maximal search depth set to 65 Search time: 0.332087s Statistics of THTS: Performed trials: 49523 Created SearchNodes: 155776 Cache Hits: 22134 Action Selection: Exploitation in Root: 46724 Exploration in Root: 2799 Percentage Exploration in Root: 0.0565192 Skipped backups: 5555259 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 49527 real visits) Q-Value Estimates: noop() : -4.4088 (in 935 real visits) move(x3, y1) : -5.38181 (in 935 real visits) move(x2, y2) : -2.9999 (in 46722 real visits) move(x1, y1) : -4.9999 (in 935 real visits) Used RAM: 248352 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.332077s. THTS: Maximal search depth set to 65 Search time: 0.332082s Statistics of THTS: Performed trials: 49991 Created SearchNodes: 155815 Cache Hits: 22751 Action Selection: Exploitation in Root: 46292 Exploration in Root: 3699 Percentage Exploration in Root: 0.0739933 Skipped backups: 6567083 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 49996 real visits) Q-Value Estimates: noop() : -2.9999 (in 926 real visits) move(x3, y2) : -3002 (in 926 real visits) move(x2, y3) : -1.9999 (in 46292 real visits) move(x2, y1) : -4.40881 (in 926 real visits) move(x1, y2) : -3.9999 (in 926 real visits) Used RAM: 248352 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.332072s. THTS: Maximal search depth set to 65 Search time: 0.332078s Statistics of THTS: Performed trials: 46606 Created SearchNodes: 145013 Cache Hits: 21293 Action Selection: Exploitation in Root: 2 Exploration in Root: 46604 Percentage Exploration in Root: 0.999957 Skipped backups: 7524917 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 46610 real visits) Q-Value Estimates: noop() : -1.9999 (in 44813 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 897 real visits) move(x1, y3) : -2.9999 (in 897 real visits) Used RAM: 248352 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.371021s. THTS: Maximal search depth set to 65 Search time: 0.371027s Statistics of THTS: Performed trials: 56058 Created SearchNodes: 178118 Cache Hits: 24370 Action Selection: Exploitation in Root: 53922 Exploration in Root: 2136 Percentage Exploration in Root: 0.0381034 Skipped backups: 8650093 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 56061 real visits) Q-Value Estimates: noop() : -5.38991 (in 1079 real visits) move(x3, y2) : -3002 (in 1079 real visits) move(x2, y1) : -4.42743 (in 53903 real visits) Used RAM: 250460 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.371019s. THTS: Maximal search depth set to 65 Search time: 0.371026s Statistics of THTS: Performed trials: 55901 Created SearchNodes: 175397 Cache Hits: 25123 Action Selection: Exploitation in Root: 52741 Exploration in Root: 3160 Percentage Exploration in Root: 0.0565285 Skipped backups: 9779547 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 55905 real visits) Q-Value Estimates: noop() : -4.38991 (in 1055 real visits) move(x3, y1) : -5.36291 (in 1055 real visits) move(x2, y2) : -2.9999 (in 52740 real visits) move(x1, y1) : -4.9999 (in 1055 real visits) Used RAM: 250460 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.371014s. THTS: Maximal search depth set to 65 Search time: 0.371021s Statistics of THTS: Performed trials: 55078 Created SearchNodes: 171671 Cache Hits: 25117 Action Selection: Exploitation in Root: 51006 Exploration in Root: 4072 Percentage Exploration in Root: 0.0739315 Skipped backups: 10909829 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 55083 real visits) Q-Value Estimates: noop() : -2.9999 (in 1021 real visits) move(x3, y2) : -3002 (in 1020 real visits) move(x2, y3) : -1.9999 (in 51001 real visits) move(x2, y1) : -4.38991 (in 1021 real visits) move(x1, y2) : -3.9999 (in 1020 real visits) Used RAM: 250460 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.37101s. THTS: Maximal search depth set to 65 Search time: 0.371016s Statistics of THTS: Performed trials: 55394 Created SearchNodes: 172351 Cache Hits: 25335 Action Selection: Exploitation in Root: 2 Exploration in Root: 55392 Percentage Exploration in Root: 0.999964 Skipped backups: 12075267 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 55398 real visits) Q-Value Estimates: noop() : -1.9999 (in 53263 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1066 real visits) move(x1, y3) : -2.9999 (in 1066 real visits) Used RAM: 250460 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.420743s. THTS: Maximal search depth set to 65 Search time: 0.420747s Statistics of THTS: Performed trials: 62155 Created SearchNodes: 197462 Cache Hits: 27135 Action Selection: Exploitation in Root: 59774 Exploration in Root: 2381 Percentage Exploration in Root: 0.0383075 Skipped backups: 13339063 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 62158 real visits) Q-Value Estimates: noop() : -5.38991 (in 1196 real visits) move(x3, y2) : -3002 (in 1196 real visits) move(x2, y1) : -4.42816 (in 59766 real visits) Used RAM: 252572 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.42074s. THTS: Maximal search depth set to 65 Search time: 0.420745s Statistics of THTS: Performed trials: 61611 Created SearchNodes: 193208 Cache Hits: 27745 Action Selection: Exploitation in Root: 58130 Exploration in Root: 3481 Percentage Exploration in Root: 0.0564997 Skipped backups: 14600333 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 61615 real visits) Q-Value Estimates: noop() : -4.3899 (in 1163 real visits) move(x3, y1) : -5.36291 (in 1163 real visits) move(x2, y2) : -2.9999 (in 58126 real visits) move(x1, y1) : -4.9999 (in 1163 real visits) Used RAM: 252572 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.420735s. THTS: Maximal search depth set to 65 Search time: 0.420746s Statistics of THTS: Performed trials: 61407 Created SearchNodes: 191574 Cache Hits: 27966 Action Selection: Exploitation in Root: 57933 Exploration in Root: 3474 Percentage Exploration in Root: 0.0565734 Skipped backups: 15891793 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 61412 real visits) Q-Value Estimates: noop() : SOLVED with: -10002 (in 3 real visits) move(x3, y2) : -3002 (in 1159 real visits) move(x2, y3) : -1.9999 (in 57932 real visits) move(x2, y1) : -4.4169 (in 1159 real visits) move(x1, y2) : -3.9999 (in 1159 real visits) Used RAM: 252572 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.420732s. THTS: Maximal search depth set to 65 Search time: 0.420735s Statistics of THTS: Performed trials: 61043 Created SearchNodes: 189976 Cache Hits: 27913 Action Selection: Exploitation in Root: 2 Exploration in Root: 61041 Percentage Exploration in Root: 0.999967 Skipped backups: 17188681 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 61047 real visits) Q-Value Estimates: noop() : -1.9999 (in 58696 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1174 real visits) move(x1, y3) : -2.9999 (in 1174 real visits) Used RAM: 252572 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.486533s. THTS: Maximal search depth set to 65 Search time: 0.486538s Statistics of THTS: Performed trials: 70441 Created SearchNodes: 223762 Cache Hits: 30736 Action Selection: Exploitation in Root: 67743 Exploration in Root: 2698 Percentage Exploration in Root: 0.0383016 Skipped backups: 18644195 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 70444 real visits) Q-Value Estimates: noop() : -5.40071 (in 1355 real visits) move(x3, y2) : -3002 (in 1355 real visits) move(x2, y1) : -4.42816 (in 67734 real visits) Used RAM: 255204 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.486527s. THTS: Maximal search depth set to 65 Search time: 0.486534s Statistics of THTS: Performed trials: 70282 Created SearchNodes: 220487 Cache Hits: 31597 Action Selection: Exploitation in Root: 66307 Exploration in Root: 3975 Percentage Exploration in Root: 0.0565579 Skipped backups: 20106461 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 70286 real visits) Q-Value Estimates: noop() : -4.398 (in 1327 real visits) move(x3, y1) : -5.38424 (in 1327 real visits) move(x2, y2) : -2.9999 (in 66305 real visits) move(x1, y1) : -4.9999 (in 1327 real visits) Used RAM: 255204 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.486523s. THTS: Maximal search depth set to 65 Search time: 0.486527s Statistics of THTS: Performed trials: 70417 Created SearchNodes: 219634 Cache Hits: 32058 Action Selection: Exploitation in Root: 65203 Exploration in Root: 5214 Percentage Exploration in Root: 0.0740446 Skipped backups: 21595139 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 70422 real visits) Q-Value Estimates: noop() : -2.9999 (in 1305 real visits) move(x3, y2) : -3002 (in 1305 real visits) move(x2, y3) : -1.9999 (in 65202 real visits) move(x2, y1) : -4.4169 (in 1305 real visits) move(x1, y2) : -3.9999 (in 1305 real visits) Used RAM: 255204 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.486517s. THTS: Maximal search depth set to 65 Search time: 0.48652s Statistics of THTS: Performed trials: 69486 Created SearchNodes: 216087 Cache Hits: 31810 Action Selection: Exploitation in Root: 2 Exploration in Root: 69484 Percentage Exploration in Root: 0.999971 Skipped backups: 23113079 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 69490 real visits) Q-Value Estimates: noop() : -1.9999 (in 68121 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 1363 real visits) Used RAM: 255204 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.577825s. THTS: Maximal search depth set to 65 Search time: 0.577828s Statistics of THTS: Performed trials: 81765 Created SearchNodes: 259335 Cache Hits: 35817 Action Selection: Exploitation in Root: 78633 Exploration in Root: 3132 Percentage Exploration in Root: 0.0383049 Skipped backups: 24834131 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 81768 real visits) Q-Value Estimates: noop() : -5.38991 (in 1573 real visits) move(x3, y2) : -3002 (in 1573 real visits) move(x2, y1) : -4.42816 (in 78622 real visits) Used RAM: 258636 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.577821s. THTS: Maximal search depth set to 65 Search time: 0.577825s Statistics of THTS: Performed trials: 81834 Created SearchNodes: 256509 Cache Hits: 36858 Action Selection: Exploitation in Root: 77205 Exploration in Root: 4629 Percentage Exploration in Root: 0.0565657 Skipped backups: 26567793 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 81838 real visits) Q-Value Estimates: noop() : -4.4088 (in 1545 real visits) move(x3, y1) : -5.38991 (in 1545 real visits) move(x2, y2) : -2.9999 (in 77203 real visits) move(x1, y1) : -4.9999 (in 1545 real visits) Used RAM: 258636 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.577814s. THTS: Maximal search depth set to 65 Search time: 0.577822s Statistics of THTS: Performed trials: 81439 Created SearchNodes: 254028 Cache Hits: 37116 Action Selection: Exploitation in Root: 75416 Exploration in Root: 6023 Percentage Exploration in Root: 0.0739572 Skipped backups: 28320785 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 81444 real visits) Q-Value Estimates: noop() : -2.9999 (in 1509 real visits) move(x3, y2) : -3002 (in 1509 real visits) move(x2, y3) : -1.9999 (in 75408 real visits) move(x2, y1) : -4.4169 (in 1509 real visits) move(x1, y2) : -3.9999 (in 1509 real visits) Used RAM: 258636 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.577811s. THTS: Maximal search depth set to 65 Search time: 0.57782s Statistics of THTS: Performed trials: 80229 Created SearchNodes: 249611 Cache Hits: 36694 Action Selection: Exploitation in Root: 2 Exploration in Root: 80227 Percentage Exploration in Root: 0.999975 Skipped backups: 30084237 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 80233 real visits) Q-Value Estimates: noop() : -1.9999 (in 77144 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1543 real visits) move(x1, y3) : -2.9999 (in 1543 real visits) Used RAM: 258636 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.713362s. THTS: Maximal search depth set to 65 Search time: 0.713365s Statistics of THTS: Performed trials: 97573 Created SearchNodes: 308932 Cache Hits: 42898 Action Selection: Exploitation in Root: 93826 Exploration in Root: 3747 Percentage Exploration in Root: 0.038402 Skipped backups: 32183023 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 97576 real visits) Q-Value Estimates: noop() : -5.3818 (in 1877 real visits) move(x3, y2) : -3002 (in 1877 real visits) move(x2, y1) : -4.42816 (in 93822 real visits) Used RAM: 263648 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.713351s. THTS: Maximal search depth set to 65 Search time: 0.713383s Statistics of THTS: Performed trials: 98255 Created SearchNodes: 307776 Cache Hits: 44292 Action Selection: Exploitation in Root: 92702 Exploration in Root: 5553 Percentage Exploration in Root: 0.0565162 Skipped backups: 34312461 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 98259 real visits) Q-Value Estimates: noop() : -4.4088 (in 1854 real visits) move(x3, y1) : -5.40071 (in 1854 real visits) move(x2, y2) : -2.9999 (in 92697 real visits) move(x1, y1) : -4.9999 (in 1854 real visits) Used RAM: 263648 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.713345s. THTS: Maximal search depth set to 65 Search time: 0.713352s Statistics of THTS: Performed trials: 98016 Created SearchNodes: 305608 Cache Hits: 44651 Action Selection: Exploitation in Root: 90757 Exploration in Root: 7259 Percentage Exploration in Root: 0.0740593 Skipped backups: 36467321 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 98021 real visits) Q-Value Estimates: noop() : -2.9999 (in 1816 real visits) move(x3, y2) : -3002 (in 1816 real visits) move(x2, y3) : -1.9999 (in 90757 real visits) move(x2, y1) : -4.4088 (in 1816 real visits) move(x1, y2) : -3.9999 (in 1816 real visits) Used RAM: 263648 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.713339s. THTS: Maximal search depth set to 65 Search time: 0.713347s Statistics of THTS: Performed trials: 95523 Created SearchNodes: 297689 Cache Hits: 43568 Action Selection: Exploitation in Root: 2 Exploration in Root: 95521 Percentage Exploration in Root: 0.999979 Skipped backups: 38607745 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 95527 real visits) Q-Value Estimates: noop() : -1.9999 (in 91850 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 1837 real visits) move(x1, y3) : -2.9999 (in 1837 real visits) Used RAM: 263648 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.936472s. THTS: Maximal search depth set to 65 Search time: 0.936479s Statistics of THTS: Performed trials: 125078 Created SearchNodes: 395267 Cache Hits: 55175 Action Selection: Exploitation in Root: 120278 Exploration in Root: 4800 Percentage Exploration in Root: 0.0383761 Skipped backups: 41383479 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 125081 real visits) Q-Value Estimates: noop() : -5.40313 (in 2406 real visits) move(x3, y2) : -3002 (in 2406 real visits) move(x2, y1) : -4.42794 (in 120269 real visits) Used RAM: 272360 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.936459s. THTS: Maximal search depth set to 65 Search time: 0.936462s Statistics of THTS: Performed trials: 124131 Created SearchNodes: 392901 Cache Hits: 54605 Action Selection: Exploitation in Root: 119360 Exploration in Root: 4771 Percentage Exploration in Root: 0.0384352 Skipped backups: 44127295 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 124135 real visits) Q-Value Estimates: noop() : -4.42831 (in 119356 real visits) move(x3, y1) : -5.39557 (in 2388 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y1) : -5.40313 (in 2388 real visits) Used RAM: 272360 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.936451s. THTS: Maximal search depth set to 65 Search time: 0.936472s Statistics of THTS: Performed trials: 124107 Created SearchNodes: 388391 Cache Hits: 56103 Action Selection: Exploitation in Root: 117088 Exploration in Root: 7019 Percentage Exploration in Root: 0.056556 Skipped backups: 46892773 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 124111 real visits) Q-Value Estimates: noop() : -4.4169 (in 2342 real visits) move(x3, y1) : -5.40313 (in 2342 real visits) move(x2, y2) : -2.9999 (in 117085 real visits) move(x1, y1) : -4.9999 (in 2342 real visits) Used RAM: 272360 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.936443s. THTS: Maximal search depth set to 65 Search time: 0.93645s Statistics of THTS: Performed trials: 124718 Created SearchNodes: 389091 Cache Hits: 56794 Action Selection: Exploitation in Root: 115484 Exploration in Root: 9234 Percentage Exploration in Root: 0.074039 Skipped backups: 49713701 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 124723 real visits) Q-Value Estimates: noop() : -2.9999 (in 2310 real visits) move(x3, y2) : -3002 (in 2310 real visits) move(x2, y3) : -1.9999 (in 115483 real visits) move(x2, y1) : -4.4169 (in 2310 real visits) move(x1, y2) : -3.9999 (in 2310 real visits) Used RAM: 272360 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.936429s. THTS: Maximal search depth set to 65 Search time: 0.936441s Statistics of THTS: Performed trials: 123930 Created SearchNodes: 386091 Cache Hits: 56608 Action Selection: Exploitation in Root: 2 Exploration in Root: 123928 Percentage Exploration in Root: 0.999984 Skipped backups: 52575941 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 123934 real visits) Q-Value Estimates: noop() : -1.9999 (in 119163 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 2384 real visits) move(x1, y3) : -2.9999 (in 2384 real visits) Used RAM: 272360 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.36862s. THTS: Maximal search depth set to 65 Search time: 1.36862s Statistics of THTS: Performed trials: 173597 Created SearchNodes: 547193 Cache Hits: 77151 Action Selection: Exploitation in Root: 166926 Exploration in Root: 6671 Percentage Exploration in Root: 0.0384281 Skipped backups: 56576329 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 173600 real visits) Q-Value Estimates: noop() : -5.40313 (in 3339 real visits) move(x3, y2) : -3002 (in 3339 real visits) move(x2, y1) : -4.42816 (in 166922 real visits) Used RAM: 287664 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.3686s. THTS: Maximal search depth set to 65 Search time: 1.3686s Statistics of THTS: Performed trials: 173130 Created SearchNodes: 546873 Cache Hits: 76588 Action Selection: Exploitation in Root: 166478 Exploration in Root: 6652 Percentage Exploration in Root: 0.038422 Skipped backups: 60555585 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.4283 (in 173134 real visits) Q-Value Estimates: noop() : -4.4283 (in 166471 real visits) move(x3, y1) : -5.41447 (in 3330 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y1) : -5.40313 (in 3330 real visits) Used RAM: 287924 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.36859s. THTS: Maximal search depth set to 65 Search time: 1.3686s Statistics of THTS: Performed trials: 172883 Created SearchNodes: 540892 Cache Hits: 78270 Action Selection: Exploitation in Root: 163103 Exploration in Root: 9780 Percentage Exploration in Root: 0.0565701 Skipped backups: 64557915 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 172887 real visits) Q-Value Estimates: noop() : -4.4169 (in 3262 real visits) move(x3, y1) : -5.39557 (in 3262 real visits) move(x2, y2) : -2.9999 (in 163101 real visits) move(x1, y1) : -4.9999 (in 3262 real visits) Used RAM: 287924 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.36857s. THTS: Maximal search depth set to 65 Search time: 1.36858s Statistics of THTS: Performed trials: 173472 Created SearchNodes: 540414 Cache Hits: 79191 Action Selection: Exploitation in Root: 160627 Exploration in Root: 12845 Percentage Exploration in Root: 0.0740465 Skipped backups: 68627929 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 173477 real visits) Q-Value Estimates: noop() : -2.9999 (in 3213 real visits) move(x3, y2) : -3002 (in 3213 real visits) move(x2, y3) : -1.9999 (in 160625 real visits) move(x2, y1) : -4.4088 (in 3213 real visits) move(x1, y2) : -3.9999 (in 3213 real visits) Used RAM: 287924 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.36855s. THTS: Maximal search depth set to 65 Search time: 1.36856s Statistics of THTS: Performed trials: 172973 Created SearchNodes: 537577 Cache Hits: 79273 Action Selection: Exploitation in Root: 2 Exploration in Root: 172971 Percentage Exploration in Root: 0.999988 Skipped backups: 72769585 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 172977 real visits) Q-Value Estimates: noop() : -1.9999 (in 166320 real visits) move(x3, y3) : SOLVED with: -0.9999 (in 3 real visits) move(x2, y2) : -2.9999 (in 3327 real visits) move(x1, y3) : -2.9999 (in 3327 real visits) Used RAM: 287924 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.6318s. THTS: Maximal search depth set to 65 Search time: 2.63181s Statistics of THTS: Performed trials: 310216 Created SearchNodes: 975806 Cache Hits: 138519 Action Selection: Exploitation in Root: 298300 Exploration in Root: 11916 Percentage Exploration in Root: 0.0384119 Skipped backups: 80387359 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 310219 real visits) Q-Value Estimates: noop() : -5.41447 (in 5966 real visits) move(x3, y2) : -3002 (in 5966 real visits) move(x2, y1) : -4.42831 (in 298287 real visits) Used RAM: 330944 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.63177s. THTS: Maximal search depth set to 65 Search time: 2.63177s Statistics of THTS: Performed trials: 308693 Created SearchNodes: 971533 Cache Hits: 137792 Action Selection: Exploitation in Root: 296826 Exploration in Root: 11867 Percentage Exploration in Root: 0.0384427 Skipped backups: 87946079 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 308697 real visits) Q-Value Estimates: noop() : -4.42816 (in 296820 real visits) move(x3, y1) : -5.41447 (in 5937 real visits) move(x2, y2) : SOLVED with: -10002 (in 3 real visits) move(x1, y1) : -5.42257 (in 5937 real visits) Used RAM: 330944 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.63173s. THTS: Maximal search depth set to 65 Search time: 2.63174s Statistics of THTS: Performed trials: 309365 Created SearchNodes: 967625 Cache Hits: 140160 Action Selection: Exploitation in Root: 291857 Exploration in Root: 17508 Percentage Exploration in Root: 0.0565933 Skipped backups: 95579569 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 309369 real visits) Q-Value Estimates: noop() : -4.42257 (in 5838 real visits) move(x3, y1) : -5.41447 (in 5838 real visits) move(x2, y2) : -2.9999 (in 291855 real visits) move(x1, y1) : -4.9999 (in 5838 real visits) Used RAM: 330944 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.63169s. THTS: Maximal search depth set to 65 Search time: 2.6317s Statistics of THTS: Performed trials: 305038 Created SearchNodes: 950450 Cache Hits: 139178 Action Selection: Exploitation in Root: 287772 Exploration in Root: 17266 Percentage Exploration in Root: 0.0566028 Skipped backups: 103253411 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 305043 real visits) Q-Value Estimates: noop() : SOLVED with: -10002 (in 3 real visits) move(x3, y2) : -3002 (in 5756 real visits) move(x2, y3) : -1.9999 (in 287772 real visits) move(x2, y1) : -4.42257 (in 5756 real visits) move(x1, y2) : -3.9999 (in 5756 real visits) Used RAM: 330944 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.63167s. THTS: Maximal search depth set to 65 Search time: 2.63168s Statistics of THTS: Performed trials: 302344 Created SearchNodes: 941748 Cache Hits: 138113 Action Selection: Exploitation in Root: 2 Exploration in Root: 302342 Percentage Exploration in Root: 0.999993 Skipped backups: 111003787 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 302348 real visits) Q-Value Estimates: noop() : -1.9999 (in 296413 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 5929 real visits) Used RAM: 330944 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.702s