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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funct_4__l1_funct_42025-09-11 18:25 861  
[ ]funct_4__l80_funct_42025-09-11 18:25 16K 
[ ]funct_4__t1_funct_42025-09-11 16:43 15K 
[ ]funct_4__t2_funct_42025-09-11 16:44 16K 
[ ]funct_4__t3_funct_42025-09-11 16:45 18K 
[ ]funct_4__t4_funct_42025-09-11 16:46 23K 
[ ]funct_4__t5_funct_42025-09-11 16:47 22K 
[ ]funct_4__t6_funct_42025-09-11 16:47 23K 
[ ]funct_4__t7_funct_42025-09-11 16:48 24K 
[ ]funct_4__t8_funct_42025-09-11 16:49 14K 
[ ]funct_4__t9_funct_42025-09-11 16:50 14K 
[ ]funct_4__t10_funct_42025-09-11 16:50 15K 
[ ]funct_4__t11_funct_42025-09-11 16:51 11K 
[ ]funct_4__t12_funct_42025-09-11 16:52 11K 
[ ]funct_4__t13_funct_42025-09-11 16:52 11K 
[ ]funct_4__t14_funct_42025-09-11 16:53 12K 
[ ]funct_4__t15_funct_42025-09-11 16:54 11K 
[ ]funct_4__t16_funct_42025-09-11 16:54 11K 
[ ]funct_4__t17_funct_42025-09-11 16:55 17K 
[ ]funct_4__t18_funct_42025-09-11 16:56 15K 
[ ]funct_4__t19_funct_42025-09-11 16:57 15K 
[ ]funct_4__t20_funct_42025-09-11 16:32 7.6K 
[ ]funct_4__t21_funct_42025-09-11 16:33 7.6K 
[ ]funct_4__t22_funct_42025-09-11 16:57 23K 
[ ]funct_4__t23_funct_42025-09-11 16:58 18K 
[ ]funct_4__t24_funct_42025-09-11 16:59 19K 
[ ]funct_4__t25_funct_42025-09-11 17:00 16K 
[ ]funct_4__t26_funct_42025-09-11 17:00 20K 
[ ]funct_4__t27_funct_42025-09-11 17:01 12K 
[ ]funct_4__t28_funct_42025-09-11 17:02 18K 
[ ]funct_4__t29_funct_42025-09-11 17:02 16K 
[ ]funct_4__t30_funct_42025-09-11 17:03 17K 
[ ]funct_4__t31_funct_42025-09-11 16:34 13K 
[ ]funct_4__t32_funct_42025-09-11 17:04 15K 
[ ]funct_4__t33_funct_42025-09-11 17:05 21K 
[ ]funct_4__t34_funct_42025-09-11 17:05 14K 
[ ]funct_4__t35_funct_42025-09-11 16:34 12K 
[ ]funct_4__t36_funct_42025-09-11 17:06 18K 
[ ]funct_4__t37_funct_42025-09-11 17:07 18K 
[ ]funct_4__t38_funct_42025-09-11 16:35 16K 
[ ]funct_4__t39_funct_42025-09-11 16:36 16K 
[ ]funct_4__t40_funct_42025-09-11 17:08 24K 
[ ]funct_4__t41_funct_42025-09-11 17:08 15K 
[ ]funct_4__t42_funct_42025-09-11 17:09 10K 
[ ]funct_4__t43_funct_42025-09-11 17:10 10K 
[ ]funct_4__t44_funct_42025-09-11 17:11 19K 
[ ]funct_4__t45_funct_42025-09-11 17:11 19K 
[ ]funct_4__t46_funct_42025-09-11 17:12 19K 
[ ]funct_4__t47_funct_42025-09-11 17:13 21K 
[ ]funct_4__t48_funct_42025-09-11 17:14 20K 
[ ]funct_4__t49_funct_42025-09-11 17:15 18K 
[ ]funct_4__t50_funct_42025-09-11 16:36 16K 
[ ]funct_4__t51_funct_42025-09-11 17:16 15K 
[ ]funct_4__t52_funct_42025-09-11 17:16 19K 
[ ]funct_4__t53_funct_42025-09-11 17:17 19K 
[ ]funct_4__t54_funct_42025-09-11 17:18 11K 
[ ]funct_4__t55_funct_42025-09-11 17:19 11K 
[ ]funct_4__t56_funct_42025-09-11 17:20 21K 
[ ]funct_4__t57_funct_42025-09-11 17:20 19K 
[ ]funct_4__t58_funct_42025-09-11 17:21 20K 
[ ]funct_4__t59_funct_42025-09-11 17:22 20K 
[ ]funct_4__t60_funct_42025-09-11 17:23 21K 
[ ]funct_4__t61_funct_42025-09-11 16:37 16K 
[ ]funct_4__t62_funct_42025-09-11 17:24 30K 
[ ]funct_4__t63_funct_42025-09-11 17:25 25K 
[ ]funct_4__t64_funct_42025-09-11 17:26 27K 
[ ]funct_4__t65_funct_42025-09-11 17:27 28K 
[ ]funct_4__t66_funct_42025-09-11 17:28 28K 
[ ]funct_4__t67_funct_42025-09-11 17:29 28K 
[ ]funct_4__t68_funct_42025-09-11 17:29 23K 
[ ]funct_4__t69_funct_42025-09-11 17:30 23K 
[ ]funct_4__t70_funct_42025-09-11 17:31 20K 
[ ]funct_4__t71_funct_42025-09-11 17:31 17K 
[ ]funct_4__t72_funct_42025-09-11 17:32 12K 
[ ]funct_4__t73_funct_42025-09-11 17:33 12K 
[ ]funct_4__t74_funct_42025-09-11 17:33 13K 
[ ]funct_4__t75_funct_42025-09-11 16:38 14K 
[ ]funct_4__t76_funct_42025-09-11 17:34 17K 
[ ]funct_4__t77_funct_42025-09-11 17:34 17K 
[ ]funct_4__t78_funct_42025-09-11 17:35 18K 
[ ]funct_4__t79_funct_42025-09-11 16:38 21K 
[ ]funct_4__t80_funct_42025-09-11 16:39 22K 
[ ]funct_4__t81_funct_42025-09-11 17:36 23K 
[ ]funct_4__t82_funct_42025-09-11 16:40 20K 
[ ]funct_4__t83_funct_42025-09-11 17:37 24K 
[ ]funct_4__t84_funct_42025-09-11 17:38 27K 
[ ]funct_4__t85_funct_42025-09-11 17:38 24K 
[ ]funct_4__t86_funct_42025-09-11 17:39 26K 
[ ]funct_4__t87_funct_42025-09-11 17:40 13K 
[ ]funct_4__t88_funct_42025-09-11 17:40 17K 
[ ]funct_4__t89_funct_42025-09-11 17:41 24K 
[ ]funct_4__t90_funct_42025-09-11 17:42 25K 
[ ]funct_4__t91_funct_42025-09-11 17:43 24K 
[ ]funct_4__t92_funct_42025-09-11 17:43 14K 
[ ]funct_4__t93_funct_42025-09-11 16:40 1.4K 
[ ]funct_4__t94_funct_42025-09-11 17:44 16K 
[ ]funct_4__t95_funct_42025-09-11 17:45 16K 
[ ]funct_4__t96_funct_42025-09-11 17:45 22K 
[ ]funct_4__t97_funct_42025-09-11 17:46 17K 
[ ]funct_4__t98_funct_42025-09-11 17:47 17K 
[ ]funct_4__t99_funct_42025-09-11 17:47 29K 
[ ]funct_4__t100_funct_42025-09-11 17:48 31K 
[ ]funct_4__t101_funct_42025-09-11 17:49 31K 
[ ]funct_4__t102_funct_42025-09-11 17:50 26K 
[ ]funct_4__t103_funct_42025-09-11 17:51 29K 
[ ]funct_4__t104_funct_42025-09-11 17:52 31K 
[ ]funct_4__t105_funct_42025-09-11 17:52 28K 
[ ]funct_4__t106_funct_42025-09-11 17:53 28K 
[ ]funct_4__t107_funct_42025-09-11 17:54 25K 
[ ]funct_4__t108_funct_42025-09-11 17:55 30K 
[ ]funct_4__t109_funct_42025-09-11 17:56 28K 
[ ]funct_4__t110_funct_42025-09-11 17:56 28K 
[ ]funct_4__t111_funct_42025-09-11 16:41 16K 
[ ]funct_4__t112_funct_42025-09-11 17:57 24K 
[ ]funct_4__t113_funct_42025-09-11 17:58 30K 
[ ]funct_4__t114_funct_42025-09-11 17:59 27K 
[ ]funct_4__t115_funct_42025-09-11 17:59 12K 
[ ]funct_4__t116_funct_42025-09-11 18:00 19K 
[ ]funct_4__t117_funct_42025-09-11 18:01 19K 
[ ]funct_4__t118_funct_42025-09-11 18:01 12K 
[ ]funct_4__t119_funct_42025-09-11 18:02 18K 
[ ]funct_4__t120_funct_42025-09-11 16:42 13K 
[ ]funct_4__t121_funct_42025-09-11 18:03 22K 
[ ]funct_4__t122_funct_42025-09-11 18:03 16K 
[ ]funct_4__t123_funct_42025-09-11 18:04 20K 
[ ]funct_4__t124_funct_42025-09-11 18:05 16K 
[ ]funct_4__t125_funct_42025-09-11 18:05 14K 
[ ]funct_4__t126_funct_42025-09-11 18:06 29K 
[ ]funct_4__t127_funct_42025-09-11 18:07 29K 
[ ]funct_4__t128_funct_42025-09-11 18:08 34K 
[ ]funct_4__t129_funct_42025-09-11 18:09 32K 
[ ]funct_4__t130_funct_42025-09-11 18:10 26K 
[ ]funct_4__t131_funct_42025-09-11 16:42 26K 
[ ]funct_4__t132_funct_42025-09-11 18:10 34K 
[ ]funct_4__t133_funct_42025-09-11 18:11 26K 
[ ]funct_4__t134_funct_42025-09-11 18:12 30K 
[ ]funct_4__t135_funct_42025-09-11 18:13 30K 
[ ]funct_4__t136_funct_42025-09-11 18:14 32K 
[ ]funct_4__t137_funct_42025-09-11 18:15 34K 
[ ]funct_4__t138_funct_42025-09-11 18:16 32K 
[ ]funct_4__t139_funct_42025-09-11 18:17 32K 
[ ]funct_4__t140_funct_42025-09-11 18:18 32K 
[ ]funct_4__t141_funct_42025-09-11 18:19 32K 
[ ]funct_4__t142_funct_42025-09-11 18:19 32K 
[ ]funct_4__t143_funct_42025-09-11 18:20 34K 
[ ]funct_4__t144_funct_42025-09-11 18:21 35K 
[ ]funct_4__t145_funct_42025-09-11 18:22 35K 
[ ]funct_4__t146_funct_42025-09-11 18:23 29K 
[ ]funct_4__t147_funct_42025-09-11 18:24 32K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80