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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relat_1__l186_relat_12025-09-13 00:24 8.2K 
[ ]relat_1__s1_relat_12025-09-12 23:08 6.1K 
[ ]relat_1__s2_relat_12025-09-12 23:08 5.6K 
[ ]relat_1__t7_relat_12025-09-12 23:09 7.9K 
[ ]relat_1__t8_relat_12025-09-12 22:51 8.2K 
[ ]relat_1__t9_relat_12025-09-12 23:09 6.1K 
[ ]relat_1__t10_relat_12025-09-12 23:10 7.8K 
[ ]relat_1__t11_relat_12025-09-12 22:51 6.9K 
[ ]relat_1__t12_relat_12025-09-12 22:51 1.3K 
[ ]relat_1__t13_relat_12025-09-12 22:52 7.2K 
[ ]relat_1__t14_relat_12025-09-12 22:53 7.4K 
[ ]relat_1__t15_relat_12025-09-12 23:10 7.1K 
[ ]relat_1__t16_relat_12025-09-12 23:11 8.4K 
[ ]relat_1__t17_relat_12025-09-12 23:12 6.7K 
[ ]relat_1__t18_relat_12025-09-12 23:12 2.1K 
[ ]relat_1__t19_relat_12025-09-12 23:12 9.5K 
[ ]relat_1__t20_relat_12025-09-12 23:13 7.8K 
[ ]relat_1__t21_relat_12025-09-12 23:13 2.0K 
[ ]relat_1__t22_relat_12025-09-12 23:14 6.4K 
[ ]relat_1__t23_relat_12025-09-12 23:14 6.8K 
[ ]relat_1__t24_relat_12025-09-12 23:15 7.6K 
[ ]relat_1__t25_relat_12025-09-12 23:15 7.0K 
[ ]relat_1__t26_relat_12025-09-12 23:16 7.0K 
[ ]relat_1__t27_relat_12025-09-12 23:17 8.0K 
[ ]relat_1__t28_relat_12025-09-12 23:17 8.0K 
[ ]relat_1__t29_relat_12025-09-12 23:18 6.6K 
[ ]relat_1__t30_relat_12025-09-12 23:18 6.6K 
[ ]relat_1__t31_relat_12025-09-12 23:19 6.7K 
[ ]relat_1__t32_relat_12025-09-12 23:19 6.7K 
[ ]relat_1__t33_relat_12025-09-12 23:20 7.6K 
[ ]relat_1__t34_relat_12025-09-12 23:21 7.8K 
[ ]relat_1__t35_relat_12025-09-12 23:21 6.0K 
[ ]relat_1__t36_relat_12025-09-12 23:22 5.4K 
[ ]relat_1__t37_relat_12025-09-12 22:53 4.6K 
[ ]relat_1__t38_relat_12025-09-12 22:54 3.9K 
[ ]relat_1__t39_relat_12025-09-12 23:22 5.5K 
[ ]relat_1__t40_relat_12025-09-12 22:54 5.4K 
[ ]relat_1__t41_relat_12025-09-12 22:55 4.2K 
[ ]relat_1__t42_relat_12025-09-12 22:55 4.5K 
[ ]relat_1__t43_relat_12025-09-12 22:55 3.5K 
[ ]relat_1__t44_relat_12025-09-12 23:23 8.6K 
[ ]relat_1__t45_relat_12025-09-12 22:56 950  
[ ]relat_1__t46_relat_12025-09-12 22:56 907  
[ ]relat_1__t47_relat_12025-09-12 23:23 6.6K 
[ ]relat_1__t48_relat_12025-09-12 23:24 6.2K 
[ ]relat_1__t49_relat_12025-09-12 23:25 6.2K 
[ ]relat_1__t50_relat_12025-09-12 23:25 7.6K 
[ ]relat_1__t51_relat_12025-09-12 23:26 8.7K 
[ ]relat_1__t52_relat_12025-09-12 22:56 7.7K 
[ ]relat_1__t53_relat_12025-09-12 23:26 8.7K 
[ ]relat_1__t54_relat_12025-09-12 22:57 7.7K 
[ ]relat_1__t55_relat_12025-09-12 23:27 3.8K 
[ ]relat_1__t56_relat_12025-09-12 23:27 9.1K 
[ ]relat_1__t57_relat_12025-09-12 23:28 6.3K 
[ ]relat_1__t58_relat_12025-09-12 22:57 7.3K 
[ ]relat_1__t59_relat_12025-09-12 22:58 6.8K 
[ ]relat_1__t60_relat_12025-09-12 22:58 7.3K 
[ ]relat_1__t61_relat_12025-09-12 23:28 5.4K 
[ ]relat_1__t62_relat_12025-09-12 23:29 8.1K 
[ ]relat_1__t63_relat_12025-09-12 22:59 7.6K 
[ ]relat_1__t64_relat_12025-09-12 22:59 7.6K 
[ ]relat_1__t65_relat_12025-09-12 23:29 6.8K 
[ ]relat_1__t66_relat_12025-09-12 23:30 9.5K 
[ ]relat_1__t67_relat_12025-09-12 23:30 8.8K 
[ ]relat_1__t68_relat_12025-09-12 23:31 10K 
[ ]relat_1__t69_relat_12025-09-12 22:59 762  
[ ]relat_1__t70_relat_12025-09-12 23:00 7.4K 
[ ]relat_1__t71_relat_12025-09-12 23:32 6.7K 
[ ]relat_1__t72_relat_12025-09-12 23:00 734  
[ ]relat_1__t73_relat_12025-09-12 23:32 7.8K 
[ ]relat_1__t74_relat_12025-09-12 23:33 7.8K 
[ ]relat_1__t75_relat_12025-09-12 23:33 7.1K 
[ ]relat_1__t76_relat_12025-09-12 23:34 7.1K 
[ ]relat_1__t77_relat_12025-09-12 23:34 7.3K 
[ ]relat_1__t78_relat_12025-09-12 23:35 7.2K 
[ ]relat_1__t79_relat_12025-09-12 23:35 6.9K 
[ ]relat_1__t80_relat_12025-09-12 23:36 8.1K 
[ ]relat_1__t81_relat_12025-09-12 23:01 3.8K 
[ ]relat_1__t82_relat_12025-09-12 23:01 3.8K 
[ ]relat_1__t83_relat_12025-09-12 23:37 7.2K 
[ ]relat_1__t84_relat_12025-09-12 23:37 6.3K 
[ ]relat_1__t85_relat_12025-09-12 23:01 7.3K 
[ ]relat_1__t86_relat_12025-09-12 23:02 6.8K 
[ ]relat_1__t87_relat_12025-09-12 23:02 7.4K 
[ ]relat_1__t88_relat_12025-09-12 23:38 9.3K 
[ ]relat_1__t89_relat_12025-09-12 23:38 8.1K 
[ ]relat_1__t90_relat_12025-09-12 23:03 7.6K 
[ ]relat_1__t91_relat_12025-09-12 23:03 7.6K 
[ ]relat_1__t92_relat_12025-09-12 23:39 6.8K 
[ ]relat_1__t93_relat_12025-09-12 23:39 8.7K 
[ ]relat_1__t94_relat_12025-09-12 23:40 10K 
[ ]relat_1__t95_relat_12025-09-12 23:03 768  
[ ]relat_1__t96_relat_12025-09-12 23:41 6.7K 
[ ]relat_1__t97_relat_12025-09-12 23:04 734  
[ ]relat_1__t98_relat_12025-09-12 23:41 7.8K 
[ ]relat_1__t99_relat_12025-09-12 23:42 7.8K 
[ ]relat_1__t100_relat_12025-09-12 23:42 7.1K 
[ ]relat_1__t101_relat_12025-09-12 23:43 7.1K 
[ ]relat_1__t102_relat_12025-09-12 23:43 7.3K 
[ ]relat_1__t103_relat_12025-09-12 23:44 7.2K 
[ ]relat_1__t104_relat_12025-09-12 23:45 6.9K 
[ ]relat_1__t105_relat_12025-09-12 23:45 8.1K 
[ ]relat_1__t106_relat_12025-09-12 23:04 3.6K 
[ ]relat_1__t107_relat_12025-09-12 23:04 5.5K 
[ ]relat_1__t108_relat_12025-09-12 23:46 7.0K 
[ ]relat_1__t109_relat_12025-09-12 23:46 7.1K 
[ ]relat_1__t110_relat_12025-09-12 23:47 6.0K 
[ ]relat_1__t111_relat_12025-09-12 23:47 7.3K 
[ ]relat_1__t112_relat_12025-09-12 23:48 7.1K 
[ ]relat_1__t113_relat_12025-09-12 23:49 8.4K 
[ ]relat_1__t114_relat_12025-09-12 23:49 7.7K 
[ ]relat_1__t115_relat_12025-09-12 23:50 7.2K 
[ ]relat_1__t118_relat_12025-09-12 23:50 7.8K 
[ ]relat_1__t119_relat_12025-09-12 23:51 7.7K 
[ ]relat_1__t120_relat_12025-09-12 23:51 8.4K 
[ ]relat_1__t121_relat_12025-09-12 23:52 7.9K 
[ ]relat_1__t122_relat_12025-09-12 23:53 8.1K 
[ ]relat_1__t123_relat_12025-09-12 23:53 6.9K 
[ ]relat_1__t124_relat_12025-09-12 23:54 6.9K 
[ ]relat_1__t125_relat_12025-09-12 23:54 7.2K 
[ ]relat_1__t126_relat_12025-09-12 23:55 6.6K 
[ ]relat_1__t127_relat_12025-09-12 23:55 7.4K 
[ ]relat_1__t128_relat_12025-09-12 23:05 7.8K 
[ ]relat_1__t129_relat_12025-09-12 23:56 8.7K 
[ ]relat_1__t130_relat_12025-09-12 23:57 9.5K 
[ ]relat_1__t131_relat_12025-09-12 23:57 6.0K 
[ ]relat_1__t132_relat_12025-09-12 23:58 7.3K 
[ ]relat_1__t133_relat_12025-09-12 23:58 7.1K 
[ ]relat_1__t134_relat_12025-09-12 23:59 8.4K 
[ ]relat_1__t135_relat_12025-09-12 23:59 7.7K 
[ ]relat_1__t138_relat_12025-09-13 00:00 7.9K 
[ ]relat_1__t139_relat_12025-09-13 00:00 7.7K 
[ ]relat_1__t140_relat_12025-09-13 00:01 8.4K 
[ ]relat_1__t141_relat_12025-09-13 00:02 7.9K 
[ ]relat_1__t142_relat_12025-09-13 00:02 8.1K 
[ ]relat_1__t143_relat_12025-09-13 00:03 6.9K 
[ ]relat_1__t144_relat_12025-09-13 00:03 6.9K 
[ ]relat_1__t145_relat_12025-09-13 00:04 7.2K 
[ ]relat_1__t146_relat_12025-09-13 00:04 6.6K 
[ ]relat_1__t147_relat_12025-09-13 00:05 7.4K 
[ ]relat_1__t148_relat_12025-09-13 00:06 9.5K 
[ ]relat_1__t149_relat_12025-09-13 00:06 7.1K 
[ ]relat_1__t150_relat_12025-09-13 00:06 1.8K 
[ ]relat_1__t151_relat_12025-09-13 00:07 8.0K 
[ ]relat_1__t152_relat_12025-09-13 00:07 5.9K 
[ ]relat_1__t153_relat_12025-09-13 00:08 8.1K 
[ ]relat_1__t154_relat_12025-09-13 00:08 2.1K 
[ ]relat_1__t155_relat_12025-09-12 23:05 1.0K 
[ ]relat_1__t156_relat_12025-09-13 00:09 4.4K 
[ ]relat_1__t157_relat_12025-09-13 00:09 1.8K 
[ ]relat_1__t158_relat_12025-09-13 00:09 8.0K 
[ ]relat_1__t159_relat_12025-09-13 00:10 8.0K 
[ ]relat_1__t160_relat_12025-09-13 00:11 7.6K 
[ ]relat_1__t161_relat_12025-09-12 23:06 3.9K 
[ ]relat_1__t162_relat_12025-09-12 23:06 3.9K 
[ ]relat_1__t163_relat_12025-09-13 00:11 1.1K 
[ ]relat_1__t164_relat_12025-09-13 00:11 1.1K 
[ ]relat_1__t165_relat_12025-09-13 00:12 12K 
[ ]relat_1__t166_relat_12025-09-13 00:12 8.2K 
[ ]relat_1__t167_relat_12025-09-13 00:13 7.3K 
[ ]relat_1__t168_relat_12025-09-13 00:13 8.7K 
[ ]relat_1__t169_relat_12025-09-13 00:14 6.1K 
[ ]relat_1__t170_relat_12025-09-13 00:15 6.9K 
[ ]relat_1__t171_relat_12025-09-12 23:06 3.7K 
[ ]relat_1__t172_relat_12025-09-13 00:15 6.0K 
[ ]relat_1__t173_relat_12025-09-13 00:16 8.1K 
[ ]relat_1__t174_relat_12025-09-12 23:07 1.2K 
[ ]relat_1__t175_relat_12025-09-13 00:16 8.8K 
[ ]relat_1__t176_relat_12025-09-13 00:17 10K 
[ ]relat_1__t177_relat_12025-09-13 00:17 12K 
[ ]relat_1__t178_relat_12025-09-13 00:18 3.7K 
[ ]relat_1__t179_relat_12025-09-13 00:18 7.7K 
[ ]relat_1__t180_relat_12025-09-13 00:19 7.7K 
[ ]relat_1__t181_relat_12025-09-13 00:20 12K 
[ ]relat_1__t182_relat_12025-09-13 00:20 7.8K 
[ ]relat_1__t183_relat_12025-09-13 00:21 7.8K 
[ ]relat_1__t184_relat_12025-09-13 00:21 9.2K 
[ ]relat_1__t185_relat_12025-09-13 00:22 10K 
[ ]relat_1__t186_relat_12025-09-12 23:07 8.3K 
[ ]relat_1__t187_relat_12025-09-13 00:23 7.3K 
[ ]relat_1__t188_relat_12025-09-13 00:23 9.8K 
[ ]relat_1__t189_relat_12025-09-13 00:24 10K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80