info

algorithm local_revision global_revision revision_summary build_options driver_options component_options
issue707-v3a-dfp-b50k-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_bisimulation(greedy=false),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_bisimulation(greedy=false),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_irrelevant_states=false))']
issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_bisimulation(greedy=false),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_unreachable_states=false))']
issue707-v3a-dfp-f50k-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_fh(),label_reduction=exact(before_shrinking=false,before_merging=true),max_states=50000,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_fh(),label_reduction=exact(before_shrinking=false,before_merging=true),max_states=50000,prune_irrelevant_states=false))']
issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_fh(),label_reduction=exact(before_shrinking=false,before_merging=true),max_states=50000,prune_unreachable_states=false))']
issue707-v3a-dfp-ginf-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_bisimulation(greedy=true),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_bisimulation(greedy=true),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_irrelevant_states=false))']
issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_stateless(merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])),shrink_strategy=shrink_bisimulation(greedy=true),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_unreachable_states=false))']
issue707-v3a-rl-b50k-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_bisimulation(greedy=false),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_bisimulation(greedy=false),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_irrelevant_states=false))']
issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_bisimulation(greedy=false),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_unreachable_states=false))']
issue707-v3a-rl-f50k-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_fh(),label_reduction=exact(before_shrinking=false,before_merging=true),max_states=50000,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_fh(),label_reduction=exact(before_shrinking=false,before_merging=true),max_states=50000,prune_irrelevant_states=false))']
issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_fh(),label_reduction=exact(before_shrinking=false,before_merging=true),max_states=50000,prune_unreachable_states=false))']
issue707-v3a-rl-ginf-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_bisimulation(greedy=true),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_bisimulation(greedy=true),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_irrelevant_states=false))']
issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear(variable_order=reverse_level)),shrink_strategy=shrink_bisimulation(greedy=true),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_unreachable_states=false))']
issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=false),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=false),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_irrelevant_states=false))']
issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=false),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,threshold_before_merge=1,prune_unreachable_states=false))']
issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_fh(),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_fh(),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,prune_irrelevant_states=false))']
issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_fh(),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=50000,prune_unreachable_states=false))']
issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=true),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_unreachable_states=false,prune_irrelevant_states=false))']
issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=true),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_irrelevant_states=false))']
issue707-v3a-sccs-dfp-ginf-nopruneunreachable issue707-v3a 18f30ba54894 18f30ba54894 (issue707) issue707-v3a ['-j16'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=true),merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order(atomic_ts_order=reverse_level,product_ts_order=new_to_old,atomic_before_product=false)])),label_reduction=exact(before_shrinking=true,before_merging=false),max_states=infinity,threshold_before_merge=1,prune_unreachable_states=false))']

summary

Summary issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
coverage - Sum 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
evaluations - Geometric mean 38.08 38.08 38.08 38.08 38.08 38.08 2994.80 2994.80 2994.80 38.08 38.08 38.08 2994.80 2994.80 2994.80 2994.80 2994.80 2994.80 2846.31 2846.31 2846.31 2994.80 2994.80 2994.80 2994.80 2994.80 2994.80
expansions - Geometric mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
expansions_until_last_jump - Sum 2102645 2102645 2102645 2102761 2102761 2102761 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769
generated - Geometric mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
ms_abstraction_constructed - Sum 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11
ms_atomic_construction_time - Geometric mean 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
ms_construction_time - Geometric mean 1.15 0.45 0.44 0.78 0.59 0.59 0.26 0.26 0.26 0.93 0.98 0.92 1.21 1.24 1.25 0.41 0.40 0.40 1.26 1.24 1.27 1.89 1.82 1.93 0.28 0.27 0.28
ms_final_size - Sum 10684 5884 10680 249998 249824 249998 23 23 23 17851 17244 17841 249961 237087 249961 23 23 23 4209 3207 4208 248645 233735 248445 23 23 23
ms_out_of_memory - Sum 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
ms_out_of_time - Sum 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
quality - Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
score_evaluations - Arithmetic mean 0.45 0.45 0.45 0.45 0.45 0.45 0.18 0.18 0.18 0.27 0.27 0.27 0.18 0.18 0.18 0.18 0.18 0.18 0.36 0.27 0.36 0.18 0.18 0.18 0.18 0.18 0.18
score_expansions - Arithmetic mean 0.45 0.45 0.45 0.45 0.45 0.45 0.18 0.18 0.18 0.27 0.27 0.27 0.18 0.18 0.18 0.18 0.18 0.18 0.36 0.27 0.36 0.18 0.18 0.18 0.18 0.18 0.18
score_generated - Arithmetic mean 0.45 0.45 0.45 0.45 0.45 0.45 0.18 0.18 0.18 0.27 0.27 0.27 0.18 0.18 0.18 0.18 0.18 0.18 0.36 0.27 0.36 0.18 0.18 0.18 0.18 0.18 0.18
score_memory - Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
score_search_time - Arithmetic mean 0.52 0.52 0.52 0.51 0.52 0.52 0.27 0.27 0.27 0.33 0.33 0.33 0.27 0.27 0.27 0.27 0.27 0.27 0.46 0.37 0.46 0.27 0.27 0.27 0.27 0.27 0.27
score_total_time - Arithmetic mean 0.45 0.51 0.51 0.49 0.51 0.51 0.27 0.27 0.27 0.33 0.33 0.33 0.27 0.27 0.27 0.27 0.27 0.27 0.41 0.34 0.41 0.27 0.27 0.27 0.27 0.27 0.27
search_out_of_memory - Sum 5 5 5 5 5 5 7 7 7 7 7 7 7 7 7 7 7 7 5 6 5 7 7 7 7 7 7
search_out_of_time - Sum 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
search_time - Geometric mean 0.06 0.06 0.06 0.06 0.06 0.06 0.69 0.68 0.69 0.06 0.06 0.06 0.70 0.70 0.69 0.68 0.70 0.68 0.62 0.62 0.62 0.69 0.69 0.68 0.68 0.68 0.68
total_time - Geometric mean 0.23 0.07 0.07 0.09 0.07 0.07 0.69 0.69 0.69 0.19 0.19 0.19 0.71 0.72 0.71 0.68 0.70 0.68 0.63 0.63 0.63 0.70 0.70 0.69 0.68 0.68 0.68
unsolvable - Sum 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

