Index of /~mptp/mml5.63.1382/MPTP2/problems_small/jgraph_5
Name
Last modified
Size
Description
Parent Directory
-
jgraph_5__l12_jgraph_5
2021-07-18 02:52
17K
jgraph_5__l12_jgraph_5.depv1
2021-07-25 20:57
219
jgraph_5__l12_jgraph_5.depvmin1
2021-07-25 21:03
219
jgraph_5__l12_jgraph_5.vmin1
2021-07-25 20:57
1.4K
jgraph_5__l12_jgraph_5.vmin1out
2021-07-25 21:01
11K
jgraph_5__l12_jgraph_5.vout
2021-07-25 17:51
11K
jgraph_5__l13_jgraph_5
2021-07-18 02:52
17K
jgraph_5__l13_jgraph_5.depv1
2021-07-25 20:57
229
jgraph_5__l13_jgraph_5.depvmin1
2021-07-25 21:03
229
jgraph_5__l13_jgraph_5.vmin1
2021-07-25 20:57
1.3K
jgraph_5__l13_jgraph_5.vmin1out
2021-07-25 21:01
11K
jgraph_5__l13_jgraph_5.vout
2021-07-25 15:16
11K
jgraph_5__l30_jgraph_5
2021-07-18 03:54
98K
jgraph_5__l30_jgraph_5.vout
2021-07-25 19:53
5.9K
jgraph_5__l31_jgraph_5
2021-07-18 03:54
39K
jgraph_5__l31_jgraph_5.vout
2021-07-25 18:39
7.4K
jgraph_5__l44_jgraph_5
2021-07-18 03:55
111K
jgraph_5__l44_jgraph_5.vout
2021-07-25 20:56
3.7K
jgraph_5__l45_jgraph_5
2021-07-18 03:56
111K
jgraph_5__l45_jgraph_5.vout
2021-07-25 20:23
3.7K
jgraph_5__l74_jgraph_5
2021-07-18 02:53
28K
jgraph_5__l74_jgraph_5.depv1
2021-07-25 20:57
125
jgraph_5__l74_jgraph_5.depvmin1
2021-07-25 21:03
112
jgraph_5__l74_jgraph_5.vmin1
2021-07-25 20:57
781
jgraph_5__l74_jgraph_5.vmin1out
2021-07-25 21:01
4.6K
jgraph_5__l74_jgraph_5.vout
2021-07-25 17:24
6.8K
jgraph_5__l75_jgraph_5
2021-07-18 02:54
28K
jgraph_5__l75_jgraph_5.depv1
2021-07-25 20:57
125
jgraph_5__l75_jgraph_5.depvmin1
2021-07-25 21:03
112
jgraph_5__l75_jgraph_5.vmin1
2021-07-25 20:57
777
jgraph_5__l75_jgraph_5.vmin1out
2021-07-25 20:58
4.6K
jgraph_5__l75_jgraph_5.vout
2021-07-25 18:43
6.8K
jgraph_5__l76_jgraph_5
2021-07-18 02:54
27K
jgraph_5__l76_jgraph_5.depv1
2021-07-25 20:57
113
jgraph_5__l76_jgraph_5.depvmin1
2021-07-25 21:03
100
jgraph_5__l76_jgraph_5.vmin1
2021-07-25 20:57
690
jgraph_5__l76_jgraph_5.vmin1out
2021-07-25 21:02
5.6K
jgraph_5__l76_jgraph_5.vout
2021-07-25 18:10
6.8K
jgraph_5__l77_jgraph_5
2021-07-18 02:55
28K
jgraph_5__l77_jgraph_5.depv1
2021-07-25 20:57
125
jgraph_5__l77_jgraph_5.depvmin1
2021-07-25 21:03
112
jgraph_5__l77_jgraph_5.vmin1
2021-07-25 20:57
777
jgraph_5__l77_jgraph_5.vmin1out
2021-07-25 21:01
4.6K
jgraph_5__l77_jgraph_5.vout
2021-07-25 17:25
6.8K
jgraph_5__l78_jgraph_5
2021-07-18 02:55
28K
jgraph_5__l78_jgraph_5.depv1
2021-07-25 20:57
125
jgraph_5__l78_jgraph_5.depvmin1
2021-07-25 21:03
112
jgraph_5__l78_jgraph_5.vmin1
2021-07-25 20:57
781
jgraph_5__l78_jgraph_5.vmin1out
2021-07-25 20:58
4.6K
jgraph_5__l78_jgraph_5.vout
2021-07-25 14:42
6.8K
jgraph_5__l79_jgraph_5
2021-07-18 02:56
27K
jgraph_5__l79_jgraph_5.depv1
2021-07-25 20:57
113
jgraph_5__l79_jgraph_5.depvmin1
2021-07-25 21:03
100
jgraph_5__l79_jgraph_5.vmin1
2021-07-25 20:57
644
jgraph_5__l79_jgraph_5.vmin1out
2021-07-25 21:00
3.9K
jgraph_5__l79_jgraph_5.vout
2021-07-25 18:28
5.8K
jgraph_5__l80_jgraph_5
2021-07-18 02:56
27K
jgraph_5__l80_jgraph_5.depv1
2021-07-25 20:57
113
jgraph_5__l80_jgraph_5.depvmin1
2021-07-25 21:03
100
jgraph_5__l80_jgraph_5.vmin1
2021-07-25 20:57
635
jgraph_5__l80_jgraph_5.vmin1out
2021-07-25 21:02
3.9K
jgraph_5__l80_jgraph_5.vout
2021-07-25 17:23
5.7K
jgraph_5__l81_jgraph_5
2021-07-18 03:53
35K
jgraph_5__l81_jgraph_5.depv1
2021-07-25 20:57
441
jgraph_5__l81_jgraph_5.depvmin1
2021-07-25 21:03
441
jgraph_5__l81_jgraph_5.vmin1
2021-07-25 20:57
2.5K
jgraph_5__l81_jgraph_5.vmin1out
2021-07-25 20:58
24K
jgraph_5__l81_jgraph_5.vout
2021-07-25 16:02
25K
jgraph_5__l82_jgraph_5
2021-07-18 02:57
17K
jgraph_5__l82_jgraph_5.depv1
2021-07-25 20:57
219
jgraph_5__l82_jgraph_5.depvmin1
2021-07-25 21:03
219
jgraph_5__l82_jgraph_5.vmin1
2021-07-25 20:57
1.4K
jgraph_5__l82_jgraph_5.vmin1out
2021-07-25 20:58
11K
jgraph_5__l82_jgraph_5.vout
2021-07-25 17:30
11K
jgraph_5__l83_jgraph_5
2021-07-18 02:57
17K
jgraph_5__l83_jgraph_5.depv1
2021-07-25 20:57
229
jgraph_5__l83_jgraph_5.depvmin1
2021-07-25 21:03
229
jgraph_5__l83_jgraph_5.vmin1
2021-07-25 20:57
1.3K
jgraph_5__l83_jgraph_5.vmin1out
2021-07-25 21:00
11K
jgraph_5__l83_jgraph_5.vout
2021-07-25 15:31
11K
jgraph_5__t1_jgraph_5
2021-07-18 02:58
51K
jgraph_5__t1_jgraph_5.vout
2021-07-25 17:36
7.3K
jgraph_5__t2_jgraph_5
2021-07-18 02:58
51K
jgraph_5__t2_jgraph_5.vout
2021-07-25 18:28
7.3K
jgraph_5__t3_jgraph_5
2021-07-18 02:59
29K
jgraph_5__t3_jgraph_5.vout
2021-07-25 16:58
3.7K
jgraph_5__t4_jgraph_5
2021-07-18 02:52
28K
jgraph_5__t4_jgraph_5.depv1
2021-07-25 20:57
223
jgraph_5__t4_jgraph_5.depvmin1
2021-07-25 21:03
201
jgraph_5__t4_jgraph_5.vmin1
2021-07-25 20:57
1.6K
jgraph_5__t4_jgraph_5.vmin1out
2021-07-25 21:01
19K
jgraph_5__t4_jgraph_5.vout
2021-07-25 16:09
19K
jgraph_5__t5_jgraph_5
2021-07-18 02:59
26K
jgraph_5__t5_jgraph_5.depv1
2021-07-25 20:57
33
jgraph_5__t5_jgraph_5.depvmin1
2021-07-25 21:03
33
jgraph_5__t5_jgraph_5.vmin1
2021-07-25 20:57
1.8K
jgraph_5__t5_jgraph_5.vmin1out
2021-07-25 21:02
20K
jgraph_5__t5_jgraph_5.vout
2021-07-25 14:48
20K
jgraph_5__t6_jgraph_5
2021-07-18 02:59
6.2K
jgraph_5__t6_jgraph_5.depv1
2021-07-25 20:57
72
jgraph_5__t6_jgraph_5.depvmin1
2021-07-25 21:03
72
jgraph_5__t6_jgraph_5.vmin1
2021-07-25 20:57
1.7K
jgraph_5__t6_jgraph_5.vmin1out
2021-07-25 20:58
18K
jgraph_5__t6_jgraph_5.vout
2021-07-25 15:33
18K
jgraph_5__t7_jgraph_5
2021-07-18 03:00
32K
jgraph_5__t7_jgraph_5.vout
2021-07-25 17:18
4.7K
jgraph_5__t8_jgraph_5
2021-07-18 03:01
63K
jgraph_5__t8_jgraph_5.vout
2021-07-25 14:31
4.7K
jgraph_5__t9_jgraph_5
2021-07-18 03:01
63K
jgraph_5__t9_jgraph_5.vout
2021-07-25 14:40
4.7K
jgraph_5__t10_jgraph_5
2021-07-18 03:02
32K
jgraph_5__t10_jgraph_5.depv1
2021-07-25 20:57
146
jgraph_5__t10_jgraph_5.depvmin1
2021-07-25 21:03
146
jgraph_5__t10_jgraph_5.vmin1
2021-07-25 20:57
1.8K
jgraph_5__t10_jgraph_5.vmin1out
2021-07-25 21:00
19K
jgraph_5__t10_jgraph_5.vout
2021-07-25 15:03
17K
jgraph_5__t11_jgraph_5
2021-07-18 03:03
41K
jgraph_5__t11_jgraph_5.vout
2021-07-25 16:06
4.7K
jgraph_5__t12_jgraph_5
2021-07-18 03:04
43K
jgraph_5__t12_jgraph_5.vout
2021-07-25 17:18
4.7K
jgraph_5__t13_jgraph_5
2021-07-18 03:15
43K
jgraph_5__t13_jgraph_5.vout
2021-07-25 15:02
6.8K
jgraph_5__t14_jgraph_5
2021-07-18 03:16
121K
jgraph_5__t14_jgraph_5.vout
2021-07-25 19:21
6.8K
jgraph_5__t15_jgraph_5
2021-07-18 03:17
42K
jgraph_5__t15_jgraph_5.vout
2021-07-25 16:49
7.3K
jgraph_5__t16_jgraph_5
2021-07-18 03:18
49K
jgraph_5__t16_jgraph_5.vout
2021-07-25 16:08
6.8K
jgraph_5__t17_jgraph_5
2021-07-18 03:19
48K
jgraph_5__t17_jgraph_5.vout
2021-07-25 14:48
3.7K
jgraph_5__t18_jgraph_5
2021-07-18 03:04
38K
jgraph_5__t18_jgraph_5.depv1
2021-07-25 20:57
63
jgraph_5__t18_jgraph_5.depvmin1
2021-07-25 21:03
63
jgraph_5__t18_jgraph_5.vmin1
2021-07-25 20:57
1.5K
jgraph_5__t18_jgraph_5.vmin1out
2021-07-25 20:59
20K
jgraph_5__t18_jgraph_5.vout
2021-07-25 20:37
14K
jgraph_5__t19_jgraph_5
2021-07-18 03:05
47K
jgraph_5__t19_jgraph_5.depv1
2021-07-25 20:57
176
jgraph_5__t19_jgraph_5.depvmin1
2021-07-25 21:03
154
jgraph_5__t19_jgraph_5.vmin1
2021-07-25 20:57
2.3K
jgraph_5__t19_jgraph_5.vmin1out
2021-07-25 21:00
22K
jgraph_5__t19_jgraph_5.vout
2021-07-25 16:10
22K
jgraph_5__t20_jgraph_5
2021-07-18 03:05
53K
jgraph_5__t20_jgraph_5.vout
2021-07-25 18:29
4.7K
jgraph_5__t21_jgraph_5
2021-07-18 03:06
97K
jgraph_5__t21_jgraph_5.vout
2021-07-25 16:19
4.7K
jgraph_5__t22_jgraph_5
2021-07-18 03:07
38K
jgraph_5__t22_jgraph_5.depv1
2021-07-25 20:57
65
jgraph_5__t22_jgraph_5.depvmin1
2021-07-25 21:03
65
jgraph_5__t22_jgraph_5.vmin1
2021-07-25 20:57
1.5K
jgraph_5__t22_jgraph_5.vmin1out
2021-07-25 21:01
20K
jgraph_5__t22_jgraph_5.vout
2021-07-25 16:11
14K
jgraph_5__t23_jgraph_5
2021-07-18 03:07
53K
jgraph_5__t23_jgraph_5.vout
2021-07-25 16:52
4.7K
jgraph_5__t24_jgraph_5
2021-07-18 03:08
97K
jgraph_5__t24_jgraph_5.vout
2021-07-25 16:29
4.7K
jgraph_5__t25_jgraph_5
2021-07-18 03:09
38K
jgraph_5__t25_jgraph_5.depv1
2021-07-25 20:57
65
jgraph_5__t25_jgraph_5.depvmin1
2021-07-25 21:03
65
jgraph_5__t25_jgraph_5.vmin1
2021-07-25 20:57
1.5K
jgraph_5__t25_jgraph_5.vmin1out
2021-07-25 21:00
20K
jgraph_5__t25_jgraph_5.vout
2021-07-25 16:43
14K
jgraph_5__t26_jgraph_5
2021-07-18 03:09
100K
jgraph_5__t26_jgraph_5.vout
2021-07-25 20:26
4.7K
jgraph_5__t27_jgraph_5
2021-07-18 03:10
97K
jgraph_5__t27_jgraph_5.vout
2021-07-25 20:19
4.7K
jgraph_5__t28_jgraph_5
2021-07-18 03:19
41K
jgraph_5__t28_jgraph_5.vout
2021-07-25 14:35
7.4K
jgraph_5__t29_jgraph_5
2021-07-18 03:20
153K
jgraph_5__t29_jgraph_5.vout
2021-07-25 14:46
3.7K
jgraph_5__t30_jgraph_5
2021-07-18 03:21
153K
jgraph_5__t30_jgraph_5.vout
2021-07-25 15:21
3.7K
jgraph_5__t31_jgraph_5
2021-07-18 03:11
34K
jgraph_5__t31_jgraph_5.vout
2021-07-25 16:33
6.3K
jgraph_5__t32_jgraph_5
2021-07-18 03:11
34K
jgraph_5__t32_jgraph_5.vout
2021-07-25 18:54
6.3K
jgraph_5__t33_jgraph_5
2021-07-18 03:22
28K
jgraph_5__t33_jgraph_5.depv1
2021-07-25 20:57
96
jgraph_5__t33_jgraph_5.depvmin1
2021-07-25 21:03
96
jgraph_5__t33_jgraph_5.vmin1
2021-07-25 20:57
1.0K
jgraph_5__t33_jgraph_5.vmin1out
2021-07-25 21:00
22K
jgraph_5__t33_jgraph_5.vout
2021-07-25 15:14
22K
jgraph_5__t34_jgraph_5
2021-07-18 03:23
138K
jgraph_5__t34_jgraph_5.vout
2021-07-25 19:26
3.7K
jgraph_5__t35_jgraph_5
2021-07-18 03:24
138K
jgraph_5__t35_jgraph_5.vout
2021-07-25 16:37
3.7K
jgraph_5__t36_jgraph_5
2021-07-18 03:12
68K
jgraph_5__t36_jgraph_5.vout
2021-07-25 17:32
6.8K
jgraph_5__t37_jgraph_5
2021-07-18 03:13
68K
jgraph_5__t37_jgraph_5.vout
2021-07-25 17:53
6.8K
jgraph_5__t38_jgraph_5
2021-07-18 03:13
39K
jgraph_5__t38_jgraph_5.vout
2021-07-25 19:59
8.4K
jgraph_5__t39_jgraph_5
2021-07-18 03:14
42K
jgraph_5__t39_jgraph_5.vout
2021-07-25 19:47
8.4K
jgraph_5__t40_jgraph_5
2021-07-18 03:25
72K
jgraph_5__t40_jgraph_5.vout
2021-07-25 19:32
6.8K
jgraph_5__t41_jgraph_5
2021-07-18 03:26
73K
jgraph_5__t41_jgraph_5.vout
2021-07-25 17:45
6.8K
jgraph_5__t42_jgraph_5
2021-07-18 03:27
457K
jgraph_5__t42_jgraph_5.vout
2021-07-25 16:10
6.9K
jgraph_5__t43_jgraph_5
2021-07-18 03:28
375K
jgraph_5__t43_jgraph_5.vout
2021-07-25 15:47
6.8K
jgraph_5__t44_jgraph_5
2021-07-18 03:29
43K
jgraph_5__t44_jgraph_5.vout
2021-07-25 16:22
7.3K
jgraph_5__t45_jgraph_5
2021-07-18 03:30
66K
jgraph_5__t45_jgraph_5.vout
2021-07-25 19:05
6.8K
jgraph_5__t46_jgraph_5
2021-07-18 03:31
75K
jgraph_5__t46_jgraph_5.vout
2021-07-25 18:09
6.8K
jgraph_5__t47_jgraph_5
2021-07-18 03:32
75K
jgraph_5__t47_jgraph_5.vout
2021-07-25 15:47
7.3K
jgraph_5__t48_jgraph_5
2021-07-18 03:33
74K
jgraph_5__t48_jgraph_5.vout
2021-07-25 20:15
7.3K
jgraph_5__t49_jgraph_5
2021-07-18 03:33
46K
jgraph_5__t49_jgraph_5.vout
2021-07-25 17:52
7.3K
jgraph_5__t50_jgraph_5
2021-07-18 03:34
68K
jgraph_5__t50_jgraph_5.vout
2021-07-25 19:58
7.3K
jgraph_5__t51_jgraph_5
2021-07-18 03:35
88K
jgraph_5__t51_jgraph_5.vout
2021-07-25 17:29
6.8K
jgraph_5__t52_jgraph_5
2021-07-18 03:36
88K
jgraph_5__t52_jgraph_5.vout
2021-07-25 15:56
6.8K
jgraph_5__t53_jgraph_5
2021-07-18 03:37
88K
jgraph_5__t53_jgraph_5.vout
2021-07-25 17:04
6.8K
jgraph_5__t54_jgraph_5
2021-07-18 03:38
78K
jgraph_5__t54_jgraph_5.vout
2021-07-25 17:22
6.8K
jgraph_5__t55_jgraph_5
2021-07-18 03:39
88K
jgraph_5__t55_jgraph_5.vout
2021-07-25 19:26
6.8K
jgraph_5__t56_jgraph_5
2021-07-18 03:40
77K
jgraph_5__t56_jgraph_5.vout
2021-07-25 18:11
6.8K
jgraph_5__t57_jgraph_5
2021-07-18 03:15
48K
jgraph_5__t57_jgraph_5.depv1
2021-07-25 20:57
192
jgraph_5__t57_jgraph_5.depvmin1
2021-07-25 21:03
170
jgraph_5__t57_jgraph_5.vmin1
2021-07-25 20:57
2.9K
jgraph_5__t57_jgraph_5.vmin1out
2021-07-25 20:58
28K
jgraph_5__t57_jgraph_5.vout
2021-07-25 19:06
27K
jgraph_5__t58_jgraph_5
2021-07-18 03:41
62K
jgraph_5__t58_jgraph_5.vout
2021-07-25 16:37
6.8K
jgraph_5__t59_jgraph_5
2021-07-18 03:42
103K
jgraph_5__t59_jgraph_5.vout
2021-07-25 20:43
6.8K
jgraph_5__t60_jgraph_5
2021-07-18 03:43
61K
jgraph_5__t60_jgraph_5.vout
2021-07-25 19:11
6.8K
jgraph_5__t61_jgraph_5
2021-07-18 03:43
42K
jgraph_5__t61_jgraph_5.vout
2021-07-25 15:34
6.8K
jgraph_5__t62_jgraph_5
2021-07-18 03:44
111K
jgraph_5__t62_jgraph_5.vout
2021-07-25 20:06
6.8K
jgraph_5__t63_jgraph_5
2021-07-18 03:45
42K
jgraph_5__t63_jgraph_5.vout
2021-07-25 19:30
6.8K
jgraph_5__t64_jgraph_5
2021-07-18 03:46
58K
jgraph_5__t64_jgraph_5.vout
2021-07-25 14:46
7.3K
jgraph_5__t65_jgraph_5
2021-07-18 03:47
120K
jgraph_5__t65_jgraph_5.vout
2021-07-25 18:07
6.8K
jgraph_5__t66_jgraph_5
2021-07-18 03:48
115K
jgraph_5__t66_jgraph_5.vout
2021-07-25 16:53
6.8K
jgraph_5__t67_jgraph_5
2021-07-18 03:48
47K
jgraph_5__t67_jgraph_5.vout
2021-07-25 17:29
7.3K
jgraph_5__t68_jgraph_5
2021-07-18 03:49
101K
jgraph_5__t68_jgraph_5.vout
2021-07-25 16:11
3.7K
jgraph_5__t69_jgraph_5
2021-07-18 03:50
102K
jgraph_5__t69_jgraph_5.vout
2021-07-25 20:36
3.7K
jgraph_5__t70_jgraph_5
2021-07-18 03:51
101K
jgraph_5__t70_jgraph_5.vout
2021-07-25 17:08
3.7K
jgraph_5__t71_jgraph_5
2021-07-18 03:52
101K
jgraph_5__t71_jgraph_5.vout
2021-07-25 16:46
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80