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