Index of /~mptp/mml5.63.1382/MPTP2/problems_small/quatern2
Name
Last modified
Size
Description
Parent Directory
-
quatern2__l1_quatern2
2021-07-18 04:20
11K
quatern2__l1_quatern2.depv1
2021-07-25 20:57
68
quatern2__l1_quatern2.depvmin1
2021-07-25 21:03
68
quatern2__l1_quatern2.vmin1
2021-07-25 20:57
750
quatern2__l1_quatern2.vmin1out
2021-07-25 20:59
15K
quatern2__l1_quatern2.vout
2021-07-25 16:49
11K
quatern2__l2_quatern2
2021-07-18 03:55
17K
quatern2__l2_quatern2.depv1
2021-07-25 20:57
25
quatern2__l2_quatern2.depvmin1
2021-07-25 21:03
25
quatern2__l2_quatern2.vmin1
2021-07-25 20:57
576
quatern2__l2_quatern2.vmin1out
2021-07-25 20:58
5.6K
quatern2__l2_quatern2.vout
2021-07-25 15:34
5.6K
quatern2__l3_quatern2
2021-07-18 03:56
26K
quatern2__l3_quatern2.depv1
2021-07-25 20:57
49
quatern2__l3_quatern2.depvmin1
2021-07-25 21:03
49
quatern2__l3_quatern2.vmin1
2021-07-25 20:57
763
quatern2__l3_quatern2.vmin1out
2021-07-25 21:01
17K
quatern2__l3_quatern2.vout
2021-07-25 20:18
18K
quatern2__l4_quatern2
2021-07-18 03:56
6.4K
quatern2__l4_quatern2.depv1
2021-07-25 20:57
95
quatern2__l4_quatern2.depvmin1
2021-07-25 21:03
95
quatern2__l4_quatern2.vmin1
2021-07-25 20:57
563
quatern2__l4_quatern2.vmin1out
2021-07-25 20:59
4.0K
quatern2__l4_quatern2.vout
2021-07-25 14:33
3.7K
quatern2__l14_quatern2
2021-07-18 03:56
15K
quatern2__l14_quatern2.depv1
2021-07-25 20:57
50
quatern2__l14_quatern2.depvmin1
2021-07-25 21:03
50
quatern2__l14_quatern2.vmin1
2021-07-25 20:57
282
quatern2__l14_quatern2.vmin1out
2021-07-25 20:58
3.8K
quatern2__l14_quatern2.vout
2021-07-25 17:32
3.9K
quatern2__l38_quatern2
2021-07-18 03:56
6.6K
quatern2__l38_quatern2.depv1
2021-07-25 20:57
96
quatern2__l38_quatern2.depvmin1
2021-07-25 21:03
96
quatern2__l38_quatern2.vmin1
2021-07-25 20:57
429
quatern2__l38_quatern2.vmin1out
2021-07-25 21:01
3.4K
quatern2__l38_quatern2.vout
2021-07-25 18:34
3.1K
quatern2__t1_quatern2
2021-07-18 03:57
51K
quatern2__t1_quatern2.vout
2021-07-25 17:48
7.3K
quatern2__t2_quatern2
2021-07-18 03:57
14K
quatern2__t2_quatern2.vout
2021-07-25 15:41
7.3K
quatern2__t3_quatern2
2021-07-18 03:58
15K
quatern2__t3_quatern2.vout
2021-07-25 16:53
7.3K
quatern2__t4_quatern2
2021-07-18 03:58
28K
quatern2__t4_quatern2.vout
2021-07-25 15:29
7.3K
quatern2__t5_quatern2
2021-07-18 03:58
24K
quatern2__t5_quatern2.vout
2021-07-25 16:22
7.3K
quatern2__t6_quatern2
2021-07-18 03:50
12K
quatern2__t6_quatern2.depv1
2021-07-25 20:57
172
quatern2__t6_quatern2.depvmin1
2021-07-25 21:03
143
quatern2__t6_quatern2.vmin1
2021-07-25 20:57
1.4K
quatern2__t6_quatern2.vmin1out
2021-07-25 20:59
11K
quatern2__t6_quatern2.vout
2021-07-25 16:44
19K
quatern2__t7_quatern2
2021-07-18 03:59
12K
quatern2__t7_quatern2.vout
2021-07-25 20:00
7.3K
quatern2__t8_quatern2
2021-07-18 03:59
12K
quatern2__t8_quatern2.depv1
2021-07-25 20:57
212
quatern2__t8_quatern2.depvmin1
2021-07-25 21:03
212
quatern2__t8_quatern2.vmin1
2021-07-25 20:57
1.3K
quatern2__t8_quatern2.vmin1out
2021-07-25 21:02
15K
quatern2__t8_quatern2.vout
2021-07-25 17:31
17K
quatern2__t9_quatern2
2021-07-18 04:00
51K
quatern2__t9_quatern2.vout
2021-07-25 16:55
7.3K
quatern2__t10_quatern2
2021-07-18 04:00
17K
quatern2__t10_quatern2.vout
2021-07-25 19:48
7.3K
quatern2__t11_quatern2
2021-07-18 04:00
12K
quatern2__t11_quatern2.depv1
2021-07-25 20:57
152
quatern2__t11_quatern2.depvmin1
2021-07-25 21:03
152
quatern2__t11_quatern2.vmin1
2021-07-25 20:57
1.0K
quatern2__t11_quatern2.vmin1out
2021-07-25 20:58
8.4K
quatern2__t11_quatern2.vout
2021-07-25 17:19
8.5K
quatern2__t12_quatern2
2021-07-18 04:01
31K
quatern2__t12_quatern2.vout
2021-07-25 16:07
7.3K
quatern2__t13_quatern2
2021-07-18 04:01
31K
quatern2__t13_quatern2.vout
2021-07-25 20:43
7.4K
quatern2__t14_quatern2
2021-07-18 04:02
33K
quatern2__t14_quatern2.vout
2021-07-25 19:34
7.3K
quatern2__t15_quatern2
2021-07-18 04:02
33K
quatern2__t15_quatern2.vout
2021-07-25 17:01
7.3K
quatern2__t16_quatern2
2021-07-18 04:03
27K
quatern2__t16_quatern2.vout
2021-07-25 20:41
7.4K
quatern2__t17_quatern2
2021-07-18 04:03
28K
quatern2__t17_quatern2.vout
2021-07-25 17:10
7.3K
quatern2__t18_quatern2
2021-07-18 04:03
28K
quatern2__t18_quatern2.vout
2021-07-25 17:07
7.3K
quatern2__t19_quatern2
2021-07-18 04:04
35K
quatern2__t19_quatern2.vout
2021-07-25 15:35
7.3K
quatern2__t20_quatern2
2021-07-18 04:04
36K
quatern2__t20_quatern2.vout
2021-07-25 14:45
7.3K
quatern2__t21_quatern2
2021-07-18 04:05
36K
quatern2__t21_quatern2.vout
2021-07-25 15:15
7.3K
quatern2__t22_quatern2
2021-07-18 04:05
28K
quatern2__t22_quatern2.vout
2021-07-25 19:51
7.3K
quatern2__t23_quatern2
2021-07-18 04:06
13K
quatern2__t23_quatern2.vout
2021-07-25 15:21
7.4K
quatern2__t24_quatern2
2021-07-18 04:06
13K
quatern2__t24_quatern2.vout
2021-07-25 15:33
7.4K
quatern2__t25_quatern2
2021-07-18 04:07
17K
quatern2__t25_quatern2.vout
2021-07-25 15:10
7.4K
quatern2__t26_quatern2
2021-07-18 04:07
77K
quatern2__t26_quatern2.depv1
2021-07-25 20:57
173
quatern2__t26_quatern2.depvmin1
2021-07-25 21:03
160
quatern2__t26_quatern2.vmin1
2021-07-25 20:57
1.4K
quatern2__t26_quatern2.vmin1out
2021-07-25 21:00
11K
quatern2__t26_quatern2.vout
2021-07-25 19:11
17K
quatern2__t27_quatern2
2021-07-18 04:08
248K
quatern2__t27_quatern2.vout
2021-07-25 18:16
6.8K
quatern2__t28_quatern2
2021-07-18 04:08
250K
quatern2__t28_quatern2.vout
2021-07-25 18:07
7.3K
quatern2__t29_quatern2
2021-07-18 04:09
106K
quatern2__t29_quatern2.vout
2021-07-25 18:42
7.3K
quatern2__t30_quatern2
2021-07-18 04:09
105K
quatern2__t30_quatern2.vout
2021-07-25 14:45
7.3K
quatern2__t31_quatern2
2021-07-18 04:10
137K
quatern2__t31_quatern2.vout
2021-07-25 20:07
7.3K
quatern2__t32_quatern2
2021-07-18 04:10
137K
quatern2__t32_quatern2.vout
2021-07-25 19:27
7.3K
quatern2__t33_quatern2
2021-07-18 04:11
135K
quatern2__t33_quatern2.vout
2021-07-25 20:54
7.3K
quatern2__t34_quatern2
2021-07-18 04:11
108K
quatern2__t34_quatern2.vout
2021-07-25 15:14
7.3K
quatern2__t35_quatern2
2021-07-18 03:50
16K
quatern2__t35_quatern2.depv1
2021-07-25 20:57
103
quatern2__t35_quatern2.depvmin1
2021-07-25 21:03
103
quatern2__t35_quatern2.vmin1
2021-07-25 20:57
531
quatern2__t35_quatern2.vmin1out
2021-07-25 21:00
5.2K
quatern2__t35_quatern2.vout
2021-07-25 20:31
5.3K
quatern2__t36_quatern2
2021-07-18 03:50
19K
quatern2__t36_quatern2.depv1
2021-07-25 20:57
162
quatern2__t36_quatern2.depvmin1
2021-07-25 21:03
162
quatern2__t36_quatern2.vmin1
2021-07-25 20:57
2.0K
quatern2__t36_quatern2.vmin1out
2021-07-25 20:59
33K
quatern2__t36_quatern2.vout
2021-07-25 19:36
40K
quatern2__t37_quatern2
2021-07-18 03:51
19K
quatern2__t37_quatern2.depv1
2021-07-25 20:57
80
quatern2__t37_quatern2.depvmin1
2021-07-25 21:03
80
quatern2__t37_quatern2.vmin1
2021-07-25 20:57
531
quatern2__t37_quatern2.vmin1out
2021-07-25 20:59
5.3K
quatern2__t37_quatern2.vout
2021-07-25 19:55
5.3K
quatern2__t38_quatern2
2021-07-18 03:51
19K
quatern2__t38_quatern2.depv1
2021-07-25 20:57
112
quatern2__t38_quatern2.depvmin1
2021-07-25 21:03
112
quatern2__t38_quatern2.vmin1
2021-07-25 20:57
939
quatern2__t38_quatern2.vmin1out
2021-07-25 20:58
6.8K
quatern2__t38_quatern2.vout
2021-07-25 19:39
6.9K
quatern2__t39_quatern2
2021-07-18 03:52
19K
quatern2__t39_quatern2.depv1
2021-07-25 20:57
104
quatern2__t39_quatern2.depvmin1
2021-07-25 21:03
104
quatern2__t39_quatern2.vmin1
2021-07-25 20:57
601
quatern2__t39_quatern2.vmin1out
2021-07-25 21:02
5.7K
quatern2__t39_quatern2.vout
2021-07-25 17:54
5.7K
quatern2__t40_quatern2
2021-07-18 04:12
25K
quatern2__t40_quatern2.depv1
2021-07-25 20:57
342
quatern2__t40_quatern2.depvmin1
2021-07-25 21:03
300
quatern2__t40_quatern2.vmin1
2021-07-25 20:57
2.9K
quatern2__t40_quatern2.vmin1out
2021-07-25 21:01
36K
quatern2__t40_quatern2.vout
2021-07-25 15:26
40K
quatern2__t41_quatern2
2021-07-18 04:13
26K
quatern2__t41_quatern2.depv1
2021-07-25 20:57
213
quatern2__t41_quatern2.depvmin1
2021-07-25 21:03
189
quatern2__t41_quatern2.vmin1
2021-07-25 20:57
1.4K
quatern2__t41_quatern2.vmin1out
2021-07-25 20:59
9.0K
quatern2__t41_quatern2.vout
2021-07-25 16:16
9.5K
quatern2__t42_quatern2
2021-07-18 04:13
27K
quatern2__t42_quatern2.depv1
2021-07-25 20:57
158
quatern2__t42_quatern2.depvmin1
2021-07-25 21:03
158
quatern2__t42_quatern2.vmin1
2021-07-25 20:57
1.1K
quatern2__t42_quatern2.vmin1out
2021-07-25 21:02
11K
quatern2__t42_quatern2.vout
2021-07-25 16:16
11K
quatern2__t43_quatern2
2021-07-18 04:14
27K
quatern2__t43_quatern2.depv1
2021-07-25 20:57
189
quatern2__t43_quatern2.depvmin1
2021-07-25 21:03
176
quatern2__t43_quatern2.vmin1
2021-07-25 20:57
1.3K
quatern2__t43_quatern2.vmin1out
2021-07-25 20:57
7.9K
quatern2__t43_quatern2.vout
2021-07-25 17:16
8.3K
quatern2__t44_quatern2
2021-07-18 03:53
40K
quatern2__t44_quatern2.depv1
2021-07-25 20:57
106
quatern2__t44_quatern2.depvmin1
2021-07-25 21:03
93
quatern2__t44_quatern2.vmin1
2021-07-25 20:57
1.0K
quatern2__t44_quatern2.vmin1out
2021-07-25 20:59
5.7K
quatern2__t44_quatern2.vout
2021-07-25 20:35
5.9K
quatern2__t45_quatern2
2021-07-18 03:53
39K
quatern2__t45_quatern2.depv1
2021-07-25 20:57
114
quatern2__t45_quatern2.depvmin1
2021-07-25 21:03
114
quatern2__t45_quatern2.vmin1
2021-07-25 20:57
607
quatern2__t45_quatern2.vmin1out
2021-07-25 21:01
6.4K
quatern2__t45_quatern2.vout
2021-07-25 18:58
6.7K
quatern2__t46_quatern2
2021-07-18 03:54
40K
quatern2__t46_quatern2.depv1
2021-07-25 20:57
93
quatern2__t46_quatern2.depvmin1
2021-07-25 21:03
93
quatern2__t46_quatern2.vmin1
2021-07-25 20:57
591
quatern2__t46_quatern2.vmin1out
2021-07-25 21:01
5.5K
quatern2__t46_quatern2.vout
2021-07-25 16:46
5.6K
quatern2__t47_quatern2
2021-07-18 04:15
21K
quatern2__t47_quatern2.depv1
2021-07-25 20:57
288
quatern2__t47_quatern2.depvmin1
2021-07-25 21:03
288
quatern2__t47_quatern2.vmin1
2021-07-25 20:57
1.9K
quatern2__t47_quatern2.vmin1out
2021-07-25 20:58
12K
quatern2__t47_quatern2.vout
2021-07-25 19:19
12K
quatern2__t48_quatern2
2021-07-18 04:15
70K
quatern2__t48_quatern2.vout
2021-07-25 16:50
7.4K
quatern2__t49_quatern2
2021-07-18 04:16
275K
quatern2__t49_quatern2.vout
2021-07-25 19:32
7.3K
quatern2__t50_quatern2
2021-07-18 04:16
274K
quatern2__t50_quatern2.vout
2021-07-25 17:50
7.3K
quatern2__t51_quatern2
2021-07-18 04:17
245K
quatern2__t51_quatern2.depv1
2021-07-25 20:57
94
quatern2__t51_quatern2.depvmin1
2021-07-25 21:03
94
quatern2__t51_quatern2.vmin1
2021-07-25 20:57
806
quatern2__t51_quatern2.vmin1out
2021-07-25 20:58
6.2K
quatern2__t51_quatern2.vout
2021-07-25 14:51
9.0K
quatern2__t52_quatern2
2021-07-18 04:17
274K
quatern2__t52_quatern2.vout
2021-07-25 14:27
7.3K
quatern2__t53_quatern2
2021-07-18 03:54
17K
quatern2__t53_quatern2.depv1
2021-07-25 20:57
110
quatern2__t53_quatern2.depvmin1
2021-07-25 21:03
110
quatern2__t53_quatern2.vmin1
2021-07-25 20:57
1.0K
quatern2__t53_quatern2.vmin1out
2021-07-25 20:59
9.6K
quatern2__t53_quatern2.vout
2021-07-25 18:08
16K
quatern2__t54_quatern2
2021-07-18 04:18
17K
quatern2__t54_quatern2.vout
2021-07-25 20:31
7.3K
quatern2__t55_quatern2
2021-07-18 03:55
18K
quatern2__t55_quatern2.depv1
2021-07-25 20:57
84
quatern2__t55_quatern2.depvmin1
2021-07-25 21:03
84
quatern2__t55_quatern2.vmin1
2021-07-25 20:57
775
quatern2__t55_quatern2.vmin1out
2021-07-25 21:01
6.5K
quatern2__t55_quatern2.vout
2021-07-25 17:02
9.7K
quatern2__t56_quatern2
2021-07-18 04:18
18K
quatern2__t56_quatern2.depv1
2021-07-25 20:57
135
quatern2__t56_quatern2.depvmin1
2021-07-25 21:03
135
quatern2__t56_quatern2.vmin1
2021-07-25 20:57
1.0K
quatern2__t56_quatern2.vmin1out
2021-07-25 21:02
7.5K
quatern2__t56_quatern2.vout
2021-07-25 19:19
11K
quatern2__t57_quatern2
2021-07-18 04:19
18K
quatern2__t57_quatern2.depv1
2021-07-25 20:57
145
quatern2__t57_quatern2.depvmin1
2021-07-25 21:03
135
quatern2__t57_quatern2.vmin1
2021-07-25 20:57
1.1K
quatern2__t57_quatern2.vmin1out
2021-07-25 20:59
12K
quatern2__t57_quatern2.vout
2021-07-25 16:05
16K
quatern2__t58_quatern2
2021-07-18 03:55
18K
quatern2__t58_quatern2.depv1
2021-07-25 20:57
147
quatern2__t58_quatern2.vmin1
2021-07-25 20:57
1.2K
quatern2__t58_quatern2.vmin1out
2021-07-25 20:59
2.0K
quatern2__t58_quatern2.vout
2021-07-25 15:13
12K
quatern2__t59_quatern2
2021-07-18 04:19
18K
quatern2__t59_quatern2.vout
2021-07-25 14:29
7.3K
quatern2__t60_quatern2
2021-07-18 04:19
18K
quatern2__t60_quatern2.vout
2021-07-25 20:12
7.4K
quatern2__t61_quatern2
2021-07-18 04:20
19K
quatern2__t61_quatern2.vout
2021-07-25 16:11
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80