Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/quatern3
Name
Last modified
Size
Description
Parent Directory
-
quatern3__t13_quatern3.depv1
2024-08-03 10:19
39
quatern3__t13_quatern3.depvmin1
2024-08-03 10:24
39
quatern3__t40_quatern3.depv1
2024-08-03 10:19
39
quatern3__t40_quatern3.depvmin1
2024-08-03 10:24
39
quatern3__t12_quatern3.depv1
2024-08-03 10:19
52
quatern3__t12_quatern3.depvmin1
2024-08-03 10:24
52
quatern3__t59_quatern3.depv1
2024-08-03 10:19
55
quatern3__t59_quatern3.depvmin1
2024-08-03 10:24
55
quatern3__t66_quatern3.depv1
2024-08-03 10:19
55
quatern3__t66_quatern3.depvmin1
2024-08-03 10:24
55
quatern3__t78_quatern3.depv1
2024-08-03 10:19
64
quatern3__t78_quatern3.depvmin1
2024-08-03 10:24
64
quatern3__t30_quatern3.depv1
2024-08-03 10:19
65
quatern3__t30_quatern3.depvmin1
2024-08-03 10:24
65
quatern3__t34_quatern3.depv1
2024-08-03 10:19
65
quatern3__t34_quatern3.depvmin1
2024-08-03 10:24
65
quatern3__t58_quatern3.depv1
2024-08-03 10:19
65
quatern3__t58_quatern3.depvmin1
2024-08-03 10:24
65
quatern3__t67_quatern3.depv1
2024-08-03 10:19
65
quatern3__t67_quatern3.depvmin1
2024-08-03 10:24
65
quatern3__t74_quatern3.depv1
2024-08-03 10:19
67
quatern3__t74_quatern3.depvmin1
2024-08-03 10:24
67
quatern3__t61_quatern3.depv1
2024-08-03 10:19
68
quatern3__t61_quatern3.depvmin1
2024-08-03 10:24
68
quatern3__t65_quatern3.depv1
2024-08-03 10:19
68
quatern3__t65_quatern3.depvmin1
2024-08-03 10:24
68
quatern3__t31_quatern3.depv1
2024-08-03 10:19
77
quatern3__t31_quatern3.depvmin1
2024-08-03 10:24
77
quatern3__t64_quatern3.depv1
2024-08-03 10:19
78
quatern3__t64_quatern3.depvmin1
2024-08-03 10:24
78
quatern3__t33_quatern3.depv1
2024-08-03 10:19
79
quatern3__t33_quatern3.depvmin1
2024-08-03 10:24
79
quatern3__t73_quatern3.depv1
2024-08-03 10:19
79
quatern3__t73_quatern3.depvmin1
2024-08-03 10:24
79
quatern3__t32_quatern3.depv1
2024-08-03 10:19
81
quatern3__t32_quatern3.depvmin1
2024-08-03 10:24
81
quatern3__l76_quatern3.depv1
2024-08-03 10:19
110
quatern3__l76_quatern3.depvmin1
2024-08-03 10:24
110
quatern3__t1_quatern3.depv1
2024-08-03 10:19
116
quatern3__t1_quatern3.depvmin1
2024-08-03 10:24
116
quatern3__t57_quatern3.depvmin1
2024-08-03 10:24
136
quatern3__t60_quatern3.depv1
2024-08-03 10:19
136
quatern3__t60_quatern3.depvmin1
2024-08-03 10:24
136
quatern3__t10_quatern3.depv1
2024-08-03 10:19
144
quatern3__t10_quatern3.depvmin1
2024-08-03 10:24
144
quatern3__t57_quatern3.depv1
2024-08-03 10:19
146
quatern3__t5_quatern3.depv1
2024-08-03 10:19
151
quatern3__t5_quatern3.depvmin1
2024-08-03 10:24
151
quatern3__t6_quatern3.depv1
2024-08-03 10:19
152
quatern3__t6_quatern3.depvmin1
2024-08-03 10:24
152
quatern3__t7_quatern3.depv1
2024-08-03 10:19
152
quatern3__t7_quatern3.depvmin1
2024-08-03 10:24
152
quatern3__t51_quatern3.depv1
2024-08-03 10:19
158
quatern3__l2_quatern3.depvmin1
2024-08-03 10:24
172
quatern3__l2_quatern3.depv1
2024-08-03 10:19
184
quatern3__t9_quatern3.depv1
2024-08-03 10:19
186
quatern3__t9_quatern3.depvmin1
2024-08-03 10:24
186
quatern3__t56_quatern3.depv1
2024-08-03 10:19
186
quatern3__t28_quatern3.depvmin1
2024-08-03 10:24
199
quatern3__t28_quatern3.depv1
2024-08-03 10:19
212
quatern3__t89_quatern3.depvmin1
2024-08-03 10:24
291
quatern3__t89_quatern3.depv1
2024-08-03 10:19
318
quatern3__t48_quatern3.depvmin1
2024-08-03 10:24
533
quatern3__t40_quatern3.vmin1
2024-08-03 10:19
568
quatern3__t59_quatern3.vmin1
2024-08-03 10:19
617
quatern3__t32_quatern3.vmin1
2024-08-03 10:19
640
quatern3__l76_quatern3.vmin1
2024-08-03 10:19
641
quatern3__t58_quatern3.vmin1
2024-08-03 10:19
646
quatern3__t48_quatern3.depv1
2024-08-03 10:19
660
quatern3__t34_quatern3.vmin1
2024-08-03 10:19
685
quatern3__t33_quatern3.vmin1
2024-08-03 10:19
744
quatern3__t66_quatern3.vmin1
2024-08-03 10:19
748
quatern3__t30_quatern3.vmin1
2024-08-03 10:19
776
quatern3__t67_quatern3.vmin1
2024-08-03 10:19
777
quatern3__t61_quatern3.vmin1
2024-08-03 10:19
778
quatern3__t12_quatern3.vmin1
2024-08-03 10:19
783
quatern3__t31_quatern3.vmin1
2024-08-03 10:19
846
quatern3__t13_quatern3.vmin1
2024-08-03 10:19
848
quatern3__t65_quatern3.vmin1
2024-08-03 10:19
966
quatern3__t64_quatern3.vmin1
2024-08-03 10:19
1.0K
quatern3__t60_quatern3.vmin1
2024-08-03 10:19
1.1K
quatern3__t73_quatern3.vmin1
2024-08-03 10:19
1.2K
quatern3__t10_quatern3.vmin1
2024-08-03 10:19
1.2K
quatern3__t5_quatern3.vmin1
2024-08-03 10:19
1.2K
quatern3__t6_quatern3.vmin1
2024-08-03 10:19
1.3K
quatern3__t7_quatern3.vmin1
2024-08-03 10:19
1.3K
quatern3__t78_quatern3.vmin1
2024-08-03 10:19
1.3K
quatern3__t57_quatern3.vmin1
2024-08-03 10:19
1.7K
quatern3__t51_quatern3.vmin1
2024-08-03 10:19
1.7K
quatern3__l2_quatern3.vmin1
2024-08-03 10:19
1.7K
quatern3__t56_quatern3.vmin1
2024-08-03 10:19
1.8K
quatern3__t89_quatern3.vmin1
2024-08-03 10:19
1.8K
quatern3__t1_quatern3.vmin1
2024-08-03 10:19
1.8K
quatern3__t43_quatern3.vout
2024-08-03 07:23
2.0K
quatern3__t11_quatern3.vout
2024-08-03 09:25
2.0K
quatern3__t51_quatern3.vmin1out
2024-08-03 10:22
2.0K
quatern3__t28_quatern3.vmin1
2024-08-03 10:19
2.4K
quatern3__t9_quatern3.vmin1
2024-08-03 10:19
2.5K
quatern3__l76_quatern3
2024-07-27 06:16
2.5K
quatern3__t74_quatern3.vmin1
2024-08-03 10:19
2.8K
quatern3__t56_quatern3.vmin1out
2024-08-03 10:22
3.7K
quatern3__t48_quatern3.vmin1
2024-08-03 10:19
4.1K
quatern3__l76_quatern3.vout
2024-08-03 08:05
4.3K
quatern3__l76_quatern3.vmin1out
2024-08-03 10:20
4.4K
quatern3__t40_quatern3.vmin1out
2024-08-03 10:23
4.7K
quatern3__t13_quatern3.vmin1out
2024-08-03 10:22
4.7K
quatern3__t12_quatern3.vmin1out
2024-08-03 10:23
5.1K
quatern3__t13_quatern3.vout
2024-08-03 07:32
5.4K
quatern3__t33_quatern3.vmin1out
2024-08-03 10:22
5.5K
quatern3__t32_quatern3.vmin1out
2024-08-03 10:20
6.0K
quatern3__t12_quatern3.vout
2024-08-03 09:47
6.2K
quatern3__t59_quatern3.vmin1out
2024-08-03 10:20
6.3K
quatern3__t58_quatern3.vmin1out
2024-08-03 10:21
6.8K
quatern3__t49_quatern3.vout
2024-08-03 06:26
6.8K
quatern3__t40_quatern3.vout
2024-08-03 07:15
6.8K
quatern3__t32_quatern3.vout
2024-08-03 06:17
6.8K
quatern3__t61_quatern3.vmin1out
2024-08-03 10:21
6.9K
quatern3__t34_quatern3.vmin1out
2024-08-03 10:22
7.2K
quatern3__t2_quatern3.vout
2024-08-03 05:00
7.3K
quatern3__t81_quatern3.vout
2024-08-03 08:21
7.3K
quatern3__t4_quatern3.vout
2024-08-03 09:14
7.3K
quatern3__t44_quatern3.vout
2024-08-03 04:38
7.3K
quatern3__t52_quatern3.vout
2024-08-03 06:47
7.3K
quatern3__t68_quatern3.vout
2024-08-03 07:39
7.3K
quatern3__t71_quatern3.vout
2024-08-03 08:57
7.3K
quatern3__t8_quatern3.vout
2024-08-03 06:34
7.3K
quatern3__t17_quatern3.vout
2024-08-03 05:48
7.3K
quatern3__t18_quatern3.vout
2024-08-03 04:37
7.3K
quatern3__t39_quatern3.vout
2024-08-03 09:24
7.3K
quatern3__t45_quatern3.vout
2024-08-03 04:46
7.3K
quatern3__t47_quatern3.vout
2024-08-03 04:30
7.3K
quatern3__t53_quatern3.vout
2024-08-03 06:57
7.3K
quatern3__t69_quatern3.vout
2024-08-03 08:31
7.3K
quatern3__t23_quatern3.vout
2024-08-03 09:45
7.3K
quatern3__t54_quatern3.vout
2024-08-03 08:58
7.3K
quatern3__t38_quatern3.vout
2024-08-03 06:16
7.3K
quatern3__t29_quatern3.vout
2024-08-03 09:14
7.3K
quatern3__t36_quatern3.vout
2024-08-03 10:08
7.3K
quatern3__t3_quatern3.vout
2024-08-03 06:27
7.3K
quatern3__t19_quatern3.vout
2024-08-03 10:04
7.3K
quatern3__t55_quatern3.vout
2024-08-03 06:33
7.3K
quatern3__t14_quatern3.vout
2024-08-03 05:50
7.3K
quatern3__t37_quatern3.vout
2024-08-03 08:50
7.3K
quatern3__t46_quatern3.vout
2024-08-03 06:31
7.3K
quatern3__t50_quatern3.vout
2024-08-03 05:43
7.3K
quatern3__t72_quatern3.vout
2024-08-03 09:44
7.3K
quatern3__t20_quatern3.vout
2024-08-03 08:26
7.4K
quatern3__t24_quatern3.vout
2024-08-03 09:43
7.4K
quatern3__t25_quatern3.vout
2024-08-03 07:33
7.4K
quatern3__t27_quatern3.vout
2024-08-03 07:24
7.4K
quatern3__t35_quatern3.vout
2024-08-03 04:31
7.4K
quatern3__t41_quatern3.vout
2024-08-03 08:57
7.4K
quatern3__t63_quatern3.vout
2024-08-03 08:51
7.4K
quatern3__t70_quatern3.vout
2024-08-03 06:55
7.4K
quatern3__t16_quatern3.vout
2024-08-03 06:52
7.4K
quatern3__t42_quatern3.vout
2024-08-03 04:16
7.4K
quatern3__t22_quatern3.vout
2024-08-03 10:09
7.4K
quatern3__t26_quatern3.vout
2024-08-03 09:01
7.4K
quatern3__t15_quatern3.vout
2024-08-03 08:05
7.4K
quatern3__t21_quatern3.vout
2024-08-03 06:20
7.4K
quatern3__t62_quatern3.vout
2024-08-03 05:51
7.9K
quatern3__t66_quatern3.vmin1out
2024-08-03 10:20
8.1K
quatern3__t30_quatern3.vmin1out
2024-08-03 10:20
8.2K
quatern3__t31_quatern3.vmin1out
2024-08-03 10:20
8.3K
quatern3__t33_quatern3.vout
2024-08-03 05:34
8.3K
quatern3__l77_quatern3.vout
2024-08-03 05:29
8.4K
quatern3__t73_quatern3.vmin1out
2024-08-03 10:21
8.9K
quatern3__t76_quatern3.vout
2024-08-03 04:29
9.0K
quatern3__t75_quatern3.vout
2024-08-03 06:55
9.0K
quatern3__t64_quatern3.vmin1out
2024-08-03 10:23
9.0K
quatern3__t65_quatern3.vmin1out
2024-08-03 10:22
9.0K
quatern3__t31_quatern3
2024-07-27 06:53
9.1K
quatern3__t59_quatern3.vout
2024-08-03 04:56
9.1K
quatern3__t67_quatern3
2024-07-27 07:30
9.5K
quatern3__t58_quatern3.vout
2024-08-03 10:16
9.6K
quatern3__t61_quatern3.vout
2024-08-03 08:55
9.6K
quatern3__t66_quatern3
2024-07-27 07:29
9.8K
quatern3__t59_quatern3
2024-07-27 07:22
9.9K
quatern3__t51_quatern3
2024-07-27 07:15
10K
quatern3__t84_quatern3.vout
2024-08-03 04:26
10K
quatern3__t34_quatern3.vout
2024-08-03 07:00
10K
quatern3__t60_quatern3
2024-07-27 07:23
10K
quatern3__t61_quatern3
2024-07-27 07:24
10K
quatern3__t68_quatern3
2024-07-27 07:31
10K
quatern3__t69_quatern3
2024-07-27 07:31
10K
quatern3__t58_quatern3
2024-07-27 07:21
10K
quatern3__t64_quatern3
2024-07-27 07:27
10K
quatern3__t65_quatern3
2024-07-27 07:28
10K
quatern3__l77_quatern3
2024-07-27 06:17
10K
quatern3__t79_quatern3.vout
2024-08-03 10:17
10K
quatern3__t86_quatern3.vout
2024-08-03 08:19
10K
quatern3__t80_quatern3.vout
2024-08-03 09:49
10K
quatern3__t87_quatern3.vout
2024-08-03 06:45
10K
quatern3__t88_quatern3.vout
2024-08-03 07:56
10K
quatern3__t77_quatern3.vout
2024-08-03 09:49
10K
quatern3__t82_quatern3.vout
2024-08-03 06:15
10K
quatern3__t31_quatern3.vout
2024-08-03 07:47
11K
quatern3__t89_quatern3
2024-07-27 07:54
11K
quatern3__t50_quatern3
2024-07-27 07:14
11K
quatern3__t56_quatern3
2024-07-27 07:19
11K
quatern3__t57_quatern3
2024-07-27 07:20
11K
quatern3__t78_quatern3.vmin1out
2024-08-03 10:22
11K
quatern3__t52_quatern3
2024-07-27 07:16
11K
quatern3__t53_quatern3
2024-07-27 07:17
11K
quatern3__t83_quatern3.vout
2024-08-03 09:35
11K
quatern3__t85_quatern3.vout
2024-08-03 04:57
11K
quatern3__t10_quatern3
2024-07-27 06:28
11K
quatern3__t54_quatern3
2024-07-27 07:18
11K
quatern3__t55_quatern3
2024-07-27 07:19
11K
quatern3__t30_quatern3.vout
2024-08-03 09:14
11K
quatern3__t6_quatern3
2024-07-27 06:23
11K
quatern3__t7_quatern3
2024-07-27 06:24
11K
quatern3__t71_quatern3
2024-07-27 07:33
11K
quatern3__l2_quatern3
2024-07-27 07:55
11K
quatern3__t66_quatern3.vout
2024-08-03 07:13
12K
quatern3__t5_quatern3
2024-07-27 06:22
12K
quatern3__t73_quatern3.vout
2024-08-03 06:12
12K
quatern3__t67_quatern3.vout
2024-08-03 09:07
12K
quatern3__t65_quatern3.vout
2024-08-03 05:03
12K
quatern3__t64_quatern3.vout
2024-08-03 09:20
13K
quatern3__t60_quatern3.vout
2024-08-03 08:36
13K
quatern3__t78_quatern3.vout
2024-08-03 09:26
13K
quatern3__t1_quatern3.vmin1out
2024-08-03 10:22
13K
quatern3__t10_quatern3.vout
2024-08-03 08:29
14K
quatern3__t10_quatern3.vmin1out
2024-08-03 10:22
14K
quatern3__t2_quatern3
2024-07-27 06:19
16K
quatern3__t67_quatern3.vmin1out
2024-08-03 10:22
16K
quatern3__t5_quatern3.vmin1out
2024-08-03 10:23
18K
quatern3__t7_quatern3.vmin1out
2024-08-03 10:21
18K
quatern3__t6_quatern3.vmin1out
2024-08-03 10:22
18K
quatern3__t5_quatern3.vout
2024-08-03 08:18
18K
quatern3__t7_quatern3.vout
2024-08-03 05:40
19K
quatern3__t6_quatern3.vout
2024-08-03 08:32
19K
quatern3__t28_quatern3.vmin1out
2024-08-03 10:22
19K
quatern3__l2_quatern3.vmin1out
2024-08-03 10:23
19K
quatern3__t60_quatern3.vmin1out
2024-08-03 10:22
20K
quatern3__t8_quatern3
2024-07-27 06:25
20K
quatern3__t56_quatern3.vout
2024-08-03 04:10
22K
quatern3__t89_quatern3.vmin1out
2024-08-03 10:20
22K
quatern3__t57_quatern3.vmin1out
2024-08-03 10:23
23K
quatern3__t3_quatern3
2024-07-27 06:20
23K
quatern3__t28_quatern3.vout
2024-08-03 06:13
23K
quatern3__t74_quatern3.vmin1out
2024-08-03 10:20
24K
quatern3__l2_quatern3.vout
2024-08-03 08:57
24K
quatern3__t51_quatern3.vout
2024-08-03 09:51
24K
quatern3__t1_quatern3.vout
2024-08-03 09:09
25K
quatern3__t11_quatern3
2024-07-27 06:28
28K
quatern3__t1_quatern3
2024-07-27 06:18
29K
quatern3__t72_quatern3
2024-07-27 07:34
29K
quatern3__t34_quatern3
2024-07-27 06:57
29K
quatern3__t48_quatern3.vmin1out
2024-08-03 10:23
29K
quatern3__t30_quatern3
2024-07-27 06:52
29K
quatern3__t85_quatern3
2024-07-27 07:49
30K
quatern3__t4_quatern3
2024-07-27 06:21
30K
quatern3__t86_quatern3
2024-07-27 07:50
30K
quatern3__t74_quatern3.vout
2024-08-03 09:24
32K
quatern3__t40_quatern3
2024-07-27 07:03
37K
quatern3__t37_quatern3
2024-07-27 07:00
37K
quatern3__t35_quatern3
2024-07-27 06:58
37K
quatern3__t42_quatern3
2024-07-27 07:05
37K
quatern3__t41_quatern3
2024-07-27 07:04
37K
quatern3__t89_quatern3.vout
2024-08-03 05:32
37K
quatern3__t57_quatern3.vout
2024-08-03 08:13
38K
quatern3__t36_quatern3
2024-07-27 06:59
38K
quatern3__t48_quatern3.vout
2024-08-03 04:10
43K
quatern3__t43_quatern3
2024-07-27 07:06
44K
quatern3__t14_quatern3
2024-07-27 06:32
49K
quatern3__t9_quatern3.vmin1out
2024-08-03 10:22
54K
quatern3__t9_quatern3.vout
2024-08-03 09:35
61K
quatern3__t84_quatern3
2024-07-27 07:48
77K
quatern3__t9_quatern3
2024-07-27 06:27
78K
quatern3__t13_quatern3
2024-07-27 06:31
78K
quatern3__t20_quatern3
2024-07-27 06:39
79K
quatern3__t22_quatern3
2024-07-27 06:42
79K
quatern3__t16_quatern3
2024-07-27 06:35
80K
quatern3__t15_quatern3
2024-07-27 06:33
80K
quatern3__t62_quatern3
2024-07-27 07:25
101K
quatern3__t63_quatern3
2024-07-27 07:26
101K
quatern3__t78_quatern3
2024-07-27 07:41
101K
quatern3__t73_quatern3
2024-07-27 07:36
101K
quatern3__t48_quatern3
2024-07-27 07:12
102K
quatern3__t49_quatern3
2024-07-27 07:13
102K
quatern3__t70_quatern3
2024-07-27 07:32
102K
quatern3__t81_quatern3
2024-07-27 07:45
102K
quatern3__t17_quatern3
2024-07-27 06:36
102K
quatern3__t74_quatern3
2024-07-27 07:37
103K
quatern3__t79_quatern3
2024-07-27 07:42
104K
quatern3__t80_quatern3
2024-07-27 07:44
104K
quatern3__t82_quatern3
2024-07-27 07:46
104K
quatern3__t83_quatern3
2024-07-27 07:47
104K
quatern3__t87_quatern3
2024-07-27 07:52
105K
quatern3__t88_quatern3
2024-07-27 07:53
105K
quatern3__t76_quatern3
2024-07-27 07:39
162K
quatern3__t77_quatern3
2024-07-27 07:40
162K
quatern3__t38_quatern3
2024-07-27 07:01
251K
quatern3__t45_quatern3
2024-07-27 07:08
251K
quatern3__t39_quatern3
2024-07-27 07:02
251K
quatern3__t44_quatern3
2024-07-27 07:07
251K
quatern3__t18_quatern3
2024-07-27 06:37
259K
quatern3__t24_quatern3
2024-07-27 06:45
261K
quatern3__t25_quatern3
2024-07-27 06:46
261K
quatern3__t26_quatern3
2024-07-27 06:47
261K
quatern3__t27_quatern3
2024-07-27 06:48
261K
quatern3__t32_quatern3
2024-07-27 06:54
261K
quatern3__t33_quatern3
2024-07-27 06:56
261K
quatern3__t12_quatern3
2024-07-27 06:30
261K
quatern3__t47_quatern3
2024-07-27 07:11
261K
quatern3__t28_quatern3
2024-07-27 06:50
261K
quatern3__t19_quatern3
2024-07-27 06:38
262K
quatern3__t21_quatern3
2024-07-27 06:41
262K
quatern3__t23_quatern3
2024-07-27 06:43
262K
quatern3__t29_quatern3
2024-07-27 06:51
263K
quatern3__t46_quatern3
2024-07-27 07:10
265K
quatern3__t75_quatern3
2024-07-27 07:38
321K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80