Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/algstr_2
Name
Last modified
Size
Description
Parent Directory
-
algstr_2__l1_algstr_2
2025-09-07 23:21
12K
algstr_2__l4_algstr_2
2025-09-07 23:22
12K
algstr_2__l5_algstr_2
2025-09-07 23:23
12K
algstr_2__t1_algstr_2
2025-09-07 23:24
12K
algstr_2__t2_algstr_2
2025-09-07 23:25
7.7K
algstr_2__t3_algstr_2
2025-09-07 23:25
2.5K
algstr_2__t4_algstr_2
2025-09-07 23:26
6.6K
algstr_2__t5_algstr_2
2025-09-07 23:27
7.1K
algstr_2__t6_algstr_2
2025-09-07 23:28
12K
algstr_2__t7_algstr_2
2025-09-07 23:28
7.1K
algstr_2__t8_algstr_2
2025-09-07 23:29
6.6K
algstr_2__t9_algstr_2
2025-09-07 23:30
6.5K
algstr_2__t10_algstr_2
2025-09-07 23:31
13K
algstr_2__t11_algstr_2
2025-09-07 23:32
14K
algstr_2__t12_algstr_2
2025-09-07 23:33
11K
algstr_2__l2_algstr_2
2025-09-07 23:34
15K
algstr_2__l3_algstr_2
2025-09-07 23:35
11K
algstr_2__l18_algstr_2
2025-09-07 23:36
2.9K
algstr_2__l19_algstr_2
2025-09-07 23:36
3.8K
algstr_2__l20_algstr_2
2025-09-07 23:37
3.8K
algstr_2__l20_algstr_2.vout
2025-09-15 13:26
45K
algstr_2__l2_algstr_2.vout
2025-09-15 13:27
40K
algstr_2__l3_algstr_2.vout
2025-09-15 14:00
12K
algstr_2__t4_algstr_2.vout
2025-09-15 15:09
22K
algstr_2__t10_algstr_2.vout
2025-09-15 15:12
4.1K
algstr_2__t1_algstr_2.vout
2025-09-15 15:20
4.2K
algstr_2__t3_algstr_2.vout
2025-09-15 15:21
21K
algstr_2__l18_algstr_2.vout
2025-09-15 15:58
21K
algstr_2__l5_algstr_2.vout
2025-09-15 16:18
16K
algstr_2__t6_algstr_2.vout
2025-09-15 16:31
4.2K
algstr_2__l4_algstr_2.vout
2025-09-15 16:32
22K
algstr_2__t7_algstr_2.vout
2025-09-15 16:47
46K
algstr_2__t8_algstr_2.vout
2025-09-15 16:55
21K
algstr_2__t9_algstr_2.vout
2025-09-15 18:27
21K
algstr_2__t12_algstr_2.vout
2025-09-15 18:36
7.9K
algstr_2__t11_algstr_2.vout
2025-09-15 18:45
4.1K
algstr_2__t2_algstr_2.vout
2025-09-15 18:58
44K
algstr_2__l19_algstr_2.vout
2025-09-15 19:10
53K
algstr_2__l1_algstr_2.vout
2025-09-15 19:39
19K
algstr_2__t5_algstr_2.vout
2025-09-15 19:39
22K
algstr_2__l3_algstr_2.depv1
2025-09-15 19:47
135
algstr_2__t4_algstr_2.depv1
2025-09-15 19:47
137
algstr_2__l1_algstr_2.depv1
2025-09-15 19:47
247
algstr_2__l18_algstr_2.depv1
2025-09-15 19:47
73
algstr_2__l19_algstr_2.depv1
2025-09-15 19:47
86
algstr_2__l4_algstr_2.depv1
2025-09-15 19:47
148
algstr_2__l5_algstr_2.depv1
2025-09-15 19:47
124
algstr_2__t5_algstr_2.depv1
2025-09-15 19:47
136
algstr_2__l2_algstr_2.depv1
2025-09-15 19:47
397
algstr_2__t2_algstr_2.depv1
2025-09-15 19:47
137
algstr_2__t9_algstr_2.depv1
2025-09-15 19:47
136
algstr_2__l20_algstr_2.depv1
2025-09-15 19:47
26
algstr_2__t3_algstr_2.depv1
2025-09-15 19:47
105
algstr_2__t7_algstr_2.depv1
2025-09-15 19:47
178
algstr_2__t8_algstr_2.depv1
2025-09-15 19:47
137
algstr_2__l1_algstr_2.vmin1
2025-09-15 19:47
2.6K
algstr_2__l2_algstr_2.vmin1
2025-09-15 19:47
4.1K
algstr_2__l3_algstr_2.vmin1
2025-09-15 19:47
1.7K
algstr_2__l4_algstr_2.vmin1
2025-09-15 19:47
2.2K
algstr_2__l5_algstr_2.vmin1
2025-09-15 19:47
1.7K
algstr_2__l18_algstr_2.vmin1
2025-09-15 19:47
1.4K
algstr_2__l19_algstr_2.vmin1
2025-09-15 19:47
2.1K
algstr_2__l20_algstr_2.vmin1
2025-09-15 19:47
1.8K
algstr_2__t2_algstr_2.vmin1
2025-09-15 19:47
3.1K
algstr_2__t3_algstr_2.vmin1
2025-09-15 19:47
1.3K
algstr_2__t4_algstr_2.vmin1
2025-09-15 19:47
2.0K
algstr_2__t5_algstr_2.vmin1
2025-09-15 19:47
2.4K
algstr_2__t7_algstr_2.vmin1
2025-09-15 19:47
3.4K
algstr_2__t8_algstr_2.vmin1
2025-09-15 19:47
1.9K
algstr_2__t9_algstr_2.vmin1
2025-09-15 19:47
2.4K
algstr_2__l4_algstr_2.vmin1out
2025-09-15 19:48
25K
algstr_2__t3_algstr_2.vmin1out
2025-09-15 19:48
21K
algstr_2__l2_algstr_2.vmin1out
2025-09-15 19:48
40K
algstr_2__l1_algstr_2.vmin1out
2025-09-15 19:49
35K
algstr_2__t5_algstr_2.vmin1out
2025-09-15 19:49
22K
algstr_2__t7_algstr_2.vmin1out
2025-09-15 19:49
30K
algstr_2__t9_algstr_2.vmin1out
2025-09-15 19:49
22K
algstr_2__l18_algstr_2.vmin1out
2025-09-15 19:49
21K
algstr_2__l5_algstr_2.vmin1out
2025-09-15 19:49
24K
algstr_2__t8_algstr_2.vmin1out
2025-09-15 19:49
24K
algstr_2__l20_algstr_2.vmin1out
2025-09-15 19:50
43K
algstr_2__l3_algstr_2.vmin1out
2025-09-15 19:50
17K
algstr_2__t2_algstr_2.vmin1out
2025-09-15 19:50
49K
algstr_2__l19_algstr_2.vmin1out
2025-09-15 19:50
47K
algstr_2__t4_algstr_2.vmin1out
2025-09-15 19:51
25K
algstr_2__l3_algstr_2.depvmin1
2025-09-15 19:51
135
algstr_2__t4_algstr_2.depvmin1
2025-09-15 19:51
137
algstr_2__l1_algstr_2.depvmin1
2025-09-15 19:51
247
algstr_2__l18_algstr_2.depvmin1
2025-09-15 19:51
73
algstr_2__l19_algstr_2.depvmin1
2025-09-15 19:51
86
algstr_2__l4_algstr_2.depvmin1
2025-09-15 19:51
148
algstr_2__l5_algstr_2.depvmin1
2025-09-15 19:51
124
algstr_2__t5_algstr_2.depvmin1
2025-09-15 19:51
136
algstr_2__l2_algstr_2.depvmin1
2025-09-15 19:51
397
algstr_2__t2_algstr_2.depvmin1
2025-09-15 19:51
137
algstr_2__t3_algstr_2.depvmin1
2025-09-15 19:51
105
algstr_2__t7_algstr_2.depvmin1
2025-09-15 19:51
137
algstr_2__t9_algstr_2.depvmin1
2025-09-15 19:51
136
algstr_2__l20_algstr_2.depvmin1
2025-09-15 19:51
26
algstr_2__t8_algstr_2.depvmin1
2025-09-15 19:51
137
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80