Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/xprimet1
Name
Last modified
Size
Description
Parent Directory
-
xprimet1__t1_xprimet1
2025-09-13 06:20
15K
xprimet1__t2_xprimet1
2025-09-13 06:20
16K
xprimet1__t3_xprimet1
2025-09-13 06:21
20K
xprimet1__t4_xprimet1
2025-09-13 06:22
18K
xprimet1__t5_xprimet1
2025-09-13 06:22
22K
xprimet1__t6_xprimet1
2025-09-13 06:23
20K
xprimet1__t7_xprimet1
2025-09-13 06:24
32K
xprimet1__t8_xprimet1
2025-09-13 06:24
23K
xprimet1__t9_xprimet1
2025-09-13 06:25
27K
xprimet1__t10_xprimet1
2025-09-13 06:26
26K
xprimet1__t11_xprimet1
2025-09-13 06:27
39K
xprimet1__t12_xprimet1
2025-09-13 06:27
29K
xprimet1__t13_xprimet1
2025-09-13 06:28
33K
xprimet1__t14_xprimet1
2025-09-13 06:29
33K
xprimet1__t15_xprimet1
2025-09-13 06:30
47K
xprimet1__t16_xprimet1
2025-09-13 06:30
37K
xprimet1__t17_xprimet1
2025-09-13 06:31
61K
xprimet1__t18_xprimet1
2025-09-13 06:32
40K
xprimet1__t19_xprimet1
2025-09-13 06:33
44K
xprimet1__t20_xprimet1
2025-09-13 06:33
44K
xprimet1__t21_xprimet1
2025-09-13 06:34
71K
xprimet1__t22_xprimet1
2025-09-13 06:35
48K
xprimet1__t23_xprimet1
2025-09-13 06:36
64K
xprimet1__t24_xprimet1
2025-09-13 06:37
53K
xprimet1__t25_xprimet1
2025-09-13 06:38
57K
xprimet1__t26_xprimet1
2025-09-13 06:38
58K
xprimet1__t27_xprimet1
2025-09-13 06:39
74K
xprimet1__t28_xprimet1
2025-09-13 06:40
63K
xprimet1__t29_xprimet1
2025-09-13 06:41
94K
xprimet1__t30_xprimet1
2025-09-13 06:42
68K
xprimet1__t31_xprimet1
2025-09-13 06:43
99K
xprimet1__t32_xprimet1
2025-09-13 06:44
73K
xprimet1__t33_xprimet1
2025-09-13 06:45
77K
xprimet1__t34_xprimet1
2025-09-13 06:45
79K
xprimet1__t35_xprimet1
2025-09-13 06:46
113K
xprimet1__t36_xprimet1
2025-09-13 06:47
85K
xprimet1__t37_xprimet1
2025-09-13 06:48
104K
xprimet1__t38_xprimet1
2025-09-13 06:49
92K
xprimet1__t39_xprimet1
2025-09-13 06:50
96K
xprimet1__t40_xprimet1
2025-09-13 06:51
98K
xprimet1__t41_xprimet1
2025-09-13 06:52
135K
xprimet1__t42_xprimet1
2025-09-13 06:53
105K
xprimet1__t43_xprimet1
2025-09-13 06:54
126K
xprimet1__t44_xprimet1
2025-09-13 06:55
112K
xprimet1__t45_xprimet1
2025-09-13 06:56
151K
xprimet1__t46_xprimet1
2025-09-13 06:57
120K
xprimet1__t47_xprimet1
2025-09-13 06:58
179K
xprimet1__t48_xprimet1
2025-09-13 06:59
128K
xprimet1__t49_xprimet1
2025-09-13 07:00
150K
xprimet1__t50_xprimet1
2025-09-13 07:01
136K
xprimet1__t51_xprimet1
2025-09-13 07:02
141K
xprimet1__t52_xprimet1
2025-09-13 07:03
144K
xprimet1__t53_xprimet1
2025-09-13 07:04
168K
xprimet1__t54_xprimet1
2025-09-13 07:05
153K
xprimet1__t55_xprimet1
2025-09-13 07:06
157K
xprimet1__t56_xprimet1
2025-09-13 07:07
162K
xprimet1__t57_xprimet1
2025-09-13 07:08
187K
xprimet1__t58_xprimet1
2025-09-13 07:09
171K
xprimet1__t59_xprimet1
2025-09-13 07:11
310K
xprimet1__t60_xprimet1
2025-09-13 07:12
180K
xprimet1__t61_xprimet1
2025-09-13 07:13
204K
xprimet1__t62_xprimet1
2025-09-13 07:14
190K
xprimet1__t63_xprimet1
2025-09-13 07:15
236K
xprimet1__t64_xprimet1
2025-09-13 07:16
200K
xprimet1__t65_xprimet1
2025-09-13 07:17
204K
xprimet1__t66_xprimet1
2025-09-13 07:18
211K
xprimet1__t67_xprimet1
2025-09-13 07:19
302K
xprimet1__t68_xprimet1
2025-09-13 07:21
221K
xprimet1__t69_xprimet1
2025-09-13 07:22
225K
xprimet1__t70_xprimet1
2025-09-13 07:23
232K
xprimet1__t71_xprimet1
2025-09-13 07:24
279K
xprimet1__t72_xprimet1
2025-09-13 07:25
243K
xprimet1__t73_xprimet1
2025-09-13 07:26
291K
xprimet1__t74_xprimet1
2025-09-13 07:27
255K
xprimet1__t75_xprimet1
2025-09-13 07:28
280K
xprimet1__t76_xprimet1
2025-09-13 07:30
266K
xprimet1__t77_xprimet1
2025-09-13 07:31
316K
xprimet1__t78_xprimet1
2025-09-13 07:32
278K
xprimet1__t79_xprimet1
2025-09-13 07:33
327K
xprimet1__t80_xprimet1
2025-09-13 07:34
290K
xprimet1__t81_xprimet1
2025-09-13 07:36
295K
xprimet1__t82_xprimet1
2025-09-13 07:37
303K
xprimet1__t83_xprimet1
2025-09-13 07:38
405K
xprimet1__t84_xprimet1
2025-09-13 07:39
316K
xprimet1__t85_xprimet1
2025-09-13 07:41
318K
xprimet1__t86_xprimet1
2025-09-13 07:42
329K
xprimet1__t87_xprimet1
2025-09-13 07:43
351K
xprimet1__t88_xprimet1
2025-09-13 07:44
342K
xprimet1__t89_xprimet1
2025-09-13 07:46
344K
xprimet1__t90_xprimet1
2025-09-13 07:47
356K
xprimet1__t91_xprimet1
2025-09-13 07:48
431K
xprimet1__t92_xprimet1
2025-09-13 07:50
370K
xprimet1__t93_xprimet1
2025-09-13 07:51
424K
xprimet1__t94_xprimet1
2025-09-13 07:53
384K
xprimet1__t95_xprimet1
2025-09-13 07:54
389K
xprimet1__t96_xprimet1
2025-09-13 07:56
398K
xprimet1__t97_xprimet1
2025-09-13 07:57
393K
xprimet1__t98_xprimet1
2025-09-13 07:59
413K
xprimet1__t99_xprimet1
2025-09-13 08:00
419K
xprimet1__t100_xprimet1
2025-09-13 08:02
428K
xprimet1__t101_xprimet1
2025-09-13 08:03
443K
xprimet1__t102_xprimet1
2025-09-13 08:05
443K
xprimet1__t103_xprimet1
2025-09-13 08:06
440K
xprimet1__t104_xprimet1
2025-09-13 08:08
459K
xprimet1__t105_xprimet1
2025-09-13 08:09
502K
xprimet1__t106_xprimet1
2025-09-13 08:11
474K
xprimet1__t107_xprimet1
2025-09-13 08:12
491K
xprimet1__t108_xprimet1
2025-09-13 08:14
490K
xprimet1__t109_xprimet1
2025-09-13 08:15
509K
xprimet1__t110_xprimet1
2025-09-13 08:17
507K
xprimet1__t111_xprimet1
2025-09-13 08:18
523K
xprimet1__t112_xprimet1
2025-09-13 08:20
523K
xprimet1__t113_xprimet1
2025-09-13 08:22
520K
xprimet1__t114_xprimet1
2025-09-13 08:23
540K
xprimet1__t115_xprimet1
2025-09-13 08:25
556K
xprimet1__t116_xprimet1
2025-09-13 08:26
557K
xprimet1__t117_xprimet1
2025-09-13 08:28
565K
xprimet1__t118_xprimet1
2025-09-13 08:30
575K
xprimet1__t119_xprimet1
2025-09-13 08:31
568K
xprimet1__t120_xprimet1
2025-09-13 08:33
592K
xprimet1__t121_xprimet1
2025-09-13 08:34
646K
xprimet1__t122_xprimet1
2025-09-13 08:36
610K
xprimet1__t123_xprimet1
2025-09-13 08:38
679K
xprimet1__t124_xprimet1
2025-09-13 08:39
629K
xprimet1__t125_xprimet1
2025-09-13 08:41
631K
xprimet1__t126_xprimet1
2025-09-13 08:43
647K
xprimet1__t127_xprimet1
2025-09-13 08:44
638K
xprimet1__t128_xprimet1
2025-09-13 08:46
666K
xprimet1__t129_xprimet1
2025-09-13 08:48
665K
xprimet1__t130_xprimet1
2025-09-13 08:49
685K
xprimet1__t131_xprimet1
2025-09-13 08:51
742K
xprimet1__t132_xprimet1
2025-09-13 08:53
705K
xprimet1__t133_xprimet1
2025-09-13 08:54
714K
xprimet1__t134_xprimet1
2025-09-13 08:56
724K
xprimet1__t135_xprimet1
2025-09-13 08:58
759K
xprimet1__t136_xprimet1
2025-09-13 08:59
744K
xprimet1__t137_xprimet1
2025-09-13 09:01
733K
xprimet1__t138_xprimet1
2025-09-13 09:03
764K
xprimet1__t139_xprimet1
2025-09-13 09:04
767K
xprimet1__t140_xprimet1
2025-09-13 09:06
785K
xprimet1__t141_xprimet1
2025-09-13 09:08
794K
xprimet1__t142_xprimet1
2025-09-13 09:10
806K
xprimet1__t143_xprimet1
2025-09-13 09:11
834K
xprimet1__t144_xprimet1
2025-09-13 09:13
827K
xprimet1__t145_xprimet1
2025-09-13 09:15
840K
xprimet1__t146_xprimet1
2025-09-13 09:16
848K
xprimet1__t147_xprimet1
2025-09-13 09:18
858K
xprimet1__t148_xprimet1
2025-09-13 09:20
869K
xprimet1__t149_xprimet1
2025-09-13 09:22
874K
xprimet1__t150_xprimet1
2025-09-13 09:23
891K
xprimet1__t151_xprimet1
2025-09-13 09:25
901K
xprimet1__t152_xprimet1
2025-09-13 09:27
913K
xprimet1__t153_xprimet1
2025-09-13 09:29
942K
xprimet1__t154_xprimet1
2025-09-13 09:30
936K
xprimet1__t155_xprimet1
2025-09-13 09:32
940K
xprimet1__t156_xprimet1
2025-09-13 09:34
958K
xprimet1__t157_xprimet1
2025-09-13 09:36
1.0M
xprimet1__t158_xprimet1
2025-09-13 09:38
1.0M
xprimet1__t159_xprimet1
2025-09-13 09:40
1.0M
xprimet1__t160_xprimet1
2025-09-13 09:41
1.0M
xprimet1__t161_xprimet1
2025-09-13 09:43
1.0M
xprimet1__t162_xprimet1
2025-09-13 09:45
1.0M
xprimet1__t163_xprimet1
2025-09-13 09:47
1.0M
xprimet1__t164_xprimet1
2025-09-13 09:49
1.0M
xprimet1__t165_xprimet1
2025-09-13 09:50
1.0M
xprimet1__t166_xprimet1
2025-09-13 09:52
1.0M
xprimet1__t167_xprimet1
2025-09-13 09:54
1.1M
xprimet1__t168_xprimet1
2025-09-13 09:56
1.1M
xprimet1__t169_xprimet1
2025-09-13 09:58
1.1M
xprimet1__t170_xprimet1
2025-09-13 10:00
1.1M
xprimet1__t171_xprimet1
2025-09-13 10:02
1.1M
xprimet1__t172_xprimet1
2025-09-13 10:04
1.1M
xprimet1__t173_xprimet1
2025-09-13 10:06
1.1M
xprimet1__t174_xprimet1
2025-09-13 10:07
1.1M
xprimet1__t175_xprimet1
2025-09-13 10:09
1.1M
xprimet1__t176_xprimet1
2025-09-13 10:11
1.2M
xprimet1__t177_xprimet1
2025-09-13 10:13
1.2M
xprimet1__t178_xprimet1
2025-09-13 10:15
1.2M
xprimet1__t179_xprimet1
2025-09-13 10:17
1.2M
xprimet1__t180_xprimet1
2025-09-13 10:19
1.2M
xprimet1__t181_xprimet1
2025-09-13 10:21
1.3M
xprimet1__t182_xprimet1
2025-09-13 10:23
1.2M
xprimet1__t183_xprimet1
2025-09-13 10:25
1.3M
xprimet1__t184_xprimet1
2025-09-13 10:27
1.3M
xprimet1__t185_xprimet1
2025-09-13 10:29
1.3M
xprimet1__t186_xprimet1
2025-09-13 10:31
1.3M
xprimet1__t187_xprimet1
2025-09-13 10:32
1.3M
xprimet1__t188_xprimet1
2025-09-13 10:34
1.3M
xprimet1__t189_xprimet1
2025-09-13 10:36
1.3M
xprimet1__t190_xprimet1
2025-09-13 10:38
1.4M
xprimet1__t191_xprimet1
2025-09-13 10:40
1.3M
xprimet1__t192_xprimet1
2025-09-13 10:42
1.4M
xprimet1__t193_xprimet1
2025-09-13 10:44
1.4M
xprimet1__t194_xprimet1
2025-09-13 10:46
1.4M
xprimet1__t195_xprimet1
2025-09-13 10:48
1.4M
xprimet1__t196_xprimet1
2025-09-13 10:50
1.4M
xprimet1__t197_xprimet1
2025-09-13 10:52
1.5M
xprimet1__t198_xprimet1
2025-09-13 10:54
1.5M
xprimet1__t199_xprimet1
2025-09-13 10:56
1.5M
xprimet1__t200_xprimet1
2025-09-13 10:58
1.5M
xprimet1__t201_xprimet1
2025-09-13 11:01
1.5M
xprimet1__t202_xprimet1
2025-09-13 11:03
1.5M
xprimet1__t203_xprimet1
2025-09-13 11:05
1.5M
xprimet1__t204_xprimet1
2025-09-13 11:07
1.5M
xprimet1__t205_xprimet1
2025-09-13 11:09
1.5M
xprimet1__t206_xprimet1
2025-09-13 11:11
1.6M
xprimet1__t207_xprimet1
2025-09-13 11:13
1.6M
xprimet1__t208_xprimet1
2025-09-13 11:15
1.6M
xprimet1__t209_xprimet1
2025-09-13 11:17
1.6M
xprimet1__t210_xprimet1
2025-09-13 11:19
1.6M
xprimet1__t211_xprimet1
2025-09-13 11:21
1.7M
xprimet1__t212_xprimet1
2025-09-13 11:23
1.7M
xprimet1__t213_xprimet1
2025-09-13 11:25
1.7M
xprimet1__t214_xprimet1
2025-09-13 11:28
1.7M
xprimet1__t215_xprimet1
2025-09-13 11:30
1.7M
xprimet1__t216_xprimet1
2025-09-13 11:32
1.7M
xprimet1__t217_xprimet1
2025-09-13 11:34
1.7M
xprimet1__t218_xprimet1
2025-09-13 11:36
1.8M
xprimet1__t219_xprimet1
2025-09-13 11:38
1.7M
xprimet1__t220_xprimet1
2025-09-13 11:40
1.8M
xprimet1__t221_xprimet1
2025-09-13 11:43
1.8M
xprimet1__t222_xprimet1
2025-09-13 11:45
1.8M
xprimet1__t223_xprimet1
2025-09-13 11:47
1.8M
xprimet1__t224_xprimet1
2025-09-13 11:49
1.8M
xprimet1__t225_xprimet1
2025-09-13 11:51
1.8M
xprimet1__t226_xprimet1
2025-09-13 11:54
1.9M
xprimet1__t227_xprimet1
2025-09-13 11:56
1.9M
xprimet1__t228_xprimet1
2025-09-13 11:58
1.9M
xprimet1__t229_xprimet1
2025-09-13 12:00
1.9M
xprimet1__t230_xprimet1
2025-09-13 12:03
1.9M
xprimet1__t231_xprimet1
2025-09-13 12:05
1.9M
xprimet1__t232_xprimet1
2025-09-13 12:07
2.0M
xprimet1__t233_xprimet1
2025-09-13 12:09
2.0M
xprimet1__t234_xprimet1
2025-09-13 12:12
2.0M
xprimet1__t235_xprimet1
2025-09-13 12:14
2.0M
xprimet1__t236_xprimet1
2025-09-13 12:16
2.0M
xprimet1__t237_xprimet1
2025-09-13 12:18
2.0M
xprimet1__t238_xprimet1
2025-09-13 12:21
2.1M
xprimet1__t239_xprimet1
2025-09-13 12:23
2.0M
xprimet1__t240_xprimet1
2025-09-13 12:25
2.1M
xprimet1__t241_xprimet1
2025-09-13 12:28
2.1M
xprimet1__t242_xprimet1
2025-09-13 12:30
2.1M
xprimet1__t243_xprimet1
2025-09-13 12:32
2.1M
xprimet1__t244_xprimet1
2025-09-13 12:35
2.2M
xprimet1__t245_xprimet1
2025-09-13 12:37
2.2M
xprimet1__t246_xprimet1
2025-09-13 12:39
2.2M
xprimet1__t247_xprimet1
2025-09-13 12:42
2.2M
xprimet1__t248_xprimet1
2025-09-13 12:44
2.2M
xprimet1__t249_xprimet1
2025-09-13 12:46
2.3M
xprimet1__t250_xprimet1
2025-09-13 12:49
2.3M
xprimet1__t251_xprimet1
2025-09-13 12:51
2.3M
xprimet1__t252_xprimet1
2025-09-13 12:53
2.3M
xprimet1__t253_xprimet1
2025-09-13 12:56
2.3M
xprimet1__t254_xprimet1
2025-09-13 12:58
2.3M
xprimet1__t255_xprimet1
2025-09-13 13:01
2.3M
xprimet1__t256_xprimet1
2025-09-13 13:03
2.4M
xprimet1__t257_xprimet1
2025-09-13 13:05
2.4M
xprimet1__t258_xprimet1
2025-09-13 13:08
2.4M
xprimet1__t259_xprimet1
2025-09-13 13:10
2.4M
xprimet1__t260_xprimet1
2025-09-13 13:13
2.4M
xprimet1__t261_xprimet1
2025-09-13 13:15
2.4M
xprimet1__t262_xprimet1
2025-09-13 13:18
2.5M
xprimet1__t263_xprimet1
2025-09-13 13:20
2.5M
xprimet1__t264_xprimet1
2025-09-13 13:23
2.5M
xprimet1__t265_xprimet1
2025-09-13 13:25
2.5M
xprimet1__t266_xprimet1
2025-09-13 13:28
2.6M
xprimet1__t267_xprimet1
2025-09-13 13:30
2.5M
xprimet1__t268_xprimet1
2025-09-13 13:33
2.6M
xprimet1__t269_xprimet1
2025-09-13 13:35
2.6M
xprimet1__t270_xprimet1
2025-09-13 13:38
2.6M
xprimet1__t271_xprimet1
2025-09-13 13:40
2.6M
xprimet1__t272_xprimet1
2025-09-13 13:43
2.7M
xprimet1__t273_xprimet1
2025-09-13 13:46
2.7M
xprimet1__t274_xprimet1
2025-09-13 13:48
2.7M
xprimet1__t275_xprimet1
2025-09-13 13:51
2.7M
xprimet1__t276_xprimet1
2025-09-13 13:54
2.7M
xprimet1__t277_xprimet1
2025-09-13 13:57
2.8M
xprimet1__t278_xprimet1
2025-09-13 13:59
2.8M
xprimet1__t279_xprimet1
2025-09-13 14:02
2.7M
xprimet1__t280_xprimet1
2025-09-13 14:04
2.8M
xprimet1__t281_xprimet1
2025-09-13 14:07
2.8M
xprimet1__t282_xprimet1
2025-09-13 14:10
2.9M
xprimet1__t283_xprimet1
2025-09-13 14:12
2.8M
xprimet1__t284_xprimet1
2025-09-13 14:15
2.9M
xprimet1__t285_xprimet1
2025-09-13 14:18
2.9M
xprimet1__t286_xprimet1
2025-09-13 14:20
2.9M
xprimet1__t287_xprimet1
2025-09-13 14:23
2.9M
xprimet1__t288_xprimet1
2025-09-13 14:25
3.0M
xprimet1__t289_xprimet1
2025-09-13 14:28
3.0M
xprimet1__t290_xprimet1
2025-09-13 14:31
3.0M
xprimet1__t291_xprimet1
2025-09-13 14:33
3.0M
xprimet1__t292_xprimet1
2025-09-13 14:36
3.1M
xprimet1__t293_xprimet1
2025-09-13 14:39
3.0M
xprimet1__t294_xprimet1
2025-09-13 14:42
3.1M
xprimet1__t295_xprimet1
2025-09-13 14:44
3.1M
xprimet1__t296_xprimet1
2025-09-13 14:47
3.1M
xprimet1__t297_xprimet1
2025-09-13 14:50
3.1M
xprimet1__t298_xprimet1
2025-09-13 14:53
3.2M
xprimet1__t299_xprimet1
2025-09-13 14:55
3.2M
xprimet1__t300_xprimet1
2025-09-13 14:58
3.2M
xprimet1__t301_xprimet1
2025-09-13 15:01
3.2M
xprimet1__t302_xprimet1
2025-09-13 15:04
3.3M
xprimet1__t303_xprimet1
2025-09-13 15:06
3.2M
xprimet1__t304_xprimet1
2025-09-13 15:09
3.3M
xprimet1__t305_xprimet1
2025-09-13 15:12
3.3M
xprimet1__t306_xprimet1
2025-09-13 15:15
3.3M
xprimet1__t307_xprimet1
2025-09-13 15:18
3.4M
xprimet1__t308_xprimet1
2025-09-13 15:21
3.4M
xprimet1__t309_xprimet1
2025-09-13 15:23
3.4M
xprimet1__t310_xprimet1
2025-09-13 15:26
3.4M
xprimet1__t311_xprimet1
2025-09-13 15:29
3.4M
xprimet1__t312_xprimet1
2025-09-13 15:32
3.5M
xprimet1__t313_xprimet1
2025-09-13 15:34
3.5M
xprimet1__t314_xprimet1
2025-09-13 15:37
3.5M
xprimet1__t315_xprimet1
2025-09-13 15:40
3.5M
xprimet1__t316_xprimet1
2025-09-13 15:43
3.6M
xprimet1__t317_xprimet1
2025-09-13 15:46
3.5M
xprimet1__t318_xprimet1
2025-09-13 15:49
3.6M
xprimet1__t319_xprimet1
2025-09-13 15:52
3.6M
xprimet1__t320_xprimet1
2025-09-13 15:55
3.6M
xprimet1__t321_xprimet1
2025-09-13 15:58
3.6M
xprimet1__t322_xprimet1
2025-09-13 16:01
3.7M
xprimet1__t323_xprimet1
2025-09-13 16:04
3.7M
xprimet1__t324_xprimet1
2025-09-13 16:07
3.7M
xprimet1__t325_xprimet1
2025-09-13 16:10
3.7M
xprimet1__t326_xprimet1
2025-09-13 16:13
3.8M
xprimet1__t327_xprimet1
2025-09-13 16:16
3.8M
xprimet1__t328_xprimet1
2025-09-13 16:19
3.8M
xprimet1__t329_xprimet1
2025-09-13 16:22
3.8M
xprimet1__t330_xprimet1
2025-09-13 16:25
3.9M
xprimet1__t331_xprimet1
2025-09-13 16:28
3.9M
xprimet1__t332_xprimet1
2025-09-13 16:31
3.9M
xprimet1__t333_xprimet1
2025-09-13 16:34
3.9M
xprimet1__t334_xprimet1
2025-09-13 16:37
4.0M
xprimet1__t335_xprimet1
2025-09-13 16:40
4.0M
xprimet1__t336_xprimet1
2025-09-13 16:43
4.0M
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80