algorithm | local_ |
global_ |
revision_ |
build_ |
driver_ |
component_ |
---|---|---|---|---|---|---|
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 | 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 |
The last row reports the sum across all domains.
Domain-wise reports only support numeric attributes, but error has type str.
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.
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.
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.
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.
The last row reports the sum across all domains.
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.
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.
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.
The last row reports the sum across all domains.
The last row reports the sum across all domains.
The last row reports the sum across all domains.
Domain-wise reports only support numeric attributes, but run_dir has type str.
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.
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.
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.
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.
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.
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.
The last row reports the sum across all domains.
The last row reports the sum across all domains.
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.
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.
The last row reports the sum across all domains.