buechner-et-al-icaps2024-data.zip
The previewer is not showing all the files.
data
240307_other-planners
exitcode-parser.py
1.8 kB
metis.img
49.4 MB
parser.py
3.7 kB
planner-parser.py
3.0 kB
runs-00001-00100
00001
driver.log
855 Bytes
problem.sas
407.5 kB
properties
713 Bytes
run
2.6 kB
run.log
3.3 kB
static-properties
199 Bytes
00002
driver.log
855 Bytes
problem.sas
278.9 kB
properties
710 Bytes
run
2.6 kB
run.log
3.3 kB
static-properties
209 Bytes
00003
driver.log
855 Bytes
problem.sas
278.9 kB
properties
710 Bytes
run
2.6 kB
run.log
3.3 kB
static-properties
209 Bytes
00004
driver.log
855 Bytes
problem.sas
278.9 kB
properties
713 Bytes
run
2.6 kB
run.log
3.4 kB
static-properties
209 Bytes
00005
driver.log
855 Bytes
problem.sas
278.9 kB
properties
713 Bytes
run
2.6 kB
run.log
3.4 kB
static-properties
209 Bytes
00006
driver.log
851 Bytes
problem.sas
51.0 kB
properties
1.2 kB
run
2.6 kB
run.log
4.3 kB
sas_plan
602 Bytes
static-properties
211 Bytes
00007
driver.log
851 Bytes
problem.sas
51.0 kB
properties
1.2 kB
run
2.6 kB
run.log
4.3 kB
sas_plan
602 Bytes
static-properties
211 Bytes
00008
driver.log
851 Bytes
problem.sas
50.9 kB
properties
1.2 kB
run
2.6 kB
run.log
4.5 kB
sas_plan
603 Bytes
static-properties
209 Bytes
00009
driver.log
851 Bytes
problem.sas
51.0 kB
properties
1.2 kB
run
2.6 kB
run.log
4.3 kB
sas_plan
602 Bytes
static-properties
209 Bytes
00010
driver.log
855 Bytes
problem.sas
1.4 MB
properties
712 Bytes
run
2.6 kB
run.log
4.6 kB
static-properties
209 Bytes
00011
driver.log
855 Bytes
problem.sas
1.4 MB
properties
712 Bytes
run
2.6 kB
run.log
3.5 kB
static-properties
209 Bytes
00012
driver.log
855 Bytes
problem.sas
1.4 MB
properties
712 Bytes
run
2.6 kB
run.log
3.4 kB
static-properties
209 Bytes
00013
driver.log
855 Bytes
problem.sas
1.4 MB
properties
712 Bytes
run
2.6 kB
run.log
3.6 kB
static-properties
209 Bytes
00014
driver.log
855 Bytes
problem.sas
406.8 kB
properties
712 Bytes
run
2.6 kB
run.log
3.3 kB
static-properties
209 Bytes
00015
driver.log
855 Bytes
problem.sas
406.8 kB
properties
713 Bytes
run
2.6 kB
run.log
3.3 kB
static-properties
209 Bytes
00016
driver.log
855 Bytes
problem.sas
342.7 kB
properties
712 Bytes
run
2.6 kB
run.log
3.3 kB
static-properties
209 Bytes
00017
driver.log
855 Bytes
problem.sas
406.7 kB
properties
712 Bytes
run
2.6 kB
run.log
3.2 kB
static-properties
209 Bytes
00018
driver.log
851 Bytes
problem.sas
94.7 kB
properties
1.2 kB
run
2.6 kB
run.log
4.5 kB
sas_plan
603 Bytes
static-properties
209 Bytes
00019
driver.log
851 Bytes
problem.sas
80.1 kB
properties
1.2 kB
run
2.6 kB
run.log
4.5 kB
sas_plan
603 Bytes
static-properties
211 Bytes
00020
driver.log
851 Bytes
problem.sas
80.1 kB
properties
1.2 kB
run
2.6 kB
run.log
4.3 kB
sas_plan
602 Bytes
static-properties
211 Bytes
00021
driver.log
850 Bytes
problem.sas
237 Bytes
properties
1.1 kB
run
2.6 kB
run.log
2.1 kB
sas_plan
27 Bytes
static-properties
209 Bytes
00022
driver.log
850 Bytes
problem.sas
1.1 kB
properties
1.1 kB
run
2.6 kB
run.log
2.1 kB
sas_plan
33 Bytes
static-properties
209 Bytes
00023
driver.log
850 Bytes
problem.sas
1.1 kB
properties
1.1 kB
run
2.6 kB
run.log
2.1 kB
sas_plan
33 Bytes
static-properties
209 Bytes
00024
driver.log
850 Bytes
problem.sas
20.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
45 Bytes
static-properties
209 Bytes
00025
driver.log
850 Bytes
problem.sas
1.1 kB
properties
1.1 kB
run
2.6 kB
run.log
2.1 kB
sas_plan
33 Bytes
static-properties
209 Bytes
00026
driver.log
850 Bytes
problem.sas
20.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
45 Bytes
static-properties
209 Bytes
00027
driver.log
850 Bytes
problem.sas
20.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
44 Bytes
static-properties
209 Bytes
00028
driver.log
855 Bytes
problem.sas
1.1 MB
properties
707 Bytes
run
2.6 kB
run.log
1.6 kB
static-properties
209 Bytes
00029
driver.log
855 Bytes
problem.sas
38.9 MB
properties
709 Bytes
run
2.6 kB
run.log
1.5 kB
static-properties
209 Bytes
00030
driver.log
855 Bytes
problem.sas
38.9 MB
properties
709 Bytes
run
2.6 kB
run.log
1.5 kB
static-properties
209 Bytes
00031
driver.log
855 Bytes
problem.sas
38.9 MB
properties
709 Bytes
run
2.6 kB
run.log
1.5 kB
static-properties
209 Bytes
00032
driver.log
850 Bytes
problem.sas
1.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
175 Bytes
00033
driver.log
850 Bytes
problem.sas
1.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
175 Bytes
00034
driver.log
850 Bytes
problem.sas
1.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.0 kB
sas_plan
23 Bytes
static-properties
175 Bytes
00035
driver.log
850 Bytes
problem.sas
1.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
175 Bytes
00036
driver.log
850 Bytes
problem.sas
1.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
175 Bytes
00037
driver.log
850 Bytes
problem.sas
2.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.2 kB
sas_plan
50 Bytes
static-properties
175 Bytes
00038
driver.log
850 Bytes
problem.sas
2.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
77 Bytes
static-properties
175 Bytes
00039
driver.log
850 Bytes
problem.sas
2.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
175 Bytes
00040
driver.log
850 Bytes
problem.sas
2.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
68 Bytes
static-properties
175 Bytes
00041
driver.log
850 Bytes
problem.sas
2.9 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
68 Bytes
static-properties
175 Bytes
00042
driver.log
850 Bytes
problem.sas
4.0 kB
properties
1.1 kB
run
2.6 kB
run.log
2.2 kB
sas_plan
50 Bytes
static-properties
175 Bytes
00043
driver.log
850 Bytes
problem.sas
4.0 kB
properties
1.1 kB
run
2.6 kB
run.log
2.5 kB
sas_plan
86 Bytes
static-properties
175 Bytes
00044
driver.log
850 Bytes
problem.sas
4.0 kB
properties
1.1 kB
run
2.6 kB
run.log
2.2 kB
sas_plan
50 Bytes
static-properties
175 Bytes
00045
driver.log
850 Bytes
problem.sas
4.0 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
68 Bytes
static-properties
175 Bytes
00046
driver.log
850 Bytes
problem.sas
4.0 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
175 Bytes
00047
driver.log
850 Bytes
problem.sas
5.6 kB
properties
1.1 kB
run
2.6 kB
run.log
2.5 kB
sas_plan
86 Bytes
static-properties
175 Bytes
00048
driver.log
850 Bytes
problem.sas
5.6 kB
properties
1.1 kB
run
2.6 kB
run.log
2.5 kB
sas_plan
86 Bytes
static-properties
175 Bytes
00049
driver.log
850 Bytes
problem.sas
5.6 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
77 Bytes
static-properties
175 Bytes
00050
driver.log
850 Bytes
problem.sas
5.6 kB
properties
1.1 kB
run
2.6 kB
run.log
2.5 kB
sas_plan
86 Bytes
static-properties
175 Bytes
00051
driver.log
850 Bytes
problem.sas
5.6 kB
properties
1.1 kB
run
2.6 kB
run.log
2.6 kB
sas_plan
95 Bytes
static-properties
175 Bytes
00052
driver.log
850 Bytes
problem.sas
7.3 kB
properties
1.2 kB
run
2.6 kB
run.log
2.6 kB
sas_plan
95 Bytes
static-properties
175 Bytes
00053
driver.log
850 Bytes
problem.sas
7.3 kB
properties
1.2 kB
run
2.6 kB
run.log
2.5 kB
sas_plan
86 Bytes
static-properties
175 Bytes
00054
driver.log
850 Bytes
problem.sas
7.3 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
77 Bytes
static-properties
175 Bytes
00055
driver.log
850 Bytes
problem.sas
7.3 kB
properties
1.1 kB
run
2.6 kB
run.log
2.6 kB
sas_plan
86 Bytes
static-properties
175 Bytes
00056
driver.log
850 Bytes
problem.sas
7.3 kB
properties
1.1 kB
run
2.6 kB
run.log
2.4 kB
sas_plan
77 Bytes
static-properties
175 Bytes
00057
driver.log
851 Bytes
problem.sas
9.7 kB
properties
1.2 kB
run
2.6 kB
run.log
2.8 kB
sas_plan
115 Bytes
static-properties
177 Bytes
00058
driver.log
851 Bytes
problem.sas
9.7 kB
properties
1.2 kB
run
2.6 kB
run.log
2.7 kB
sas_plan
105 Bytes
static-properties
177 Bytes
00059
driver.log
851 Bytes
problem.sas
9.7 kB
properties
1.2 kB
run
2.6 kB
run.log
2.8 kB
sas_plan
115 Bytes
static-properties
177 Bytes
00060
driver.log
851 Bytes
problem.sas
9.7 kB
properties
1.2 kB
run
2.6 kB
run.log
2.8 kB
sas_plan
115 Bytes
static-properties
177 Bytes
00061
driver.log
851 Bytes
problem.sas
9.7 kB
properties
1.2 kB
run
2.6 kB
run.log
2.6 kB
sas_plan
97 Bytes
static-properties
177 Bytes
00062
driver.log
852 Bytes
problem.sas
12.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.7 kB
sas_plan
107 Bytes
static-properties
177 Bytes
00063
driver.log
852 Bytes
problem.sas
12.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.7 kB
sas_plan
105 Bytes
static-properties
177 Bytes
00064
driver.log
853 Bytes
problem.sas
12.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.9 kB
sas_plan
124 Bytes
static-properties
177 Bytes
00065
driver.log
852 Bytes
problem.sas
12.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.6 kB
sas_plan
96 Bytes
static-properties
177 Bytes
00066
driver.log
853 Bytes
problem.sas
12.4 kB
properties
1.2 kB
run
2.6 kB
run.log
2.9 kB
sas_plan
134 Bytes
static-properties
177 Bytes
00067
driver.log
855 Bytes
problem.sas
15.9 kB
properties
710 Bytes
run
2.6 kB
run.log
2.0 kB
static-properties
177 Bytes
00068
driver.log
855 Bytes
problem.sas
15.9 kB
properties
710 Bytes
run
2.6 kB
run.log
2.0 kB
static-properties
177 Bytes
00069
driver.log
855 Bytes
problem.sas
15.9 kB
properties
709 Bytes
run
2.6 kB
run.log
2.0 kB
static-properties
177 Bytes
00070
driver.log
855 Bytes
problem.sas
15.9 kB
properties
710 Bytes
run
2.6 kB
run.log
2.0 kB
static-properties
177 Bytes
00071
driver.log
855 Bytes
problem.sas
15.9 kB
properties
710 Bytes
run
2.6 kB
run.log
2.0 kB
static-properties
177 Bytes
00072
driver.log
855 Bytes
problem.sas
19.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00073
driver.log
855 Bytes
problem.sas
19.8 kB
properties
710 Bytes
run
2.6 kB
run.log
2.0 kB
static-properties
177 Bytes
00074
driver.log
855 Bytes
problem.sas
19.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00075
driver.log
855 Bytes
problem.sas
19.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00076
driver.log
855 Bytes
problem.sas
19.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00077
driver.log
855 Bytes
problem.sas
24.6 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00078
driver.log
855 Bytes
problem.sas
24.6 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00079
driver.log
855 Bytes
problem.sas
24.6 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00080
driver.log
855 Bytes
problem.sas
24.6 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00081
driver.log
855 Bytes
problem.sas
24.6 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00082
driver.log
855 Bytes
problem.sas
29.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00083
driver.log
855 Bytes
problem.sas
29.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00084
driver.log
855 Bytes
problem.sas
29.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00085
driver.log
855 Bytes
problem.sas
29.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00086
driver.log
855 Bytes
problem.sas
29.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00087
driver.log
855 Bytes
problem.sas
36.0 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00088
driver.log
855 Bytes
problem.sas
36.0 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00089
driver.log
855 Bytes
problem.sas
36.0 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00090
driver.log
855 Bytes
problem.sas
36.0 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00091
driver.log
855 Bytes
problem.sas
36.0 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00092
driver.log
855 Bytes
problem.sas
42.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00093
driver.log
855 Bytes
problem.sas
42.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00094
driver.log
855 Bytes
problem.sas
42.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00095
driver.log
855 Bytes
problem.sas
42.8 kB
properties
710 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00096
driver.log
855 Bytes
problem.sas
42.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00097
driver.log
855 Bytes
problem.sas
50.6 kB
properties
710 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00098
driver.log
855 Bytes
problem.sas
50.6 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00099
driver.log
855 Bytes
problem.sas
50.6 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00100
driver.log
855 Bytes
problem.sas
50.6 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
runs-00101-00200
00101
driver.log
855 Bytes
problem.sas
50.6 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00102
driver.log
855 Bytes
problem.sas
59.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00103
driver.log
855 Bytes
problem.sas
59.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00104
driver.log
855 Bytes
problem.sas
59.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00105
driver.log
855 Bytes
problem.sas
59.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00106
driver.log
855 Bytes
problem.sas
59.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00107
driver.log
855 Bytes
problem.sas
68.9 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00108
driver.log
855 Bytes
problem.sas
68.9 kB
properties
707 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00109
driver.log
855 Bytes
problem.sas
68.9 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00110
driver.log
855 Bytes
problem.sas
68.9 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00111
driver.log
855 Bytes
problem.sas
68.9 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00112
driver.log
855 Bytes
problem.sas
79.3 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00113
driver.log
855 Bytes
problem.sas
79.3 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00114
driver.log
855 Bytes
problem.sas
79.3 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00115
driver.log
855 Bytes
problem.sas
79.3 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00116
driver.log
855 Bytes
problem.sas
79.3 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00117
driver.log
855 Bytes
problem.sas
91.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00118
driver.log
855 Bytes
problem.sas
91.2 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00119
driver.log
855 Bytes
problem.sas
91.2 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00120
driver.log
855 Bytes
problem.sas
91.2 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00121
driver.log
855 Bytes
problem.sas
91.2 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00122
driver.log
855 Bytes
problem.sas
103.7 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00123
driver.log
855 Bytes
problem.sas
103.7 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00124
driver.log
855 Bytes
problem.sas
103.7 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00125
driver.log
855 Bytes
problem.sas
103.7 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00126
driver.log
855 Bytes
problem.sas
103.7 kB
properties
709 Bytes
run
2.6 kB
run.log
1.9 kB
static-properties
177 Bytes
00127
driver.log
855 Bytes
problem.sas
117.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00128
driver.log
855 Bytes
problem.sas
117.8 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00129
driver.log
855 Bytes
problem.sas
117.8 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00130
driver.log
855 Bytes
problem.sas
117.8 kB
properties
709 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00131
driver.log
855 Bytes
problem.sas
117.8 kB
properties
708 Bytes
run
2.6 kB
run.log
1.8 kB
static-properties
177 Bytes
00132
driver.log
850 Bytes
problem.sas
1.3 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
199 Bytes
00133
driver.log
850 Bytes
problem.sas
1.3 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
59 Bytes
static-properties
199 Bytes
00134
driver.log
850 Bytes
problem.sas
1.3 kB
properties
1.1 kB
run
2.6 kB
run.log
2.3 kB
sas_plan
50 Bytes
static-properties
199 Bytes
single-search-parser.py
5.5 kB
symba.img
43.4 MB
symk.sif
44.0 MB
translator-parser.py
2.1 kB