| algorithm |
local_revision |
global_revision |
revision_summary |
build_options |
driver_options |
component_options |
| petri_all_states_potential() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(all_states_potential())'] |
| petri_cegar() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(cegar())'] |
| petri_const(value=0) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(const(value=0))'] |
| petri_cpdbs() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(cpdbs())'] |
| petri_hm() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(hm())'] |
| petri_hm(m=1) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(hm(m=1))'] |
| petri_lmcount(lm_exhaust) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(lmcount(lm_exhaust))'] |
| petri_lmcut() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(lmcut())'] |
| petri_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false)) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false)))'] |
| petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()]) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()]))'] |
| petri_operatorcounting(constraint_generators=[state_equation_constraints()]) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search'] |
['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints()]))'] |
| sas_all_states_potential() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(all_states_potential())'] |
| sas_cegar() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(cegar())'] |
| sas_const(value=0) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(const(value=0))'] |
| sas_cpdbs() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(cpdbs())'] |
| sas_hm() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(hm())'] |
| sas_hm(m=1) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(hm(m=1))'] |
| sas_lmcount(lm_exhaust) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(lmcount(lm_exhaust))'] |
| sas_lmcut() |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(lmcut())'] |
| sas_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false)) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false)))'] |
| sas_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()]) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()]))'] |
| sas_operatorcounting(constraint_generators=[state_equation_constraints()]) |
petri |
928f1514a |
928f1514a |
['release'] |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search'] |
['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints()]))'] |