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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sheffer2__t1_sheffer22025-09-13 19:45 7.2K 
[ ]sheffer2__t2_sheffer22025-09-13 19:45 7.0K 
[ ]sheffer2__t3_sheffer22025-09-13 19:46 7.6K 
[ ]sheffer2__t4_sheffer22025-09-13 19:47 7.9K 
[ ]sheffer2__t5_sheffer22025-09-13 19:47 7.3K 
[ ]sheffer2__t6_sheffer22025-09-13 19:48 6.9K 
[ ]sheffer2__t7_sheffer22025-09-13 19:48 7.0K 
[ ]sheffer2__t8_sheffer22025-09-13 19:49 7.2K 
[ ]sheffer2__t9_sheffer22025-09-13 19:49 7.8K 
[ ]sheffer2__t10_sheffer22025-09-13 19:50 7.4K 
[ ]sheffer2__t11_sheffer22025-09-13 19:50 7.0K 
[ ]sheffer2__t12_sheffer22025-09-13 19:51 6.4K 
[ ]sheffer2__t13_sheffer22025-09-13 19:51 6.5K 
[ ]sheffer2__t14_sheffer22025-09-13 19:52 7.0K 
[ ]sheffer2__t15_sheffer22025-09-13 19:52 7.1K 
[ ]sheffer2__t16_sheffer22025-09-13 19:53 7.0K 
[ ]sheffer2__t17_sheffer22025-09-13 19:53 7.1K 
[ ]sheffer2__t18_sheffer22025-09-13 19:54 7.2K 
[ ]sheffer2__t19_sheffer22025-09-13 19:55 7.1K 
[ ]sheffer2__t20_sheffer22025-09-13 19:55 6.8K 
[ ]sheffer2__t21_sheffer22025-09-13 19:56 6.9K 
[ ]sheffer2__t22_sheffer22025-09-13 19:56 7.1K 
[ ]sheffer2__t23_sheffer22025-09-13 19:57 7.0K 
[ ]sheffer2__t24_sheffer22025-09-13 19:57 7.0K 
[ ]sheffer2__t25_sheffer22025-09-13 19:58 7.0K 
[ ]sheffer2__t26_sheffer22025-09-13 19:58 7.1K 
[ ]sheffer2__t27_sheffer22025-09-13 19:59 6.7K 
[ ]sheffer2__t28_sheffer22025-09-13 19:59 7.2K 
[ ]sheffer2__t29_sheffer22025-09-13 20:00 7.4K 
[ ]sheffer2__t30_sheffer22025-09-13 20:01 7.1K 
[ ]sheffer2__t31_sheffer22025-09-13 20:01 7.5K 
[ ]sheffer2__t32_sheffer22025-09-13 20:02 7.1K 
[ ]sheffer2__t33_sheffer22025-09-13 20:02 7.2K 
[ ]sheffer2__t34_sheffer22025-09-13 20:03 7.4K 
[ ]sheffer2__t35_sheffer22025-09-13 20:03 7.2K 
[ ]sheffer2__t36_sheffer22025-09-13 20:04 6.8K 
[ ]sheffer2__t37_sheffer22025-09-13 20:04 7.0K 
[ ]sheffer2__t38_sheffer22025-09-13 20:05 7.3K 
[ ]sheffer2__t39_sheffer22025-09-13 20:05 7.2K 
[ ]sheffer2__t40_sheffer22025-09-13 20:06 7.2K 
[ ]sheffer2__t41_sheffer22025-09-13 20:07 7.2K 
[ ]sheffer2__t42_sheffer22025-09-13 20:07 7.1K 
[ ]sheffer2__t43_sheffer22025-09-13 20:08 6.8K 
[ ]sheffer2__t44_sheffer22025-09-13 20:08 7.0K 
[ ]sheffer2__t45_sheffer22025-09-13 20:09 7.4K 
[ ]sheffer2__t46_sheffer22025-09-13 20:09 7.4K 
[ ]sheffer2__t47_sheffer22025-09-13 20:10 7.3K 
[ ]sheffer2__t48_sheffer22025-09-13 20:10 7.5K 
[ ]sheffer2__t49_sheffer22025-09-13 20:11 7.3K 
[ ]sheffer2__t50_sheffer22025-09-13 20:12 7.6K 
[ ]sheffer2__t51_sheffer22025-09-13 20:12 7.5K 
[ ]sheffer2__t52_sheffer22025-09-13 20:13 7.2K 
[ ]sheffer2__t53_sheffer22025-09-13 20:13 7.3K 
[ ]sheffer2__t54_sheffer22025-09-13 20:14 7.5K 
[ ]sheffer2__t55_sheffer22025-09-13 20:14 7.5K 
[ ]sheffer2__t56_sheffer22025-09-13 20:15 7.5K 
[ ]sheffer2__t57_sheffer22025-09-13 20:15 7.5K 
[ ]sheffer2__t58_sheffer22025-09-13 20:16 7.2K 
[ ]sheffer2__t59_sheffer22025-09-13 20:16 7.1K 
[ ]sheffer2__t60_sheffer22025-09-13 20:17 7.5K 
[ ]sheffer2__t61_sheffer22025-09-13 20:18 7.6K 
[ ]sheffer2__t62_sheffer22025-09-13 20:18 7.1K 
[ ]sheffer2__t63_sheffer22025-09-13 20:19 7.6K 
[ ]sheffer2__t64_sheffer22025-09-13 20:19 7.6K 
[ ]sheffer2__t65_sheffer22025-09-13 20:20 7.6K 
[ ]sheffer2__t66_sheffer22025-09-13 20:20 7.6K 
[ ]sheffer2__t67_sheffer22025-09-13 20:21 6.5K 
[ ]sheffer2__t68_sheffer22025-09-13 20:21 6.6K 
[ ]sheffer2__t69_sheffer22025-09-13 20:22 7.2K 
[ ]sheffer2__t70_sheffer22025-09-13 20:22 6.9K 
[ ]sheffer2__t71_sheffer22025-09-13 20:23 6.9K 
[ ]sheffer2__t72_sheffer22025-09-13 20:23 6.9K 
[ ]sheffer2__t73_sheffer22025-09-13 20:24 7.6K 
[ ]sheffer2__t74_sheffer22025-09-13 20:24 7.4K 
[ ]sheffer2__t75_sheffer22025-09-13 20:25 7.6K 
[ ]sheffer2__t76_sheffer22025-09-13 20:26 6.9K 
[ ]sheffer2__t77_sheffer22025-09-13 20:26 6.9K 
[ ]sheffer2__t78_sheffer22025-09-13 20:27 6.9K 
[ ]sheffer2__t79_sheffer22025-09-13 20:27 7.2K 
[ ]sheffer2__t80_sheffer22025-09-13 20:28 7.5K 
[ ]sheffer2__t81_sheffer22025-09-13 20:28 7.3K 
[ ]sheffer2__t82_sheffer22025-09-13 20:29 6.9K 
[ ]sheffer2__t83_sheffer22025-09-13 20:29 6.9K 
[ ]sheffer2__t84_sheffer22025-09-13 20:30 7.5K 
[ ]sheffer2__t85_sheffer22025-09-13 20:30 7.5K 
[ ]sheffer2__t86_sheffer22025-09-13 20:31 7.3K 
[ ]sheffer2__t87_sheffer22025-09-13 20:31 7.1K 
[ ]sheffer2__t88_sheffer22025-09-13 20:32 7.7K 
[ ]sheffer2__t89_sheffer22025-09-13 20:32 7.7K 
[ ]sheffer2__t90_sheffer22025-09-13 20:33 7.5K 
[ ]sheffer2__t91_sheffer22025-09-13 20:33 7.5K 
[ ]sheffer2__t92_sheffer22025-09-13 20:34 7.0K 
[ ]sheffer2__t93_sheffer22025-09-13 20:34 7.5K 
[ ]sheffer2__t94_sheffer22025-09-13 20:35 8.2K 
[ ]sheffer2__t95_sheffer22025-09-13 20:35 7.5K 
[ ]sheffer2__t96_sheffer22025-09-13 20:36 7.5K 
[ ]sheffer2__t97_sheffer22025-09-13 20:37 7.0K 
[ ]sheffer2__t98_sheffer22025-09-13 20:37 7.5K 
[ ]sheffer2__t99_sheffer22025-09-13 20:38 8.5K 
[ ]sheffer2__t100_sheffer22025-09-13 20:38 7.5K 
[ ]sheffer2__t101_sheffer22025-09-13 20:39 7.0K 
[ ]sheffer2__t102_sheffer22025-09-13 20:39 7.0K 
[ ]sheffer2__t103_sheffer22025-09-13 20:40 7.2K 
[ ]sheffer2__t104_sheffer22025-09-13 20:40 7.2K 
[ ]sheffer2__t105_sheffer22025-09-13 20:41 7.0K 
[ ]sheffer2__t106_sheffer22025-09-13 20:41 7.0K 
[ ]sheffer2__t107_sheffer22025-09-13 20:42 7.0K 
[ ]sheffer2__t108_sheffer22025-09-13 20:42 7.2K 
[ ]sheffer2__t109_sheffer22025-09-13 20:43 7.0K 
[ ]sheffer2__t110_sheffer22025-09-13 20:43 8.2K 
[ ]sheffer2__t111_sheffer22025-09-13 20:44 8.0K 
[ ]sheffer2__t112_sheffer22025-09-13 20:44 7.2K 
[ ]sheffer2__t113_sheffer22025-09-13 20:45 7.2K 
[ ]sheffer2__t114_sheffer22025-09-13 20:45 7.7K 
[ ]sheffer2__t115_sheffer22025-09-13 20:46 8.2K 
[ ]sheffer2__t116_sheffer22025-09-13 20:46 8.1K 
[ ]sheffer2__t117_sheffer22025-09-13 20:47 8.2K 
[ ]sheffer2__t118_sheffer22025-09-13 20:47 7.7K 
[ ]sheffer2__t119_sheffer22025-09-13 20:48 7.3K 
[ ]sheffer2__t120_sheffer22025-09-13 20:49 6.7K 
[ ]sheffer2__t121_sheffer22025-09-13 20:49 7.1K 
[ ]sheffer2__t122_sheffer22025-09-13 20:50 7.2K 
[ ]sheffer2__t123_sheffer22025-09-13 20:50 8.0K 
[ ]sheffer2__t124_sheffer22025-09-13 20:51 8.0K 
[ ]sheffer2__t125_sheffer22025-09-13 20:51 7.4K 
[ ]sheffer2__t126_sheffer22025-09-13 20:52 7.4K 
[ ]sheffer2__t127_sheffer22025-09-13 20:52 8.3K 
[ ]sheffer2__t128_sheffer22025-09-13 20:53 7.7K 
[ ]sheffer2__t129_sheffer22025-09-13 20:53 8.2K 
[ ]sheffer2__t130_sheffer22025-09-13 20:54 7.9K 
[ ]sheffer2__t131_sheffer22025-09-13 20:54 7.1K 
[ ]sheffer2__t132_sheffer22025-09-13 20:55 6.9K 
[ ]sheffer2__t133_sheffer22025-09-13 20:55 6.9K 
[ ]sheffer2__t134_sheffer22025-09-13 20:56 7.1K 
[ ]sheffer2__t135_sheffer22025-09-13 20:56 6.9K 
[ ]sheffer2__t136_sheffer22025-09-13 20:57 7.1K 
[ ]sheffer2__t137_sheffer22025-09-13 20:57 7.9K 
[ ]sheffer2__t138_sheffer22025-09-13 20:58 8.8K 
[ ]sheffer2__t139_sheffer22025-09-13 20:58 8.2K 
[ ]sheffer2__t140_sheffer22025-09-13 20:59 8.0K 
[ ]sheffer2__t141_sheffer22025-09-13 21:00 9.3K 
[ ]sheffer2__t142_sheffer22025-09-13 21:00 8.2K 
[ ]sheffer2__t143_sheffer22025-09-13 21:01 7.8K 
[ ]sheffer2__t144_sheffer22025-09-13 21:01 7.9K 
[ ]sheffer2__t145_sheffer22025-09-13 21:02 7.8K 
[ ]sheffer2__t146_sheffer22025-09-13 21:02 8.1K 
[ ]sheffer2__t147_sheffer22025-09-13 21:03 7.8K 
[ ]sheffer2__t148_sheffer22025-09-13 21:03 7.8K 
[ ]sheffer2__t149_sheffer22025-09-13 21:04 8.5K 
[ ]sheffer2__t150_sheffer22025-09-13 21:04 9.1K 
[ ]sheffer2__t151_sheffer22025-09-13 21:05 8.3K 
[ ]sheffer2__t152_sheffer22025-09-13 21:05 7.6K 
[ ]sheffer2__t153_sheffer22025-09-13 21:06 7.1K 
[ ]sheffer2__t154_sheffer22025-09-13 21:06 7.4K 
[ ]sheffer2__t155_sheffer22025-09-13 21:07 7.7K 
[ ]sheffer2__t156_sheffer22025-09-13 21:08 7.7K 
[ ]sheffer2__t157_sheffer22025-09-13 21:08 7.8K 
[ ]sheffer2__t158_sheffer22025-09-13 21:09 8.2K 
[ ]sheffer2__t159_sheffer22025-09-13 21:09 8.1K 
[ ]sheffer2__t160_sheffer22025-09-13 21:10 7.6K 
[ ]sheffer2__t161_sheffer22025-09-13 21:10 7.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80