Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/sheffer2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sheffer2__t1_sheffer22021-07-19 05:13 7.2K 
[ ]sheffer2__t2_sheffer22021-07-19 05:13 7.0K 
[ ]sheffer2__t3_sheffer22021-07-19 05:13 7.6K 
[ ]sheffer2__t4_sheffer22021-07-19 05:14 7.9K 
[ ]sheffer2__t5_sheffer22021-07-19 05:14 7.3K 
[ ]sheffer2__t6_sheffer22021-07-19 05:14 6.9K 
[ ]sheffer2__t7_sheffer22021-07-19 05:14 7.0K 
[ ]sheffer2__t8_sheffer22021-07-19 05:14 7.2K 
[ ]sheffer2__t9_sheffer22021-07-19 05:15 7.8K 
[ ]sheffer2__t10_sheffer22021-07-19 05:15 7.4K 
[ ]sheffer2__t11_sheffer22021-07-19 05:15 7.0K 
[ ]sheffer2__t12_sheffer22021-07-19 05:15 6.4K 
[ ]sheffer2__t13_sheffer22021-07-19 05:15 6.5K 
[ ]sheffer2__t14_sheffer22021-07-19 05:15 7.0K 
[ ]sheffer2__t15_sheffer22021-07-19 05:16 7.1K 
[ ]sheffer2__t16_sheffer22021-07-19 05:16 7.0K 
[ ]sheffer2__t17_sheffer22021-07-19 05:16 7.1K 
[ ]sheffer2__t18_sheffer22021-07-19 05:16 7.2K 
[ ]sheffer2__t19_sheffer22021-07-19 05:16 7.1K 
[ ]sheffer2__t20_sheffer22021-07-19 05:17 6.8K 
[ ]sheffer2__t21_sheffer22021-07-19 05:17 6.9K 
[ ]sheffer2__t22_sheffer22021-07-19 05:17 7.1K 
[ ]sheffer2__t23_sheffer22021-07-19 05:17 7.0K 
[ ]sheffer2__t24_sheffer22021-07-19 05:17 7.0K 
[ ]sheffer2__t25_sheffer22021-07-19 05:18 7.0K 
[ ]sheffer2__t26_sheffer22021-07-19 05:18 7.1K 
[ ]sheffer2__t27_sheffer22021-07-19 05:18 6.7K 
[ ]sheffer2__t28_sheffer22021-07-19 05:18 7.2K 
[ ]sheffer2__t29_sheffer22021-07-19 05:18 7.4K 
[ ]sheffer2__t30_sheffer22021-07-19 05:19 7.1K 
[ ]sheffer2__t31_sheffer22021-07-19 05:19 7.5K 
[ ]sheffer2__t32_sheffer22021-07-19 05:19 7.1K 
[ ]sheffer2__t33_sheffer22021-07-19 05:19 7.2K 
[ ]sheffer2__t34_sheffer22021-07-19 05:19 7.4K 
[ ]sheffer2__t35_sheffer22021-07-19 05:20 7.2K 
[ ]sheffer2__t36_sheffer22021-07-19 05:20 6.8K 
[ ]sheffer2__t37_sheffer22021-07-19 05:20 7.0K 
[ ]sheffer2__t38_sheffer22021-07-19 05:20 7.3K 
[ ]sheffer2__t39_sheffer22021-07-19 05:20 7.2K 
[ ]sheffer2__t40_sheffer22021-07-19 05:21 7.2K 
[ ]sheffer2__t41_sheffer22021-07-19 05:21 7.2K 
[ ]sheffer2__t42_sheffer22021-07-19 05:21 7.1K 
[ ]sheffer2__t43_sheffer22021-07-19 05:21 6.8K 
[ ]sheffer2__t44_sheffer22021-07-19 05:21 7.0K 
[ ]sheffer2__t45_sheffer22021-07-19 05:22 7.4K 
[ ]sheffer2__t46_sheffer22021-07-19 05:22 7.4K 
[ ]sheffer2__t47_sheffer22021-07-19 05:22 7.3K 
[ ]sheffer2__t48_sheffer22021-07-19 05:22 7.5K 
[ ]sheffer2__t49_sheffer22021-07-19 05:22 7.3K 
[ ]sheffer2__t50_sheffer22021-07-19 05:23 7.6K 
[ ]sheffer2__t51_sheffer22021-07-19 05:23 7.5K 
[ ]sheffer2__t52_sheffer22021-07-19 05:23 7.2K 
[ ]sheffer2__t53_sheffer22021-07-19 05:23 7.3K 
[ ]sheffer2__t54_sheffer22021-07-19 05:23 7.5K 
[ ]sheffer2__t55_sheffer22021-07-19 05:24 7.5K 
[ ]sheffer2__t56_sheffer22021-07-19 05:24 7.5K 
[ ]sheffer2__t57_sheffer22021-07-19 05:24 7.5K 
[ ]sheffer2__t58_sheffer22021-07-19 05:24 7.2K 
[ ]sheffer2__t59_sheffer22021-07-19 05:24 7.1K 
[ ]sheffer2__t60_sheffer22021-07-19 05:25 7.5K 
[ ]sheffer2__t61_sheffer22021-07-19 05:25 7.6K 
[ ]sheffer2__t62_sheffer22021-07-19 05:25 7.1K 
[ ]sheffer2__t63_sheffer22021-07-19 05:25 7.6K 
[ ]sheffer2__t64_sheffer22021-07-19 05:25 7.6K 
[ ]sheffer2__t65_sheffer22021-07-19 05:25 7.6K 
[ ]sheffer2__t66_sheffer22021-07-19 05:26 7.6K 
[ ]sheffer2__t67_sheffer22021-07-19 05:26 6.5K 
[ ]sheffer2__t68_sheffer22021-07-19 05:26 6.6K 
[ ]sheffer2__t69_sheffer22021-07-19 05:26 7.2K 
[ ]sheffer2__t70_sheffer22021-07-19 05:26 6.9K 
[ ]sheffer2__t71_sheffer22021-07-19 05:27 6.9K 
[ ]sheffer2__t72_sheffer22021-07-19 05:27 6.9K 
[ ]sheffer2__t73_sheffer22021-07-19 05:27 7.6K 
[ ]sheffer2__t74_sheffer22021-07-19 05:27 7.4K 
[ ]sheffer2__t75_sheffer22021-07-19 05:27 7.6K 
[ ]sheffer2__t76_sheffer22021-07-19 05:28 6.9K 
[ ]sheffer2__t77_sheffer22021-07-19 05:28 6.9K 
[ ]sheffer2__t78_sheffer22021-07-19 05:28 6.9K 
[ ]sheffer2__t79_sheffer22021-07-19 05:28 7.2K 
[ ]sheffer2__t80_sheffer22021-07-19 05:28 7.5K 
[ ]sheffer2__t81_sheffer22021-07-19 05:29 7.3K 
[ ]sheffer2__t82_sheffer22021-07-19 05:29 6.9K 
[ ]sheffer2__t83_sheffer22021-07-19 05:29 6.9K 
[ ]sheffer2__t84_sheffer22021-07-19 05:29 7.5K 
[ ]sheffer2__t85_sheffer22021-07-19 05:29 7.5K 
[ ]sheffer2__t86_sheffer22021-07-19 05:30 7.3K 
[ ]sheffer2__t87_sheffer22021-07-19 05:30 7.1K 
[ ]sheffer2__t88_sheffer22021-07-19 05:30 7.7K 
[ ]sheffer2__t89_sheffer22021-07-19 05:30 7.7K 
[ ]sheffer2__t90_sheffer22021-07-19 05:30 7.5K 
[ ]sheffer2__t91_sheffer22021-07-19 05:30 7.5K 
[ ]sheffer2__t92_sheffer22021-07-19 05:31 7.0K 
[ ]sheffer2__t93_sheffer22021-07-19 05:31 7.5K 
[ ]sheffer2__t94_sheffer22021-07-19 05:31 8.2K 
[ ]sheffer2__t95_sheffer22021-07-19 05:31 7.5K 
[ ]sheffer2__t96_sheffer22021-07-19 05:31 7.5K 
[ ]sheffer2__t97_sheffer22021-07-19 05:32 7.0K 
[ ]sheffer2__t98_sheffer22021-07-19 05:32 7.5K 
[ ]sheffer2__t99_sheffer22021-07-19 05:32 8.5K 
[ ]sheffer2__t100_sheffer22021-07-19 05:32 7.5K 
[ ]sheffer2__t101_sheffer22021-07-19 05:32 7.0K 
[ ]sheffer2__t102_sheffer22021-07-19 05:33 7.0K 
[ ]sheffer2__t103_sheffer22021-07-19 05:33 7.2K 
[ ]sheffer2__t104_sheffer22021-07-19 05:33 7.2K 
[ ]sheffer2__t105_sheffer22021-07-19 05:33 7.0K 
[ ]sheffer2__t106_sheffer22021-07-19 05:33 7.0K 
[ ]sheffer2__t107_sheffer22021-07-19 05:33 7.0K 
[ ]sheffer2__t108_sheffer22021-07-19 05:34 7.2K 
[ ]sheffer2__t109_sheffer22021-07-19 05:34 7.0K 
[ ]sheffer2__t110_sheffer22021-07-19 05:34 8.2K 
[ ]sheffer2__t111_sheffer22021-07-19 05:34 8.0K 
[ ]sheffer2__t112_sheffer22021-07-19 05:34 7.2K 
[ ]sheffer2__t113_sheffer22021-07-19 05:35 7.2K 
[ ]sheffer2__t114_sheffer22021-07-19 05:35 7.7K 
[ ]sheffer2__t115_sheffer22021-07-19 05:35 8.2K 
[ ]sheffer2__t116_sheffer22021-07-19 05:35 8.1K 
[ ]sheffer2__t117_sheffer22021-07-19 05:35 8.2K 
[ ]sheffer2__t118_sheffer22021-07-19 05:36 7.7K 
[ ]sheffer2__t119_sheffer22021-07-19 05:36 7.3K 
[ ]sheffer2__t120_sheffer22021-07-19 05:36 6.7K 
[ ]sheffer2__t121_sheffer22021-07-19 05:36 7.1K 
[ ]sheffer2__t122_sheffer22021-07-19 05:36 7.2K 
[ ]sheffer2__t123_sheffer22021-07-19 05:37 8.0K 
[ ]sheffer2__t124_sheffer22021-07-19 05:37 8.0K 
[ ]sheffer2__t125_sheffer22021-07-19 05:37 7.4K 
[ ]sheffer2__t126_sheffer22021-07-19 05:37 7.4K 
[ ]sheffer2__t127_sheffer22021-07-19 05:37 8.3K 
[ ]sheffer2__t128_sheffer22021-07-19 05:37 7.7K 
[ ]sheffer2__t129_sheffer22021-07-19 05:38 8.2K 
[ ]sheffer2__t130_sheffer22021-07-19 05:38 7.9K 
[ ]sheffer2__t131_sheffer22021-07-19 05:38 7.1K 
[ ]sheffer2__t132_sheffer22021-07-19 05:38 6.9K 
[ ]sheffer2__t133_sheffer22021-07-19 05:38 6.9K 
[ ]sheffer2__t134_sheffer22021-07-19 05:39 7.1K 
[ ]sheffer2__t135_sheffer22021-07-19 05:39 6.9K 
[ ]sheffer2__t136_sheffer22021-07-19 05:39 7.1K 
[ ]sheffer2__t137_sheffer22021-07-19 05:39 7.9K 
[ ]sheffer2__t138_sheffer22021-07-19 05:39 8.8K 
[ ]sheffer2__t139_sheffer22021-07-19 05:40 8.2K 
[ ]sheffer2__t140_sheffer22021-07-19 05:40 8.0K 
[ ]sheffer2__t141_sheffer22021-07-19 05:40 9.3K 
[ ]sheffer2__t142_sheffer22021-07-19 05:40 8.2K 
[ ]sheffer2__t143_sheffer22021-07-19 05:40 7.8K 
[ ]sheffer2__t144_sheffer22021-07-19 05:41 7.9K 
[ ]sheffer2__t145_sheffer22021-07-19 05:41 7.8K 
[ ]sheffer2__t146_sheffer22021-07-19 05:41 8.1K 
[ ]sheffer2__t147_sheffer22021-07-19 05:41 7.8K 
[ ]sheffer2__t148_sheffer22021-07-19 05:41 7.8K 
[ ]sheffer2__t149_sheffer22021-07-19 05:42 8.5K 
[ ]sheffer2__t150_sheffer22021-07-19 05:42 9.1K 
[ ]sheffer2__t151_sheffer22021-07-19 05:42 8.3K 
[ ]sheffer2__t152_sheffer22021-07-19 05:42 7.6K 
[ ]sheffer2__t153_sheffer22021-07-19 05:42 7.1K 
[ ]sheffer2__t154_sheffer22021-07-19 05:43 7.4K 
[ ]sheffer2__t155_sheffer22021-07-19 05:43 7.7K 
[ ]sheffer2__t156_sheffer22021-07-19 05:43 7.7K 
[ ]sheffer2__t157_sheffer22021-07-19 05:43 7.8K 
[ ]sheffer2__t158_sheffer22021-07-19 05:43 8.2K 
[ ]sheffer2__t159_sheffer22021-07-19 05:44 8.1K 
[ ]sheffer2__t160_sheffer22021-07-19 05:44 7.6K 
[ ]sheffer2__t161_sheffer22021-07-19 05:44 7.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80