hu-speck-socs2022-data.zip
The previewer is not showing all the files.
astar_h2_fifo_min_mp
code-f77a334c9343bffb2a1d75155894c52934e97d32_bd874d5d
CHANGES.md
10.2 kB
LICENSE.md
34.9 kB
README.md
5.4 kB
build_configs.py
345 Bytes
build_successful
0 Bytes
builds
release
bin
downward
37.3 MB
preprocess-h2
7.1 MB
translate
axiom_rules.py
15.8 kB
build_model.py
13.1 kB
constraints.py
5.6 kB
fact_groups.py
4.7 kB
graph.py
1.3 kB
greedy_join.py
4.3 kB
instantiate.py
3.7 kB
invariant_finder.py
6.1 kB
invariants.py
17.2 kB
normalize.py
16.1 kB
options.py
3.2 kB
pddl
__init__.py
1.0 kB
actions.py
5.4 kB
axioms.py
2.6 kB
conditions.py
11.1 kB
effects.py
7.0 kB
f_expression.py
3.5 kB
functions.py
542 Bytes
pddl_types.py
2.3 kB
predicates.py
278 Bytes
tasks.py
2.4 kB
pddl_parser
__init__.py
28 Bytes
lisp_parser.py
1.4 kB
parsing_functions.py
18.7 kB
pddl_file.py
1.3 kB
pddl_to_prolog.py
7.4 kB
regression-tests
README
437 Bytes
issue34-domain.pddl
11.5 kB
issue34-problem.pddl
1.8 kB
issue405-domain.pddl
1.1 kB
issue405-problem.pddl
188 Bytes
issue49-falsegoal-domain.pddl
204 Bytes
issue49-falsegoal-problem.pddl
128 Bytes
issue49-orig-domain.pddl
86.4 kB
issue49-orig-problem.pddl
7.4 kB
issue49-truegoal-domain.pddl
204 Bytes
issue49-truegoal-problem.pddl
123 Bytes
issue58-domain.pddl
535 Bytes
issue58-problem.pddl
135 Bytes
issue7-domain.pddl
3.2 kB
issue7-problem.pddl
1.1 kB
issue73-domain.pddl
67.9 kB
issue73-problem.pddl
796 Bytes
sas_tasks.py
18.1 kB
sccs.py
4.8 kB
simplify.py
20.1 kB
split_rules.py
2.6 kB
tests
__init__.py
0 Bytes
test_normalization.py
1.5 kB
test_scripts.py
790 Bytes
timers.py
732 Bytes
tools.py
1.1 kB
translate.py
31.0 kB
variable_order.py
11.6 kB
driver
__init__.py
33 Bytes
aliases.py
7.9 kB
arguments.py
19.3 kB
call.py
2.7 kB
cleanup.py
346 Bytes
limits.py
2.9 kB
main.py
1.9 kB
plan_manager.py
4.3 kB
portfolio_runner.py
9.5 kB
portfolios
seq_opt_fdss_1.py
930 Bytes
seq_opt_fdss_2.py
948 Bytes
seq_opt_merge_and_shrink.py
706 Bytes
seq_sat_fdss_1.py
3.5 kB
seq_sat_fdss_2.py
2.5 kB
seq_sat_fdss_2014.py
8.6 kB
seq_sat_fdss_2018.py
19.1 kB
returncodes.py
3.5 kB
run_components.py
7.8 kB
tests.py
2.6 kB
util.py
1.2 kB
version.py
106 Bytes
fast-downward.py
96 Bytes
src.zip
766.6 kB
exitcode-parser.py
1.8 kB
experiment.py
58.1 kB
parser.py
11.2 kB
runs-00001-00100
00001
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
18.8 kB
static-properties
973 Bytes
00002
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
17.2 kB
static-properties
973 Bytes
00003
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
18.4 kB
static-properties
973 Bytes
00004
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
18.3 kB
static-properties
973 Bytes
00005
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
20.7 kB
static-properties
973 Bytes
00006
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
15.2 kB
static-properties
973 Bytes
00007
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
23.1 kB
static-properties
973 Bytes
00008
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
16.3 kB
static-properties
973 Bytes
00009
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
14.8 kB
static-properties
973 Bytes
00010
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
18.8 kB
static-properties
973 Bytes
00011
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
20.5 kB
static-properties
973 Bytes
00012
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
17.5 kB
static-properties
973 Bytes
00013
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
22.2 kB
static-properties
973 Bytes
00014
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
18.8 kB
static-properties
973 Bytes
00015
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
15.2 kB
static-properties
973 Bytes
00016
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
19.8 kB
static-properties
973 Bytes
00017
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
18.4 kB
static-properties
973 Bytes
00018
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
18.0 kB
static-properties
973 Bytes
00019
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
21.4 kB
static-properties
973 Bytes
00020
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
17.0 kB
static-properties
973 Bytes
00021
driver.log
416 Bytes
properties
665 Bytes
run
1.6 kB
run.log
9.9 kB
sas_plan
547 Bytes
static-properties
969 Bytes
00022
driver.log
416 Bytes
properties
673 Bytes
run
1.6 kB
run.log
10.4 kB
sas_plan
616 Bytes
static-properties
969 Bytes
00023
driver.log
416 Bytes
properties
676 Bytes
run
1.6 kB
run.log
11.6 kB
sas_plan
1.1 kB
static-properties
969 Bytes
00024
driver.log
416 Bytes
properties
679 Bytes
run
1.6 kB
run.log
14.9 kB
sas_plan
1.4 kB
static-properties
969 Bytes
00025
driver.log
416 Bytes
properties
679 Bytes
run
1.6 kB
run.log
15.4 kB
sas_plan
1.5 kB
static-properties
969 Bytes
00026
driver.log
416 Bytes
properties
680 Bytes
run
1.6 kB
run.log
19.7 kB
sas_plan
2.9 kB
static-properties
969 Bytes
00027
driver.log
416 Bytes
properties
681 Bytes
run
1.6 kB
run.log
19.8 kB
sas_plan
2.9 kB
static-properties
969 Bytes
00028
driver.log
416 Bytes
properties
698 Bytes
run
1.6 kB
run.log
26.1 kB
sas_plan
4.4 kB
static-properties
969 Bytes
00029
driver.log
416 Bytes
properties
703 Bytes
run
1.6 kB
run.log
31.6 kB
sas_plan
5.0 kB
static-properties
969 Bytes
00030
driver.log
416 Bytes
properties
670 Bytes
run
1.6 kB
run.log
16.1 kB
sas_plan
1.3 kB
static-properties
969 Bytes
00031
driver.log
416 Bytes
properties
679 Bytes
run
1.6 kB
run.log
16.3 kB
sas_plan
1.5 kB
static-properties
969 Bytes
00032
driver.log
416 Bytes
properties
690 Bytes
run
1.6 kB
run.log
21.4 kB
sas_plan
2.8 kB
static-properties
969 Bytes
00033
driver.log
416 Bytes
properties
679 Bytes
run
1.6 kB
run.log
21.6 kB
sas_plan
2.6 kB
static-properties
969 Bytes
00034
driver.log
416 Bytes
properties
700 Bytes
run
1.6 kB
run.log
28.2 kB
sas_plan
4.3 kB
static-properties
969 Bytes
00035
driver.log
416 Bytes
properties
700 Bytes
run
1.6 kB
run.log
28.3 kB
sas_plan
4.1 kB
static-properties
969 Bytes
00036
driver.log
416 Bytes
properties
706 Bytes
run
1.6 kB
run.log
34.4 kB
sas_plan
5.6 kB
static-properties
969 Bytes
00037
driver.log
416 Bytes
properties
705 Bytes
run
1.6 kB
run.log
40.5 kB
sas_plan
6.2 kB
static-properties
969 Bytes
00038
driver.log
417 Bytes
properties
729 Bytes
run
1.6 kB
run.log
46.7 kB
sas_plan
7.6 kB
static-properties
969 Bytes
00039
driver.log
416 Bytes
properties
715 Bytes
run
1.6 kB
run.log
42.1 kB
sas_plan
6.4 kB
static-properties
969 Bytes
00040
driver.log
418 Bytes
properties
733 Bytes
run
1.6 kB
run.log
53.2 kB
sas_plan
8.1 kB
static-properties
969 Bytes
00041
driver.log
416 Bytes
properties
697 Bytes
run
1.6 kB
run.log
65.4 kB
sas_plan
7.4 kB
static-properties
983 Bytes
00042
driver.log
417 Bytes
properties
717 Bytes
run
1.6 kB
run.log
94.1 kB
sas_plan
10.9 kB
static-properties
983 Bytes
00043
driver.log
418 Bytes
properties
718 Bytes
run
1.6 kB
run.log
117.2 kB
sas_plan
12.3 kB
static-properties
983 Bytes
00044
driver.log
418 Bytes
properties
734 Bytes
run
1.6 kB
run.log
116.1 kB
sas_plan
11.8 kB
static-properties
983 Bytes
00045
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
116.7 kB
static-properties
983 Bytes
00046
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
135.7 kB
static-properties
983 Bytes
00047
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
126.3 kB
static-properties
983 Bytes
00048
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
146.7 kB
static-properties
983 Bytes
00049
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
167.4 kB
static-properties
983 Bytes
00050
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
164.0 kB
static-properties
983 Bytes
00051
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
184.5 kB
static-properties
983 Bytes
00052
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
202.2 kB
static-properties
985 Bytes
00053
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
203.4 kB
static-properties
985 Bytes
00054
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
220.3 kB
static-properties
985 Bytes
00055
driver.log
419 Bytes
properties
259 Bytes
run
1.6 kB
run.log
235.4 kB
static-properties
985 Bytes
00056
driver.log
417 Bytes
properties
702 Bytes
run
1.6 kB
run.log
50.2 kB
sas_plan
8.0 kB
static-properties
975 Bytes
00057
driver.log
418 Bytes
properties
720 Bytes
run
1.6 kB
run.log
67.0 kB
sas_plan
10.3 kB
static-properties
975 Bytes
00058
driver.log
418 Bytes
properties
716 Bytes
run
1.6 kB
run.log
68.5 kB
sas_plan
11.4 kB
static-properties
975 Bytes
00059
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
58.3 kB
static-properties
975 Bytes
00060
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
59.2 kB
static-properties
975 Bytes
00061
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
59.2 kB
static-properties
975 Bytes
00062
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
67.0 kB
static-properties
975 Bytes
00063
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
66.5 kB
static-properties
975 Bytes
00064
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
68.6 kB
static-properties
975 Bytes
00065
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
77.6 kB
static-properties
975 Bytes
00066
driver.log
419 Bytes
properties
257 Bytes
run
1.6 kB
run.log
75.5 kB
static-properties
975 Bytes
00067
driver.log
419 Bytes
properties
258 Bytes
run
1.6 kB
run.log
91.3 kB
static-properties
975 Bytes
00068
driver.log
419 Bytes
properties
259 Bytes
run
1.6 kB
run.log
101.0 kB
static-properties
975 Bytes
00069
driver.log
419 Bytes
properties
259 Bytes
run
1.6 kB
run.log
111.5 kB
static-properties
977 Bytes
00070
driver.log
419 Bytes
properties
259 Bytes
run
1.6 kB
run.log
6.7 kB
static-properties
977 Bytes
00071
driver.log
417 Bytes
properties
721 Bytes
run
1.6 kB
run.log
15.8 kB
sas_plan
1.6 kB
static-properties
985 Bytes
00072
driver.log
417 Bytes
properties
710 Bytes
run
1.6 kB
run.log
15.8 kB
sas_plan
1.6 kB
static-properties
985 Bytes
00073
driver.log
417 Bytes
properties
721 Bytes
run
1.6 kB
run.log
15.8 kB
sas_plan
1.6 kB
static-properties
985 Bytes
00074
driver.log
417 Bytes
properties
710 Bytes
run
1.6 kB
run.log
15.8 kB
sas_plan
1.6 kB
static-properties
985 Bytes
00075
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
11.4 kB
static-properties
985 Bytes
00076
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
11.4 kB
static-properties
985 Bytes
00077
driver.log
419 Bytes
properties
254 Bytes
run
1.6 kB
run.log
11.4 kB
static-properties
985 Bytes
00078
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
11.5 kB
static-properties
985 Bytes
00079
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
9.7 kB
static-properties
985 Bytes
00080
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
9.7 kB
static-properties
985 Bytes
00081
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
9.7 kB
static-properties
985 Bytes
00082
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
9.7 kB
static-properties
985 Bytes
00083
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.8 kB
static-properties
985 Bytes
00084
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.8 kB
static-properties
985 Bytes
00085
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.8 kB
static-properties
985 Bytes
00086
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.8 kB
static-properties
985 Bytes
00087
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
985 Bytes
00088
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
985 Bytes
00089
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
985 Bytes
00090
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
985 Bytes
00091
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
975 Bytes
00092
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
975 Bytes
00093
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.7 kB
static-properties
975 Bytes
00094
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.1 kB
static-properties
975 Bytes
00095
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.1 kB
static-properties
975 Bytes
00096
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.1 kB
static-properties
975 Bytes
00097
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.8 kB
static-properties
975 Bytes
00098
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.8 kB
static-properties
975 Bytes
00099
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.8 kB
static-properties
975 Bytes
00100
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
975 Bytes
runs-00101-00200
00101
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
975 Bytes
00102
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
975 Bytes
00103
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
975 Bytes
00104
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
975 Bytes
00105
driver.log
416 Bytes
properties
671 Bytes
run
1.6 kB
run.log
8.7 kB
sas_plan
95 Bytes
static-properties
965 Bytes
00106
driver.log
416 Bytes
properties
681 Bytes
run
1.6 kB
run.log
9.0 kB
sas_plan
152 Bytes
static-properties
965 Bytes
00107
driver.log
416 Bytes
properties
669 Bytes
run
1.6 kB
run.log
8.7 kB
sas_plan
97 Bytes
static-properties
965 Bytes
00108
driver.log
416 Bytes
properties
677 Bytes
run
1.6 kB
run.log
9.2 kB
sas_plan
176 Bytes
static-properties
965 Bytes
00109
driver.log
416 Bytes
properties
677 Bytes
run
1.6 kB
run.log
9.1 kB
sas_plan
150 Bytes
static-properties
965 Bytes
00110
driver.log
416 Bytes
properties
677 Bytes
run
1.6 kB
run.log
9.6 kB
sas_plan
229 Bytes
static-properties
965 Bytes
00111
driver.log
416 Bytes
properties
696 Bytes
run
1.6 kB
run.log
9.2 kB
sas_plan
177 Bytes
static-properties
965 Bytes
00112
driver.log
416 Bytes
properties
708 Bytes
run
1.6 kB
run.log
9.1 kB
sas_plan
146 Bytes
static-properties
965 Bytes
00113
driver.log
416 Bytes
properties
697 Bytes
run
1.6 kB
run.log
9.9 kB
sas_plan
280 Bytes
static-properties
965 Bytes
00114
driver.log
416 Bytes
properties
701 Bytes
run
1.6 kB
run.log
9.9 kB
sas_plan
281 Bytes
static-properties
965 Bytes
00115
driver.log
416 Bytes
properties
710 Bytes
run
1.6 kB
run.log
10.1 kB
sas_plan
305 Bytes
static-properties
965 Bytes
00116
driver.log
416 Bytes
properties
699 Bytes
run
1.6 kB
run.log
9.9 kB
sas_plan
279 Bytes
static-properties
965 Bytes
00117
driver.log
416 Bytes
properties
700 Bytes
run
1.6 kB
run.log
9.8 kB
sas_plan
251 Bytes
static-properties
965 Bytes
00118
driver.log
416 Bytes
properties
701 Bytes
run
1.6 kB
run.log
10.0 kB
sas_plan
277 Bytes
static-properties
965 Bytes
00119
driver.log
416 Bytes
properties
700 Bytes
run
1.6 kB
run.log
9.6 kB
sas_plan
224 Bytes
static-properties
965 Bytes
00120
driver.log
417 Bytes
properties
710 Bytes
run
1.6 kB
run.log
10.9 kB
sas_plan
409 Bytes
static-properties
965 Bytes
00121
driver.log
417 Bytes
properties
710 Bytes
run
1.6 kB
run.log
10.7 kB
sas_plan
384 Bytes
static-properties
965 Bytes
00122
driver.log
417 Bytes
properties
710 Bytes
run
1.6 kB
run.log
10.6 kB
sas_plan
358 Bytes
static-properties
965 Bytes
00123
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.8 kB
static-properties
967 Bytes
00124
driver.log
418 Bytes
properties
721 Bytes
run
1.6 kB
run.log
11.2 kB
sas_plan
434 Bytes
static-properties
967 Bytes
00125
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.8 kB
static-properties
967 Bytes
00126
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.1 kB
static-properties
967 Bytes
00127
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.0 kB
static-properties
967 Bytes
00128
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.3 kB
static-properties
967 Bytes
00129
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.1 kB
static-properties
967 Bytes
00130
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.2 kB
static-properties
967 Bytes
00131
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.1 kB
static-properties
967 Bytes
00132
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.2 kB
static-properties
967 Bytes
00133
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.0 kB
static-properties
967 Bytes
00134
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.8 kB
static-properties
967 Bytes
00135
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
967 Bytes
00136
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.2 kB
static-properties
967 Bytes
00137
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
8.0 kB
static-properties
967 Bytes
00138
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB
run.log
8.2 kB
static-properties
967 Bytes
00139
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
7.7 kB
static-properties
967 Bytes
00140
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
7.2 kB
static-properties
1.0 kB
00141
driver.log
419 Bytes
properties
255 Bytes
run
1.6 kB
run.log
7.2 kB
static-properties
1.0 kB
00142
driver.log
419 Bytes
properties
256 Bytes
run
1.6 kB