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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relat_1__l186_relat_12021-07-18 20:39 8.2K 
[ ]relat_1__s1_relat_12021-07-18 20:19 6.1K 
[ ]relat_1__s2_relat_12021-07-18 20:19 5.6K 
[ ]relat_1__t7_relat_12021-07-18 20:20 7.9K 
[ ]relat_1__t8_relat_12021-07-18 20:15 8.2K 
[ ]relat_1__t9_relat_12021-07-18 20:20 6.1K 
[ ]relat_1__t10_relat_12021-07-18 20:20 7.8K 
[ ]relat_1__t11_relat_12021-07-18 20:15 6.9K 
[ ]relat_1__t12_relat_12021-07-18 20:15 1.3K 
[ ]relat_1__t13_relat_12021-07-18 20:15 7.2K 
[ ]relat_1__t14_relat_12021-07-18 20:15 7.4K 
[ ]relat_1__t15_relat_12021-07-18 20:20 7.1K 
[ ]relat_1__t16_relat_12021-07-18 20:20 8.4K 
[ ]relat_1__t17_relat_12021-07-18 20:20 6.7K 
[ ]relat_1__t18_relat_12021-07-18 20:20 2.1K 
[ ]relat_1__t19_relat_12021-07-18 20:21 9.5K 
[ ]relat_1__t20_relat_12021-07-18 20:21 7.8K 
[ ]relat_1__t21_relat_12021-07-18 20:21 2.0K 
[ ]relat_1__t22_relat_12021-07-18 20:21 6.4K 
[ ]relat_1__t23_relat_12021-07-18 20:21 6.8K 
[ ]relat_1__t24_relat_12021-07-18 20:21 7.6K 
[ ]relat_1__t25_relat_12021-07-18 20:21 7.0K 
[ ]relat_1__t26_relat_12021-07-18 20:21 7.0K 
[ ]relat_1__t27_relat_12021-07-18 20:22 8.0K 
[ ]relat_1__t28_relat_12021-07-18 20:22 8.0K 
[ ]relat_1__t29_relat_12021-07-18 20:22 6.6K 
[ ]relat_1__t30_relat_12021-07-18 20:22 6.6K 
[ ]relat_1__t31_relat_12021-07-18 20:22 6.7K 
[ ]relat_1__t32_relat_12021-07-18 20:22 6.7K 
[ ]relat_1__t33_relat_12021-07-18 20:22 7.6K 
[ ]relat_1__t34_relat_12021-07-18 20:23 7.8K 
[ ]relat_1__t35_relat_12021-07-18 20:23 6.0K 
[ ]relat_1__t36_relat_12021-07-18 20:23 5.4K 
[ ]relat_1__t37_relat_12021-07-18 20:16 4.6K 
[ ]relat_1__t38_relat_12021-07-18 20:16 3.9K 
[ ]relat_1__t39_relat_12021-07-18 20:23 5.5K 
[ ]relat_1__t40_relat_12021-07-18 20:16 5.4K 
[ ]relat_1__t41_relat_12021-07-18 20:16 4.2K 
[ ]relat_1__t42_relat_12021-07-18 20:16 4.5K 
[ ]relat_1__t43_relat_12021-07-18 20:16 3.5K 
[ ]relat_1__t44_relat_12021-07-18 20:23 8.6K 
[ ]relat_1__t45_relat_12021-07-18 20:16 950  
[ ]relat_1__t46_relat_12021-07-18 20:16 907  
[ ]relat_1__t47_relat_12021-07-18 20:23 6.6K 
[ ]relat_1__t48_relat_12021-07-18 20:24 6.2K 
[ ]relat_1__t49_relat_12021-07-18 20:24 6.2K 
[ ]relat_1__t50_relat_12021-07-18 20:24 7.6K 
[ ]relat_1__t51_relat_12021-07-18 20:24 8.7K 
[ ]relat_1__t52_relat_12021-07-18 20:16 7.7K 
[ ]relat_1__t53_relat_12021-07-18 20:24 8.7K 
[ ]relat_1__t54_relat_12021-07-18 20:16 7.7K 
[ ]relat_1__t55_relat_12021-07-18 20:24 3.8K 
[ ]relat_1__t56_relat_12021-07-18 20:24 9.1K 
[ ]relat_1__t57_relat_12021-07-18 20:25 6.3K 
[ ]relat_1__t58_relat_12021-07-18 20:17 7.3K 
[ ]relat_1__t59_relat_12021-07-18 20:17 6.8K 
[ ]relat_1__t60_relat_12021-07-18 20:17 7.3K 
[ ]relat_1__t61_relat_12021-07-18 20:25 5.4K 
[ ]relat_1__t62_relat_12021-07-18 20:25 8.1K 
[ ]relat_1__t63_relat_12021-07-18 20:17 7.6K 
[ ]relat_1__t64_relat_12021-07-18 20:17 7.6K 
[ ]relat_1__t65_relat_12021-07-18 20:25 6.8K 
[ ]relat_1__t66_relat_12021-07-18 20:25 9.5K 
[ ]relat_1__t67_relat_12021-07-18 20:25 8.8K 
[ ]relat_1__t68_relat_12021-07-18 20:25 10K 
[ ]relat_1__t69_relat_12021-07-18 20:17 762  
[ ]relat_1__t70_relat_12021-07-18 20:17 7.4K 
[ ]relat_1__t71_relat_12021-07-18 20:25 6.7K 
[ ]relat_1__t72_relat_12021-07-18 20:17 734  
[ ]relat_1__t73_relat_12021-07-18 20:26 7.8K 
[ ]relat_1__t74_relat_12021-07-18 20:26 7.8K 
[ ]relat_1__t75_relat_12021-07-18 20:26 7.1K 
[ ]relat_1__t76_relat_12021-07-18 20:26 7.1K 
[ ]relat_1__t77_relat_12021-07-18 20:26 7.3K 
[ ]relat_1__t78_relat_12021-07-18 20:26 7.2K 
[ ]relat_1__t79_relat_12021-07-18 20:26 6.9K 
[ ]relat_1__t80_relat_12021-07-18 20:27 8.1K 
[ ]relat_1__t81_relat_12021-07-18 20:17 3.8K 
[ ]relat_1__t82_relat_12021-07-18 20:17 3.8K 
[ ]relat_1__t83_relat_12021-07-18 20:27 7.2K 
[ ]relat_1__t84_relat_12021-07-18 20:27 6.3K 
[ ]relat_1__t85_relat_12021-07-18 20:18 7.3K 
[ ]relat_1__t86_relat_12021-07-18 20:18 6.8K 
[ ]relat_1__t87_relat_12021-07-18 20:18 7.4K 
[ ]relat_1__t88_relat_12021-07-18 20:27 9.3K 
[ ]relat_1__t89_relat_12021-07-18 20:27 8.1K 
[ ]relat_1__t90_relat_12021-07-18 20:18 7.6K 
[ ]relat_1__t91_relat_12021-07-18 20:18 7.6K 
[ ]relat_1__t92_relat_12021-07-18 20:27 6.8K 
[ ]relat_1__t93_relat_12021-07-18 20:28 8.7K 
[ ]relat_1__t94_relat_12021-07-18 20:28 10K 
[ ]relat_1__t95_relat_12021-07-18 20:18 768  
[ ]relat_1__t96_relat_12021-07-18 20:28 6.7K 
[ ]relat_1__t97_relat_12021-07-18 20:18 734  
[ ]relat_1__t98_relat_12021-07-18 20:28 7.8K 
[ ]relat_1__t99_relat_12021-07-18 20:28 7.8K 
[ ]relat_1__t100_relat_12021-07-18 20:28 7.1K 
[ ]relat_1__t101_relat_12021-07-18 20:28 7.1K 
[ ]relat_1__t102_relat_12021-07-18 20:29 7.3K 
[ ]relat_1__t103_relat_12021-07-18 20:29 7.2K 
[ ]relat_1__t104_relat_12021-07-18 20:29 6.9K 
[ ]relat_1__t105_relat_12021-07-18 20:29 8.1K 
[ ]relat_1__t106_relat_12021-07-18 20:18 3.6K 
[ ]relat_1__t107_relat_12021-07-18 20:18 5.5K 
[ ]relat_1__t108_relat_12021-07-18 20:29 7.0K 
[ ]relat_1__t109_relat_12021-07-18 20:29 7.1K 
[ ]relat_1__t110_relat_12021-07-18 20:29 6.0K 
[ ]relat_1__t111_relat_12021-07-18 20:30 7.3K 
[ ]relat_1__t112_relat_12021-07-18 20:30 7.1K 
[ ]relat_1__t113_relat_12021-07-18 20:30 8.4K 
[ ]relat_1__t114_relat_12021-07-18 20:30 7.7K 
[ ]relat_1__t115_relat_12021-07-18 20:30 7.2K 
[ ]relat_1__t118_relat_12021-07-18 20:30 7.8K 
[ ]relat_1__t119_relat_12021-07-18 20:30 7.7K 
[ ]relat_1__t120_relat_12021-07-18 20:31 8.4K 
[ ]relat_1__t121_relat_12021-07-18 20:31 7.9K 
[ ]relat_1__t122_relat_12021-07-18 20:31 8.1K 
[ ]relat_1__t123_relat_12021-07-18 20:31 6.9K 
[ ]relat_1__t124_relat_12021-07-18 20:31 6.9K 
[ ]relat_1__t125_relat_12021-07-18 20:31 7.2K 
[ ]relat_1__t126_relat_12021-07-18 20:31 6.6K 
[ ]relat_1__t127_relat_12021-07-18 20:32 7.4K 
[ ]relat_1__t128_relat_12021-07-18 20:19 7.8K 
[ ]relat_1__t129_relat_12021-07-18 20:32 8.7K 
[ ]relat_1__t130_relat_12021-07-18 20:32 9.5K 
[ ]relat_1__t131_relat_12021-07-18 20:32 6.0K 
[ ]relat_1__t132_relat_12021-07-18 20:32 7.3K 
[ ]relat_1__t133_relat_12021-07-18 20:32 7.1K 
[ ]relat_1__t134_relat_12021-07-18 20:32 8.4K 
[ ]relat_1__t135_relat_12021-07-18 20:33 7.7K 
[ ]relat_1__t138_relat_12021-07-18 20:33 7.9K 
[ ]relat_1__t139_relat_12021-07-18 20:33 7.7K 
[ ]relat_1__t140_relat_12021-07-18 20:33 8.4K 
[ ]relat_1__t141_relat_12021-07-18 20:33 7.9K 
[ ]relat_1__t142_relat_12021-07-18 20:33 8.1K 
[ ]relat_1__t143_relat_12021-07-18 20:33 6.9K 
[ ]relat_1__t144_relat_12021-07-18 20:34 6.9K 
[ ]relat_1__t145_relat_12021-07-18 20:34 7.2K 
[ ]relat_1__t146_relat_12021-07-18 20:34 6.6K 
[ ]relat_1__t147_relat_12021-07-18 20:34 7.4K 
[ ]relat_1__t148_relat_12021-07-18 20:34 9.5K 
[ ]relat_1__t149_relat_12021-07-18 20:34 7.1K 
[ ]relat_1__t150_relat_12021-07-18 20:34 1.8K 
[ ]relat_1__t151_relat_12021-07-18 20:35 8.0K 
[ ]relat_1__t152_relat_12021-07-18 20:35 5.9K 
[ ]relat_1__t153_relat_12021-07-18 20:35 8.1K 
[ ]relat_1__t154_relat_12021-07-18 20:35 2.1K 
[ ]relat_1__t155_relat_12021-07-18 20:19 1.0K 
[ ]relat_1__t156_relat_12021-07-18 20:35 4.4K 
[ ]relat_1__t157_relat_12021-07-18 20:35 1.8K 
[ ]relat_1__t158_relat_12021-07-18 20:35 8.0K 
[ ]relat_1__t159_relat_12021-07-18 20:35 8.0K 
[ ]relat_1__t160_relat_12021-07-18 20:35 7.6K 
[ ]relat_1__t161_relat_12021-07-18 20:19 3.9K 
[ ]relat_1__t162_relat_12021-07-18 20:19 3.9K 
[ ]relat_1__t163_relat_12021-07-18 20:36 1.1K 
[ ]relat_1__t164_relat_12021-07-18 20:36 1.1K 
[ ]relat_1__t165_relat_12021-07-18 20:36 12K 
[ ]relat_1__t166_relat_12021-07-18 20:36 8.2K 
[ ]relat_1__t167_relat_12021-07-18 20:36 7.3K 
[ ]relat_1__t168_relat_12021-07-18 20:36 8.7K 
[ ]relat_1__t169_relat_12021-07-18 20:36 6.1K 
[ ]relat_1__t170_relat_12021-07-18 20:37 6.9K 
[ ]relat_1__t171_relat_12021-07-18 20:19 3.7K 
[ ]relat_1__t172_relat_12021-07-18 20:37 6.0K 
[ ]relat_1__t173_relat_12021-07-18 20:37 8.1K 
[ ]relat_1__t174_relat_12021-07-18 20:19 1.2K 
[ ]relat_1__t175_relat_12021-07-18 20:37 8.8K 
[ ]relat_1__t176_relat_12021-07-18 20:37 10K 
[ ]relat_1__t177_relat_12021-07-18 20:37 12K 
[ ]relat_1__t178_relat_12021-07-18 20:37 3.7K 
[ ]relat_1__t179_relat_12021-07-18 20:37 7.7K 
[ ]relat_1__t180_relat_12021-07-18 20:38 7.7K 
[ ]relat_1__t181_relat_12021-07-18 20:38 12K 
[ ]relat_1__t182_relat_12021-07-18 20:38 7.8K 
[ ]relat_1__t183_relat_12021-07-18 20:38 7.8K 
[ ]relat_1__t184_relat_12021-07-18 20:38 9.2K 
[ ]relat_1__t185_relat_12021-07-18 20:38 10K 
[ ]relat_1__t186_relat_12021-07-18 20:19 8.3K 
[ ]relat_1__t187_relat_12021-07-18 20:39 7.3K 
[ ]relat_1__t188_relat_12021-07-18 20:39 9.8K 
[ ]relat_1__t189_relat_12021-07-18 20:39 10K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80