Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/semi_af1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]semi_af1__l56_semi_af12025-09-12 04:07 7.2K 
[ ]semi_af1__t1_semi_af12025-09-12 03:24 10K 
[ ]semi_af1__t2_semi_af12025-09-12 03:25 11K 
[ ]semi_af1__t3_semi_af12025-09-12 03:25 11K 
[ ]semi_af1__t4_semi_af12025-09-12 03:26 11K 
[ ]semi_af1__t5_semi_af12025-09-12 03:26 6.0K 
[ ]semi_af1__t6_semi_af12025-09-12 03:27 6.9K 
[ ]semi_af1__t7_semi_af12025-09-12 03:28 13K 
[ ]semi_af1__t8_semi_af12025-09-12 03:28 12K 
[ ]semi_af1__t9_semi_af12025-09-12 03:11 11K 
[ ]semi_af1__t10_semi_af12025-09-12 03:11 11K 
[ ]semi_af1__t11_semi_af12025-09-12 03:29 12K 
[ ]semi_af1__t12_semi_af12025-09-12 03:29 11K 
[ ]semi_af1__t13_semi_af12025-09-12 03:30 11K 
[ ]semi_af1__t14_semi_af12025-09-12 03:30 8.8K 
[ ]semi_af1__t15_semi_af12025-09-12 03:31 13K 
[ ]semi_af1__t16_semi_af12025-09-12 03:31 15K 
[ ]semi_af1__t17_semi_af12025-09-12 03:32 14K 
[ ]semi_af1__t18_semi_af12025-09-12 03:32 13K 
[ ]semi_af1__t19_semi_af12025-09-12 03:33 14K 
[ ]semi_af1__t20_semi_af12025-09-12 03:12 12K 
[ ]semi_af1__t21_semi_af12025-09-12 03:12 11K 
[ ]semi_af1__t22_semi_af12025-09-12 03:13 7.3K 
[ ]semi_af1__t23_semi_af12025-09-12 03:13 6.8K 
[ ]semi_af1__t24_semi_af12025-09-12 03:13 12K 
[ ]semi_af1__t25_semi_af12025-09-12 03:34 5.8K 
[ ]semi_af1__t26_semi_af12025-09-12 03:34 14K 
[ ]semi_af1__t27_semi_af12025-09-12 03:35 15K 
[ ]semi_af1__t28_semi_af12025-09-12 03:14 7.0K 
[ ]semi_af1__t29_semi_af12025-09-12 03:35 8.6K 
[ ]semi_af1__t30_semi_af12025-09-12 03:36 14K 
[ ]semi_af1__t31_semi_af12025-09-12 03:36 13K 
[ ]semi_af1__t32_semi_af12025-09-12 03:37 13K 
[ ]semi_af1__t33_semi_af12025-09-12 03:38 13K 
[ ]semi_af1__t34_semi_af12025-09-12 03:14 6.8K 
[ ]semi_af1__t35_semi_af12025-09-12 03:15 11K 
[ ]semi_af1__t36_semi_af12025-09-12 03:38 8.3K 
[ ]semi_af1__t37_semi_af12025-09-12 03:39 14K 
[ ]semi_af1__t38_semi_af12025-09-12 03:39 8.8K 
[ ]semi_af1__t39_semi_af12025-09-12 03:40 7.7K 
[ ]semi_af1__t40_semi_af12025-09-12 03:15 8.0K 
[ ]semi_af1__t41_semi_af12025-09-12 03:16 8.9K 
[ ]semi_af1__t42_semi_af12025-09-12 03:16 8.9K 
[ ]semi_af1__t43_semi_af12025-09-12 03:17 9.1K 
[ ]semi_af1__t44_semi_af12025-09-12 03:40 12K 
[ ]semi_af1__t45_semi_af12025-09-12 03:41 16K 
[ ]semi_af1__t46_semi_af12025-09-12 03:42 12K 
[ ]semi_af1__t47_semi_af12025-09-12 03:42 12K 
[ ]semi_af1__t48_semi_af12025-09-12 03:43 14K 
[ ]semi_af1__t49_semi_af12025-09-12 03:43 12K 
[ ]semi_af1__t50_semi_af12025-09-12 03:44 14K 
[ ]semi_af1__t51_semi_af12025-09-12 03:44 10K 
[ ]semi_af1__t52_semi_af12025-09-12 03:45 13K 
[ ]semi_af1__t53_semi_af12025-09-12 03:46 8.6K 
[ ]semi_af1__t54_semi_af12025-09-12 03:17 7.2K 
[ ]semi_af1__t55_semi_af12025-09-12 03:17 7.2K 
[ ]semi_af1__t56_semi_af12025-09-12 03:18 7.0K 
[ ]semi_af1__t57_semi_af12025-09-12 03:46 13K 
[ ]semi_af1__t58_semi_af12025-09-12 03:47 8.1K 
[ ]semi_af1__t59_semi_af12025-09-12 03:18 8.2K 
[ ]semi_af1__t60_semi_af12025-09-12 03:47 13K 
[ ]semi_af1__t61_semi_af12025-09-12 03:48 12K 
[ ]semi_af1__t62_semi_af12025-09-12 03:49 11K 
[ ]semi_af1__t63_semi_af12025-09-12 03:49 10K 
[ ]semi_af1__t64_semi_af12025-09-12 03:50 7.8K 
[ ]semi_af1__t65_semi_af12025-09-12 03:50 9.0K 
[ ]semi_af1__t66_semi_af12025-09-12 03:19 5.8K 
[ ]semi_af1__t67_semi_af12025-09-12 03:51 7.9K 
[ ]semi_af1__t68_semi_af12025-09-12 03:52 25K 
[ ]semi_af1__t69_semi_af12025-09-12 03:52 7.2K 
[ ]semi_af1__t70_semi_af12025-09-12 03:53 8.2K 
[ ]semi_af1__t71_semi_af12025-09-12 03:53 8.8K 
[ ]semi_af1__t72_semi_af12025-09-12 03:19 6.7K 
[ ]semi_af1__t73_semi_af12025-09-12 03:54 8.2K 
[ ]semi_af1__t74_semi_af12025-09-12 03:20 6.8K 
[ ]semi_af1__t75_semi_af12025-09-12 03:20 7.0K 
[ ]semi_af1__t76_semi_af12025-09-12 03:54 8.7K 
[ ]semi_af1__t77_semi_af12025-09-12 03:55 9.9K 
[ ]semi_af1__t78_semi_af12025-09-12 03:56 7.7K 
[ ]semi_af1__t79_semi_af12025-09-12 03:56 7.1K 
[ ]semi_af1__t80_semi_af12025-09-12 03:57 8.4K 
[ ]semi_af1__t81_semi_af12025-09-12 03:57 8.4K 
[ ]semi_af1__t82_semi_af12025-09-12 03:58 8.0K 
[ ]semi_af1__t83_semi_af12025-09-12 03:58 9.3K 
[ ]semi_af1__t84_semi_af12025-09-12 03:59 6.8K 
[ ]semi_af1__t85_semi_af12025-09-12 03:59 9.1K 
[ ]semi_af1__t86_semi_af12025-09-12 04:00 21K 
[ ]semi_af1__t87_semi_af12025-09-12 04:00 7.6K 
[ ]semi_af1__t88_semi_af12025-09-12 04:01 11K 
[ ]semi_af1__t89_semi_af12025-09-12 04:02 16K 
[ ]semi_af1__t90_semi_af12025-09-12 03:21 6.9K 
[ ]semi_af1__t91_semi_af12025-09-12 03:21 7.4K 
[ ]semi_af1__t92_semi_af12025-09-12 03:22 12K 
[ ]semi_af1__t93_semi_af12025-09-12 03:22 7.9K 
[ ]semi_af1__t94_semi_af12025-09-12 04:02 15K 
[ ]semi_af1__t95_semi_af12025-09-12 04:03 7.8K 
[ ]semi_af1__t96_semi_af12025-09-12 03:23 8.6K 
[ ]semi_af1__t97_semi_af12025-09-12 03:23 7.0K 
[ ]semi_af1__t98_semi_af12025-09-12 04:03 12K 
[ ]semi_af1__t99_semi_af12025-09-12 03:24 7.5K 
[ ]semi_af1__t100_semi_af12025-09-12 04:04 23K 
[ ]semi_af1__t101_semi_af12025-09-12 04:05 12K 
[ ]semi_af1__t102_semi_af12025-09-12 04:05 11K 
[ ]semi_af1__t103_semi_af12025-09-12 04:06 16K 
[ ]semi_af1__t104_semi_af12025-09-12 04:06 8.6K 
[ ]semi_af1__t105_semi_af12025-09-12 04:07 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80