coverage

coverage issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Sum (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

The last row reports the sum across all domains.

mystery

coverage issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob07.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob16.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob18.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

error

Domain-wise reports only support numeric attributes, but error has type str.

mystery

error issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan
prob05.pddl out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory
prob07.pddl incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan
prob08.pddl out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory
prob12.pddl incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan
prob16.pddl incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory incomplete-search-found-no-plan out-of-memory incomplete-search-found-no-plan out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory
prob18.pddl incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan
prob21.pddl out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory
prob22.pddl out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory
prob23.pddl out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory
prob24.pddl incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan incomplete-search-found-no-plan out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory out-of-memory

evaluations

evaluations issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (4) 38.08 38.08 38.08 38.08 38.08 38.08 2994.80 2994.80 2994.80 38.08 38.08 38.08 2994.80 2994.80 2994.80 2994.80 2994.80 2994.80 2846.31 2846.31 2846.31 2994.80 2994.80 2994.80 2994.80 2994.80 2994.80
Geometric mean (4) 38.08 38.08 38.08 38.08 38.08 38.08 2994.80 2994.80 2994.80 38.08 38.08 38.08 2994.80 2994.80 2994.80 2994.80 2994.80 2994.80 2846.31 2846.31 2846.31 2994.80 2994.80 2994.80 2994.80 2994.80 2994.80

Only instances where all algorithms have a value for "evaluations" are considered. Each table entry gives the geometric mean of "evaluations" for that domain. The last row reports the geometric mean across all domains.

mystery

evaluations issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 1 1 1 1 1 1 38254137 38254137 38254137 1 1 1 38254052 38254052 38254052 38254137 38254137 38254137 31213077 31213077 31213077 38254062 38254062 38254062 38254137 38254137 38254137
prob05.pddl None None None None None None None None None None None None None None None None None None 1 1 1 None None None None None None
prob07.pddl 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
prob08.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob12.pddl 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777
prob16.pddl 1 1 1 1 1 1 None None None None None None None None None None None None 1 None 1 None None None None None None
prob18.pddl 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
prob21.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob22.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob23.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob24.pddl 1 1 1 1 1 1 None None None None None None None None None None None None None None None None None None None None None

expansions

expansions issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (4) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Geometric mean (4) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

Only instances where all algorithms have a value for "expansions" are considered. Each table entry gives the geometric mean of "expansions" for that domain. The last row reports the geometric mean across all domains.

mystery

expansions issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0 0 0 0 0 0 38254137 38254137 38254137 0 0 0 38253907 38253907 38253907 38254137 38254137 38254137 18751925 18751925 18751925 38253977 38253977 38253977 38254137 38254137 38254137
prob05.pddl None None None None None None None None None None None None None None None None None None 0 0 0 None None None None None None
prob07.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob08.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob12.pddl 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777 2102777
prob16.pddl 0 0 0 0 0 0 None None None None None None None None None None None None 0 None 0 None None None None None None
prob18.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob21.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob22.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob23.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob24.pddl 0 0 0 0 0 0 None None None None None None None None None None None None None None None None None None None None None

expansions_until_last_jump

expansions_until_last_jump issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (1) 2102645 2102645 2102645 2102761 2102761 2102761 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769
Sum (1) 2102645 2102645 2102645 2102761 2102761 2102761 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769

Only instances where all algorithms have a value for "expansions_until_last_jump" are considered. Each table entry gives the sum of "expansions_until_last_jump" for that domain. The last row reports the sum across all domains.

mystery

expansions_until_last_jump issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl None None None None None None 38254129 38254129 38254129 None None None 38253899 38253899 38253899 38254129 38254129 38254129 18751804 18751804 18751804 38253969 38253969 38253969 38254129 38254129 38254129
prob05.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob07.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob08.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob12.pddl 2102645 2102645 2102645 2102761 2102761 2102761 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769 2102769
prob16.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob18.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob21.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob22.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob23.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob24.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None

generated

generated issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (4) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Geometric mean (4) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

Only instances where all algorithms have a value for "generated" are considered. Each table entry gives the geometric mean of "generated" for that domain. The last row reports the geometric mean across all domains.

mystery

generated issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0 0 0 0 0 0 82970715 82970715 82970715 0 0 0 82970529 82970529 82970529 82970715 82970715 82970715 57870979 57870979 57870979 82970553 82970553 82970553 82970715 82970715 82970715
prob05.pddl None None None None None None None None None None None None None None None None None None 0 0 0 None None None None None None
prob07.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob08.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob12.pddl 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147 10994147
prob16.pddl 0 0 0 0 0 0 None None None None None None None None None None None None 0 None 0 None None None None None None
prob18.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob21.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob22.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob23.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob24.pddl 0 0 0 0 0 0 None None None None None None None None None None None None None None None None None None None None None

ms_abstraction_constructed

ms_abstraction_constructed issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11
Sum (11) 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11

The last row reports the sum across all domains.

mystery

ms_abstraction_constructed issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob05.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob07.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob08.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob12.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob16.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob18.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob21.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob22.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob23.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob24.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True

ms_atomic_construction_time

ms_atomic_construction_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
Geometric mean (11) 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02

Only instances where all algorithms have a value for "ms_atomic_construction_time" are considered. Each table entry gives the geometric mean of "ms_atomic_construction_time" for that domain. The last row reports the geometric mean across all domains.

mystery

ms_atomic_construction_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob05.pddl 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04
prob07.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob08.pddl 0.06 0.05 0.05 0.05 0.06 0.06 0.05 0.05 0.05 0.06 0.06 0.06 0.06 0.06 0.06 0.06 0.06 0.06 0.06 0.05 0.05 0.06 0.06 0.06 0.05 0.05 0.05
prob12.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob16.pddl 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04 0.04
prob18.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob21.pddl 0.22 0.22 0.21 0.21 0.22 0.22 0.22 0.21 0.21 0.22 0.22 0.22 0.21 0.21 0.21 0.21 0.22 0.23 0.22 0.23 0.21 0.21 0.21 0.22 0.21 0.22 0.21
prob22.pddl 1.02 1.02 1.01 1.01 0.99 0.99 1.01 1.01 1.00 1.02 1.03 1.00 1.02 1.01 1.00 0.98 1.04 1.01 1.04 1.02 1.04 1.01 1.00 1.06 0.99 1.02 1.02
prob23.pddl 0.23 0.24 0.24 0.23 0.24 0.24 0.24 0.24 0.23 0.23 0.24 0.23 0.24 0.23 0.23 0.24 0.24 0.24 0.23 0.24 0.24 0.23 0.24 0.24 0.23 0.24 0.24
prob24.pddl 0.16 0.16 0.16 0.16 0.16 0.16 0.17 0.16 0.16 0.16 0.16 0.17 0.16 0.16 0.16 0.16 0.16 0.17 0.16 0.16 0.17 0.16 0.16 0.16 0.16 0.16 0.16

ms_construction_time

ms_construction_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 1.15 0.45 0.44 0.78 0.59 0.59 0.26 0.26 0.26 0.93 0.98 0.92 1.21 1.24 1.25 0.41 0.40 0.40 1.26 1.24 1.27 1.89 1.82 1.93 0.28 0.27 0.28
Geometric mean (11) 1.15 0.45 0.44 0.78 0.59 0.59 0.26 0.26 0.26 0.93 0.98 0.92 1.21 1.24 1.25 0.41 0.40 0.40 1.26 1.24 1.27 1.89 1.82 1.93 0.28 0.27 0.28

Only instances where all algorithms have a value for "ms_construction_time" are considered. Each table entry gives the geometric mean of "ms_construction_time" for that domain. The last row reports the geometric mean across all domains.

mystery

ms_construction_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 2.06 0.01 0.01 0.05 0.01 0.01 0.02 0.02 0.02 0.95 0.88 1.02 0.40 0.47 0.48 0.04 0.04 0.04 0.74 0.71 0.74 0.85 0.87 0.88 0.02 0.02 0.02
prob05.pddl 1.79 1.72 1.73 4.01 4.30 4.03 0.52 0.53 0.52 3.44 3.18 3.54 4.26 4.51 4.43 0.86 0.89 0.85 8.30 9.00 8.66 13.73 12.78 12.83 0.57 0.56 0.55
prob07.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob08.pddl 4.70 5.19 4.74 14.02 14.14 14.15 0.94 0.93 0.98 2.58 2.63 2.58 6.71 7.01 7.05 2.35 2.35 2.34 5.29 5.45 5.24 11.23 11.03 11.61 1.04 1.03 1.02
prob12.pddl 1.46 1.41 1.53 1.37 1.55 1.49 0.04 0.04 0.04 0.94 0.96 0.94 1.18 1.34 1.23 0.07 0.07 0.07 0.91 0.49 0.94 0.59 0.46 0.63 0.04 0.04 0.04
prob16.pddl 4.46 0.25 0.24 0.56 0.25 0.25 0.72 0.72 0.74 2.49 2.40 2.51 6.92 6.96 7.39 1.03 1.02 1.02 5.40 5.60 5.61 11.39 10.82 11.01 0.76 0.77 0.80
prob18.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob21.pddl 23.95 24.78 23.15 30.40 37.41 34.89 8.02 7.67 7.55 21.15 19.82 19.65 28.83 28.39 27.93 13.57 13.42 13.47 28.74 30.76 29.53 56.36 58.05 61.53 8.90 7.80 7.90
prob22.pddl 118.39 119.58 113.81 190.32 183.90 211.93 86.24 86.27 83.52 125.61 124.69 128.21 182.27 177.54 173.93 130.32 139.21 137.80 118.68 151.84 123.41 232.15 234.39 239.89 91.20 86.95 99.03
prob23.pddl 20.41 23.05 20.70 33.58 32.25 31.31 11.12 11.14 10.98 18.42 16.02 18.38 27.53 26.26 26.28 15.87 15.29 15.45 22.51 24.73 23.69 49.78 50.60 57.07 12.26 11.79 12.63
prob24.pddl 20.12 1.53 1.55 4.69 1.50 1.56 4.44 4.37 4.22 12.80 15.06 12.77 18.65 19.32 18.07 9.60 8.90 9.48 20.95 21.23 21.42 39.96 40.39 42.19 4.82 4.79 4.90

ms_final_size

ms_final_size issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (5) 10684 5884 10680 249998 249824 249998 23 23 23 17851 17244 17841 249961 237087 249961 23 23 23 4209 3207 4208 248645 233735 248445 23 23 23
Sum (5) 10684 5884 10680 249998 249824 249998 23 23 23 17851 17244 17841 249961 237087 249961 23 23 23 4209 3207 4208 248645 233735 248445 23 23 23

Only instances where all algorithms have a value for "ms_final_size" are considered. Each table entry gives the sum of "ms_final_size" for that domain. The last row reports the sum across all domains.

mystery

ms_final_size issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 44712 None None None None None 3 3 3 36069 None None 49995 29622 46443 3 3 3 296 211 251 49729 26262 47798 3 3 3
prob05.pddl 1792 1792 1792 49992 49992 49992 16 16 16 3136 3136 3136 49992 49992 49992 16 16 16 31200 None None 49729 46737 49729 7 7 7
prob07.pddl 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None
prob08.pddl 16 16 16 50000 50000 50000 4 4 4 729 729 729 49998 49252 49998 4 4 4 345 345 345 49729 49729 49529 4 4 4
prob12.pddl 12 12 12 49998 49824 49998 4 4 4 630 50 620 49992 37864 49992 4 4 4 8 77 7 49729 34819 49729 4 4 4
prob16.pddl 22896 None None None None None 25 25 25 29664 29664 29664 49986 49986 49986 25 25 25 14085 185 None 50000 50000 24678 9 9 9
prob18.pddl 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None 2 None None
prob21.pddl 1796 644 1792 50000 50000 50000 4 4 4 15552 15552 15552 49986 49986 49986 4 4 4 765 980 765 49729 49729 49729 4 4 4
prob22.pddl 28 28 28 50000 50000 50000 6 6 6 44 17 44 49987 49987 49987 6 6 6 2376 1190 2376 49729 49729 49729 6 6 6
prob23.pddl 8832 5184 8832 50000 50000 50000 5 5 5 896 896 896 49998 49998 49998 5 5 5 715 615 715 49729 49729 49729 5 5 5
prob24.pddl 23949 None None None None None 60 60 60 18032 18032 18032 49986 49626 49986 60 60 60 39060 27440 33022 49729 49729 49729 15 15 15

ms_out_of_memory

ms_out_of_memory issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (5,5,5,5,5,5,7,7,7,7,7,7,7,7,7,7,7,7,5,6,5,7,7,7,7,7,7) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Sum (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

The last row reports the sum across all domains.

mystery

ms_out_of_memory issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob05.pddl False False False False False False False False False False False False False False False False False False None None None False False False False False False
prob07.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob08.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob12.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob16.pddl None None None None None None False False False False False False False False False False False False None False None False False False False False False
prob18.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob21.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob22.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob23.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob24.pddl None None None None None None False False False False False False False False False False False False False False False False False False False False False

ms_out_of_time

ms_out_of_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (5,5,5,5,5,5,7,7,7,7,7,7,7,7,7,7,7,7,5,6,5,7,7,7,7,7,7) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Sum (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

The last row reports the sum across all domains.

mystery

ms_out_of_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob05.pddl False False False False False False False False False False False False False False False False False False None None None False False False False False False
prob07.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob08.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob12.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob16.pddl None None None None None None False False False False False False False False False False False False None False None False False False False False False
prob18.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob21.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob22.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob23.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob24.pddl None None None None None None False False False False False False False False False False False False False False False False False False False False False

quality

quality issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Sum (11) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

The last row reports the sum across all domains.

mystery

quality issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob05.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob07.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob08.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob12.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob16.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob18.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob21.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob22.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob23.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
prob24.pddl 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

run_dir

Domain-wise reports only support numeric attributes, but run_dir has type str.

mystery

run_dir issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl runs-00201-00300/00210 runs-00101-00200/00111 runs-00001-00100/00012 runs-00201-00300/00276 runs-00101-00200/00177 runs-00001-00100/00078 runs-00201-00300/00243 runs-00101-00200/00144 runs-00001-00100/00045 runs-00101-00200/00199 runs-00001-00100/00100 runs-00001-00100/00001 runs-00201-00300/00265 runs-00101-00200/00166 runs-00001-00100/00067 runs-00201-00300/00232 runs-00101-00200/00133 runs-00001-00100/00034 runs-00201-00300/00221 runs-00101-00200/00122 runs-00001-00100/00023 runs-00201-00300/00287 runs-00101-00200/00188 runs-00001-00100/00089 runs-00201-00300/00254 runs-00101-00200/00155 runs-00001-00100/00056
prob05.pddl runs-00201-00300/00211 runs-00101-00200/00112 runs-00001-00100/00013 runs-00201-00300/00277 runs-00101-00200/00178 runs-00001-00100/00079 runs-00201-00300/00244 runs-00101-00200/00145 runs-00001-00100/00046 runs-00101-00200/00200 runs-00101-00200/00101 runs-00001-00100/00002 runs-00201-00300/00266 runs-00101-00200/00167 runs-00001-00100/00068 runs-00201-00300/00233 runs-00101-00200/00134 runs-00001-00100/00035 runs-00201-00300/00222 runs-00101-00200/00123 runs-00001-00100/00024 runs-00201-00300/00288 runs-00101-00200/00189 runs-00001-00100/00090 runs-00201-00300/00255 runs-00101-00200/00156 runs-00001-00100/00057
prob07.pddl runs-00201-00300/00212 runs-00101-00200/00113 runs-00001-00100/00014 runs-00201-00300/00278 runs-00101-00200/00179 runs-00001-00100/00080 runs-00201-00300/00245 runs-00101-00200/00146 runs-00001-00100/00047 runs-00201-00300/00201 runs-00101-00200/00102 runs-00001-00100/00003 runs-00201-00300/00267 runs-00101-00200/00168 runs-00001-00100/00069 runs-00201-00300/00234 runs-00101-00200/00135 runs-00001-00100/00036 runs-00201-00300/00223 runs-00101-00200/00124 runs-00001-00100/00025 runs-00201-00300/00289 runs-00101-00200/00190 runs-00001-00100/00091 runs-00201-00300/00256 runs-00101-00200/00157 runs-00001-00100/00058
prob08.pddl runs-00201-00300/00213 runs-00101-00200/00114 runs-00001-00100/00015 runs-00201-00300/00279 runs-00101-00200/00180 runs-00001-00100/00081 runs-00201-00300/00246 runs-00101-00200/00147 runs-00001-00100/00048 runs-00201-00300/00202 runs-00101-00200/00103 runs-00001-00100/00004 runs-00201-00300/00268 runs-00101-00200/00169 runs-00001-00100/00070 runs-00201-00300/00235 runs-00101-00200/00136 runs-00001-00100/00037 runs-00201-00300/00224 runs-00101-00200/00125 runs-00001-00100/00026 runs-00201-00300/00290 runs-00101-00200/00191 runs-00001-00100/00092 runs-00201-00300/00257 runs-00101-00200/00158 runs-00001-00100/00059
prob12.pddl runs-00201-00300/00214 runs-00101-00200/00115 runs-00001-00100/00016 runs-00201-00300/00280 runs-00101-00200/00181 runs-00001-00100/00082 runs-00201-00300/00247 runs-00101-00200/00148 runs-00001-00100/00049 runs-00201-00300/00203 runs-00101-00200/00104 runs-00001-00100/00005 runs-00201-00300/00269 runs-00101-00200/00170 runs-00001-00100/00071 runs-00201-00300/00236 runs-00101-00200/00137 runs-00001-00100/00038 runs-00201-00300/00225 runs-00101-00200/00126 runs-00001-00100/00027 runs-00201-00300/00291 runs-00101-00200/00192 runs-00001-00100/00093 runs-00201-00300/00258 runs-00101-00200/00159 runs-00001-00100/00060
prob16.pddl runs-00201-00300/00215 runs-00101-00200/00116 runs-00001-00100/00017 runs-00201-00300/00281 runs-00101-00200/00182 runs-00001-00100/00083 runs-00201-00300/00248 runs-00101-00200/00149 runs-00001-00100/00050 runs-00201-00300/00204 runs-00101-00200/00105 runs-00001-00100/00006 runs-00201-00300/00270 runs-00101-00200/00171 runs-00001-00100/00072 runs-00201-00300/00237 runs-00101-00200/00138 runs-00001-00100/00039 runs-00201-00300/00226 runs-00101-00200/00127 runs-00001-00100/00028 runs-00201-00300/00292 runs-00101-00200/00193 runs-00001-00100/00094 runs-00201-00300/00259 runs-00101-00200/00160 runs-00001-00100/00061
prob18.pddl runs-00201-00300/00216 runs-00101-00200/00117 runs-00001-00100/00018 runs-00201-00300/00282 runs-00101-00200/00183 runs-00001-00100/00084 runs-00201-00300/00249 runs-00101-00200/00150 runs-00001-00100/00051 runs-00201-00300/00205 runs-00101-00200/00106 runs-00001-00100/00007 runs-00201-00300/00271 runs-00101-00200/00172 runs-00001-00100/00073 runs-00201-00300/00238 runs-00101-00200/00139 runs-00001-00100/00040 runs-00201-00300/00227 runs-00101-00200/00128 runs-00001-00100/00029 runs-00201-00300/00293 runs-00101-00200/00194 runs-00001-00100/00095 runs-00201-00300/00260 runs-00101-00200/00161 runs-00001-00100/00062
prob21.pddl runs-00201-00300/00217 runs-00101-00200/00118 runs-00001-00100/00019 runs-00201-00300/00283 runs-00101-00200/00184 runs-00001-00100/00085 runs-00201-00300/00250 runs-00101-00200/00151 runs-00001-00100/00052 runs-00201-00300/00206 runs-00101-00200/00107 runs-00001-00100/00008 runs-00201-00300/00272 runs-00101-00200/00173 runs-00001-00100/00074 runs-00201-00300/00239 runs-00101-00200/00140 runs-00001-00100/00041 runs-00201-00300/00228 runs-00101-00200/00129 runs-00001-00100/00030 runs-00201-00300/00294 runs-00101-00200/00195 runs-00001-00100/00096 runs-00201-00300/00261 runs-00101-00200/00162 runs-00001-00100/00063
prob22.pddl runs-00201-00300/00218 runs-00101-00200/00119 runs-00001-00100/00020 runs-00201-00300/00284 runs-00101-00200/00185 runs-00001-00100/00086 runs-00201-00300/00251 runs-00101-00200/00152 runs-00001-00100/00053 runs-00201-00300/00207 runs-00101-00200/00108 runs-00001-00100/00009 runs-00201-00300/00273 runs-00101-00200/00174 runs-00001-00100/00075 runs-00201-00300/00240 runs-00101-00200/00141 runs-00001-00100/00042 runs-00201-00300/00229 runs-00101-00200/00130 runs-00001-00100/00031 runs-00201-00300/00295 runs-00101-00200/00196 runs-00001-00100/00097 runs-00201-00300/00262 runs-00101-00200/00163 runs-00001-00100/00064
prob23.pddl runs-00201-00300/00219 runs-00101-00200/00120 runs-00001-00100/00021 runs-00201-00300/00285 runs-00101-00200/00186 runs-00001-00100/00087 runs-00201-00300/00252 runs-00101-00200/00153 runs-00001-00100/00054 runs-00201-00300/00208 runs-00101-00200/00109 runs-00001-00100/00010 runs-00201-00300/00274 runs-00101-00200/00175 runs-00001-00100/00076 runs-00201-00300/00241 runs-00101-00200/00142 runs-00001-00100/00043 runs-00201-00300/00230 runs-00101-00200/00131 runs-00001-00100/00032 runs-00201-00300/00296 runs-00101-00200/00197 runs-00001-00100/00098 runs-00201-00300/00263 runs-00101-00200/00164 runs-00001-00100/00065
prob24.pddl runs-00201-00300/00220 runs-00101-00200/00121 runs-00001-00100/00022 runs-00201-00300/00286 runs-00101-00200/00187 runs-00001-00100/00088 runs-00201-00300/00253 runs-00101-00200/00154 runs-00001-00100/00055 runs-00201-00300/00209 runs-00101-00200/00110 runs-00001-00100/00011 runs-00201-00300/00275 runs-00101-00200/00176 runs-00001-00100/00077 runs-00201-00300/00242 runs-00101-00200/00143 runs-00001-00100/00044 runs-00201-00300/00231 runs-00101-00200/00132 runs-00001-00100/00033 runs-00201-00300/00297 runs-00101-00200/00198 runs-00001-00100/00099 runs-00201-00300/00264 runs-00101-00200/00165 runs-00001-00100/00066

score_evaluations

score_evaluations issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.4545 0.4545 0.4545 0.4545 0.4545 0.4545 0.1818 0.1818 0.1818 0.2727 0.2727 0.2727 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818 0.3636 0.2727 0.3636 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818
Arithmetic mean (11) 0.4545 0.4545 0.4545 0.4545 0.4545 0.4545 0.1818 0.1818 0.1818 0.2727 0.2727 0.2727 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818 0.3636 0.2727 0.3636 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818

Only instances where all algorithms have a value for "score_evaluations" are considered. Each table entry gives the arithmetic mean of "score_evaluations" for that domain. The last row reports the arithmetic mean across all domains.

mystery

score_evaluations issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 -0.0000 -0.0000 -0.0000 1.0000 1.0000 1.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 1.0000 1.0000 0 0 0 0 0 0
prob07.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000
prob16.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 0 1.0000 0 0 0 0 0 0
prob18.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

score_expansions

score_expansions issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.4545 0.4545 0.4545 0.4545 0.4545 0.4545 0.1818 0.1818 0.1818 0.2727 0.2727 0.2727 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818 0.3636 0.2727 0.3636 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818
Arithmetic mean (11) 0.4545 0.4545 0.4545 0.4545 0.4545 0.4545 0.1818 0.1818 0.1818 0.2727 0.2727 0.2727 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818 0.3636 0.2727 0.3636 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818

Only instances where all algorithms have a value for "score_expansions" are considered. Each table entry gives the arithmetic mean of "score_expansions" for that domain. The last row reports the arithmetic mean across all domains.

mystery

score_expansions issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 -0.0000 -0.0000 -0.0000 1.0000 1.0000 1.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 1.0000 1.0000 0 0 0 0 0 0
prob07.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000
prob16.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 0 1.0000 0 0 0 0 0 0
prob18.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

score_generated

score_generated issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.4545 0.4545 0.4545 0.4545 0.4545 0.4545 0.1818 0.1818 0.1818 0.2727 0.2727 0.2727 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818 0.3636 0.2727 0.3636 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818
Arithmetic mean (11) 0.4545 0.4545 0.4545 0.4545 0.4545 0.4545 0.1818 0.1818 0.1818 0.2727 0.2727 0.2727 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818 0.3636 0.2727 0.3636 0.1818 0.1818 0.1818 0.1818 0.1818 0.1818

Only instances where all algorithms have a value for "score_generated" are considered. Each table entry gives the arithmetic mean of "score_generated" for that domain. The last row reports the arithmetic mean across all domains.

mystery

score_generated issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 -0.0000 -0.0000 -0.0000 1.0000 1.0000 1.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 1.0000 1.0000 0 0 0 0 0 0
prob07.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000 -0.0000
prob16.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 0 1.0000 0 0 0 0 0 0
prob18.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

score_memory

score_memory issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000
Arithmetic mean (11) 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000 0.0000

Only instances where all algorithms have a value for "score_memory" are considered. Each table entry gives the arithmetic mean of "score_memory" for that domain. The last row reports the arithmetic mean across all domains.

mystery

score_memory issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob07.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob16.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob18.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

score_search_time

score_search_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.5154 0.5154 0.5153 0.5148 0.5154 0.5151 0.2702 0.2703 0.2701 0.3333 0.3331 0.3334 0.2695 0.2691 0.2697 0.2704 0.2696 0.2704 0.4571 0.3660 0.4573 0.2700 0.2700 0.2706 0.2709 0.2704 0.2706
Arithmetic mean (11) 0.5154 0.5154 0.5153 0.5148 0.5154 0.5151 0.2702 0.2703 0.2701 0.3333 0.3331 0.3334 0.2695 0.2691 0.2697 0.2704 0.2696 0.2704 0.4571 0.3660 0.4573 0.2700 0.2700 0.2706 0.2709 0.2704 0.2706

Only instances where all algorithms have a value for "score_search_time" are considered. Each table entry gives the arithmetic mean of "score_search_time" for that domain. The last row reports the arithmetic mean across all domains.

mystery

score_search_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0.3057 0.3066 0.3072 1.0000 1.0000 1.0000 0.2997 0.3028 0.3010 0.3058 0.3041 0.3036 0.3622 0.3599 0.3621 0.3029 0.3010 0.3069 0.3115 0.3064 0.3090
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 1.0000 1.0000 0 0 0 0 0 0
prob07.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl 0.6689 0.6691 0.6686 0.6625 0.6690 0.6659 0.6663 0.6666 0.6643 0.6665 0.6642 0.6672 0.6650 0.6575 0.6657 0.6685 0.6612 0.6710 0.6663 0.6661 0.6681 0.6676 0.6694 0.6698 0.6686 0.6681 0.6677
prob16.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 1.0000 0 1.0000 0 0 0 0 0 0
prob18.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

score_total_time

score_total_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0.4505 0.5084 0.5081 0.4946 0.5085 0.5079 0.2701 0.2702 0.2701 0.3324 0.3322 0.3321 0.2684 0.2679 0.2685 0.2703 0.2695 0.2703 0.4100 0.3388 0.4091 0.2694 0.2695 0.2699 0.2709 0.2704 0.2706
Arithmetic mean (11) 0.4505 0.5084 0.5081 0.4946 0.5085 0.5079 0.2701 0.2702 0.2701 0.3324 0.3322 0.3321 0.2684 0.2679 0.2685 0.2703 0.2695 0.2703 0.4100 0.3388 0.4091 0.2694 0.2695 0.2699 0.2709 0.2704 0.2706

Only instances where all algorithms have a value for "score_total_time" are considered. Each table entry gives the arithmetic mean of "score_total_time" for that domain. The last row reports the arithmetic mean across all domains.

mystery

score_total_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0.9031 1.0000 1.0000 1.0000 1.0000 1.0000 0.3057 0.3066 0.3072 1.0000 1.0000 0.9962 0.2994 0.3025 0.3007 0.3058 0.3041 0.3035 0.3614 0.3591 0.3613 0.3023 0.3004 0.3062 0.3115 0.3064 0.3090
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.7172 0.7064 0.7115 0 0 0 0 0 0
prob07.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl 0.6534 0.6540 0.6526 0.6486 0.6527 0.6505 0.6657 0.6661 0.6638 0.6565 0.6541 0.6571 0.6527 0.6444 0.6529 0.6677 0.6604 0.6701 0.6566 0.6607 0.6580 0.6612 0.6643 0.6629 0.6680 0.6676 0.6672
prob16.pddl 0.7996 1.0000 1.0000 1.0000 1.0000 1.0000 0 0 0 0 0 0 0 0 0 0 0 0 0.7744 0 0.7693 0 0 0 0 0 0
prob18.pddl 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 0.5992 0.9385 0.9364 0.7923 0.9412 0.9362 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

search_out_of_memory

search_out_of_memory issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (5,5,5,5,5,5,7,7,7,7,7,7,7,7,7,7,7,7,5,6,5,7,7,7,7,7,7) 5 5 5 5 5 5 7 7 7 7 7 7 7 7 7 7 7 7 5 6 5 7 7 7 7 7 7
Sum (11) 5 5 5 5 5 5 7 7 7 7 7 7 7 7 7 7 7 7 5 6 5 7 7 7 7 7 7

The last row reports the sum across all domains.

mystery

search_out_of_memory issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob05.pddl True True True True True True True True True True True True True True True True True True None None None True True True True True True
prob07.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob08.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob12.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob16.pddl None None None None None None True True True True True True True True True True True True None True None True True True True True True
prob18.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob21.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob22.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob23.pddl True True True True True True True True True True True True True True True True True True True True True True True True True True True
prob24.pddl None None None None None None True True True True True True True True True True True True True True True True True True True True True

search_out_of_time

search_out_of_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (5,5,5,5,5,5,7,7,7,7,7,7,7,7,7,7,7,7,5,6,5,7,7,7,7,7,7) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Sum (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

The last row reports the sum across all domains.

mystery

search_out_of_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob05.pddl False False False False False False False False False False False False False False False False False False None None None False False False False False False
prob07.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob08.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob12.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob16.pddl None None None None None None False False False False False False False False False False False False None False None False False False False False False
prob18.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob21.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob22.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob23.pddl False False False False False False False False False False False False False False False False False False False False False False False False False False False
prob24.pddl None None None None None None False False False False False False False False False False False False False False False False False False False False False

search_time

search_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (4) 0.06 0.06 0.06 0.06 0.06 0.06 0.69 0.68 0.69 0.06 0.06 0.06 0.70 0.70 0.69 0.68 0.70 0.68 0.62 0.62 0.62 0.69 0.69 0.68 0.68 0.68 0.68
Geometric mean (4) 0.06 0.06 0.06 0.06 0.06 0.06 0.69 0.68 0.69 0.06 0.06 0.06 0.70 0.70 0.69 0.68 0.70 0.68 0.62 0.62 0.62 0.69 0.69 0.68 0.68 0.68 0.68

Only instances where all algorithms have a value for "search_time" are considered. Each table entry gives the geometric mean of "search_time" for that domain. The last row reports the geometric mean across all domains.

mystery

search_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0.01 0.01 0.01 0.01 0.01 0.01 181.98 180.75 179.93 0.01 0.01 0.01 190.38 185.97 188.51 181.92 184.17 184.97 119.14 121.26 119.27 185.85 188.50 180.41 174.28 181.07 177.57
prob05.pddl None None None None None None None None None None None None None None None None None None 0.01 0.01 0.01 None None None None None None
prob07.pddl 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
prob08.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob12.pddl 11.97 11.95 11.99 12.55 11.95 12.23 12.20 12.17 12.38 12.18 12.40 12.12 12.32 13.03 12.25 11.99 12.67 11.77 12.20 12.22 12.04 12.08 11.91 11.88 11.99 12.03 12.07
prob16.pddl 0.01 0.01 0.01 0.01 0.01 0.01 None None None None None None None None None None None None 0.01 None 0.01 None None None None None None
prob18.pddl 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
prob21.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob22.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob23.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob24.pddl 0.01 0.01 0.01 0.01 0.01 0.01 None None None None None None None None None None None None None None None None None None None None None

total_time

total_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (4) 0.23 0.07 0.07 0.09 0.07 0.07 0.69 0.69 0.69 0.19 0.19 0.19 0.71 0.72 0.71 0.68 0.70 0.68 0.63 0.63 0.63 0.70 0.70 0.69 0.68 0.68 0.68
Geometric mean (4) 0.23 0.07 0.07 0.09 0.07 0.07 0.69 0.69 0.69 0.19 0.19 0.19 0.71 0.72 0.71 0.68 0.70 0.68 0.63 0.63 0.63 0.70 0.70 0.69 0.68 0.68 0.68

Only instances where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The last row reports the geometric mean across all domains.

mystery

total_time issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 2.07 0.02 0.02 0.05 0.02 0.02 182.01 180.78 179.96 0.95 0.88 1.03 190.78 186.44 189.00 181.96 184.21 185.01 119.89 121.97 120.02 186.71 189.37 181.29 174.31 181.10 177.59
prob05.pddl None None None None None None None None None None None None None None None None None None 8.33 9.03 8.69 None None None None None None
prob07.pddl 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
prob08.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob12.pddl 13.44 13.37 13.52 13.93 13.51 13.73 12.25 12.22 12.43 13.13 13.36 13.07 13.51 14.37 13.49 12.07 12.75 11.85 13.12 12.72 12.98 12.67 12.38 12.52 12.04 12.08 12.12
prob16.pddl 4.49 0.28 0.27 0.59 0.28 0.27 None None None None None None None None None None None None 5.42 None 5.64 None None None None None None
prob18.pddl 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
prob21.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob22.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob23.pddl None None None None None None None None None None None None None None None None None None None None None None None None None None None
prob24.pddl 20.17 1.59 1.61 4.74 1.55 1.61 None None None None None None None None None None None None None None None None None None None None None

unsolvable

unsolvable issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
mystery (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Sum (11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

The last row reports the sum across all domains.

mystery

unsolvable issue707-v3a-dfp-b50k-noprune issue707-v3a-dfp-b50k-nopruneirrelevant issue707-v3a-dfp-b50k-nopruneunreachable issue707-v3a-dfp-f50k-noprune issue707-v3a-dfp-f50k-nopruneirrelevant issue707-v3a-dfp-f50k-nopruneunreachable issue707-v3a-dfp-ginf-noprune issue707-v3a-dfp-ginf-nopruneirrelevant issue707-v3a-dfp-ginf-nopruneunreachable issue707-v3a-rl-b50k-noprune issue707-v3a-rl-b50k-nopruneirrelevant issue707-v3a-rl-b50k-nopruneunreachable issue707-v3a-rl-f50k-noprune issue707-v3a-rl-f50k-nopruneirrelevant issue707-v3a-rl-f50k-nopruneunreachable issue707-v3a-rl-ginf-noprune issue707-v3a-rl-ginf-nopruneirrelevant issue707-v3a-rl-ginf-nopruneunreachable issue707-v3a-sccs-dfp-b50k-noprune issue707-v3a-sccs-dfp-b50k-nopruneirrelevant issue707-v3a-sccs-dfp-b50k-nopruneunreachable issue707-v3a-sccs-dfp-f50k-noprune issue707-v3a-sccs-dfp-f50k-nopruneirrelevant issue707-v3a-sccs-dfp-f50k-nopruneunreachable issue707-v3a-sccs-dfp-ginf-noprune issue707-v3a-sccs-dfp-ginf-nopruneirrelevant issue707-v3a-sccs-dfp-ginf-nopruneunreachable
prob04.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob05.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob07.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob08.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob12.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob16.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob18.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob21.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob22.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob23.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
prob24.pddl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0