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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gtarski3__l19_gtarski32025-09-13 21:50 11K 
[ ]gtarski3__l20_gtarski32025-09-13 21:51 10K 
[ ]gtarski3__l21_gtarski32025-09-13 21:52 14K 
[ ]gtarski3__l22_gtarski32025-09-13 21:53 11K 
[ ]gtarski3__l23_gtarski32025-09-13 21:53 11K 
[ ]gtarski3__l24_gtarski32025-09-13 21:54 11K 
[ ]gtarski3__l125_gtarski32025-09-13 21:55 14K 
[ ]gtarski3__l127_gtarski32025-09-13 21:56 12K 
[ ]gtarski3__t1_gtarski32025-09-13 20:23 9.7K 
[ ]gtarski3__t2_gtarski32025-09-13 20:24 11K 
[ ]gtarski3__t3_gtarski32025-09-13 20:25 10K 
[ ]gtarski3__t4_gtarski32025-09-13 20:26 10K 
[ ]gtarski3__t5_gtarski32025-09-13 20:26 10K 
[ ]gtarski3__t6_gtarski32025-09-13 20:27 10K 
[ ]gtarski3__t7_gtarski32025-09-13 20:28 10K 
[ ]gtarski3__t8_gtarski32025-09-13 20:28 11K 
[ ]gtarski3__t9_gtarski32025-09-13 20:29 11K 
[ ]gtarski3__t10_gtarski32025-09-13 20:30 11K 
[ ]gtarski3__t11_gtarski32025-09-13 20:31 14K 
[ ]gtarski3__t12_gtarski32025-09-13 20:32 15K 
[ ]gtarski3__t13_gtarski32025-09-13 20:33 11K 
[ ]gtarski3__t14_gtarski32025-09-13 20:33 10K 
[ ]gtarski3__t15_gtarski32025-09-13 19:56 9.6K 
[ ]gtarski3__t16_gtarski32025-09-13 20:34 9.8K 
[ ]gtarski3__t17_gtarski32025-09-13 19:57 11K 
[ ]gtarski3__t18_gtarski32025-09-13 19:58 11K 
[ ]gtarski3__t19_gtarski32025-09-13 19:59 11K 
[ ]gtarski3__t20_gtarski32025-09-13 19:59 9.4K 
[ ]gtarski3__t21_gtarski32025-09-13 20:00 10K 
[ ]gtarski3__t22_gtarski32025-09-13 20:01 11K 
[ ]gtarski3__t23_gtarski32025-09-13 20:01 9.8K 
[ ]gtarski3__t24_gtarski32025-09-13 20:02 11K 
[ ]gtarski3__t25_gtarski32025-09-13 20:03 12K 
[ ]gtarski3__t26_gtarski32025-09-13 20:04 12K 
[ ]gtarski3__t27_gtarski32025-09-13 20:35 14K 
[ ]gtarski3__t28_gtarski32025-09-13 20:36 14K 
[ ]gtarski3__t29_gtarski32025-09-13 20:37 13K 
[ ]gtarski3__t30_gtarski32025-09-13 20:04 12K 
[ ]gtarski3__t31_gtarski32025-09-13 20:05 12K 
[ ]gtarski3__t32_gtarski32025-09-13 20:38 13K 
[ ]gtarski3__t33_gtarski32025-09-13 20:38 14K 
[ ]gtarski3__t34_gtarski32025-09-13 20:39 13K 
[ ]gtarski3__t35_gtarski32025-09-13 20:40 9.7K 
[ ]gtarski3__t36_gtarski32025-09-13 20:41 12K 
[ ]gtarski3__t37_gtarski32025-09-13 20:42 10K 
[ ]gtarski3__t38_gtarski32025-09-13 20:43 14K 
[ ]gtarski3__t39_gtarski32025-09-13 20:44 17K 
[ ]gtarski3__t40_gtarski32025-09-13 20:44 12K 
[ ]gtarski3__t41_gtarski32025-09-13 20:45 17K 
[ ]gtarski3__t42_gtarski32025-09-13 20:46 15K 
[ ]gtarski3__t43_gtarski32025-09-13 20:47 18K 
[ ]gtarski3__t44_gtarski32025-09-13 20:48 18K 
[ ]gtarski3__t45_gtarski32025-09-13 20:06 10K 
[ ]gtarski3__t46_gtarski32025-09-13 20:06 9.5K 
[ ]gtarski3__t47_gtarski32025-09-13 20:49 11K 
[ ]gtarski3__t48_gtarski32025-09-13 20:50 13K 
[ ]gtarski3__t49_gtarski32025-09-13 20:51 11K 
[ ]gtarski3__t50_gtarski32025-09-13 20:52 11K 
[ ]gtarski3__t51_gtarski32025-09-13 20:53 18K 
[ ]gtarski3__t52_gtarski32025-09-13 20:54 18K 
[ ]gtarski3__t53_gtarski32025-09-13 20:55 14K 
[ ]gtarski3__t54_gtarski32025-09-13 20:55 13K 
[ ]gtarski3__t55_gtarski32025-09-13 20:56 14K 
[ ]gtarski3__t56_gtarski32025-09-13 20:57 11K 
[ ]gtarski3__t57_gtarski32025-09-13 20:58 12K 
[ ]gtarski3__t58_gtarski32025-09-13 20:59 15K 
[ ]gtarski3__t59_gtarski32025-09-13 21:00 16K 
[ ]gtarski3__t60_gtarski32025-09-13 21:01 17K 
[ ]gtarski3__t61_gtarski32025-09-13 21:02 12K 
[ ]gtarski3__t62_gtarski32025-09-13 21:03 17K 
[ ]gtarski3__t63_gtarski32025-09-13 21:04 17K 
[ ]gtarski3__t64_gtarski32025-09-13 21:05 16K 
[ ]gtarski3__t65_gtarski32025-09-13 21:06 13K 
[ ]gtarski3__t66_gtarski32025-09-13 20:07 10K 
[ ]gtarski3__t67_gtarski32025-09-13 21:06 13K 
[ ]gtarski3__t68_gtarski32025-09-13 21:07 15K 
[ ]gtarski3__t69_gtarski32025-09-13 21:08 14K 
[ ]gtarski3__t70_gtarski32025-09-13 21:09 15K 
[ ]gtarski3__t71_gtarski32025-09-13 21:10 13K 
[ ]gtarski3__t72_gtarski32025-09-13 21:11 14K 
[ ]gtarski3__t73_gtarski32025-09-13 21:12 13K 
[ ]gtarski3__t74_gtarski32025-09-13 20:08 11K 
[ ]gtarski3__t75_gtarski32025-09-13 20:08 3.5K 
[ ]gtarski3__t76_gtarski32025-09-13 20:09 13K 
[ ]gtarski3__t77_gtarski32025-09-13 21:12 14K 
[ ]gtarski3__t78_gtarski32025-09-13 21:13 13K 
[ ]gtarski3__t79_gtarski32025-09-13 21:14 16K 
[ ]gtarski3__t80_gtarski32025-09-13 21:15 15K 
[ ]gtarski3__t81_gtarski32025-09-13 21:16 22K 
[ ]gtarski3__t82_gtarski32025-09-13 21:17 22K 
[ ]gtarski3__t83_gtarski32025-09-13 21:18 16K 
[ ]gtarski3__t84_gtarski32025-09-13 20:09 4.2K 
[ ]gtarski3__t85_gtarski32025-09-13 21:19 18K 
[ ]gtarski3__t86_gtarski32025-09-13 21:20 17K 
[ ]gtarski3__t87_gtarski32025-09-13 21:21 19K 
[ ]gtarski3__t88_gtarski32025-09-13 21:22 16K 
[ ]gtarski3__t89_gtarski32025-09-13 20:10 16K 
[ ]gtarski3__t90_gtarski32025-09-13 21:23 18K 
[ ]gtarski3__t91_gtarski32025-09-13 21:24 9.6K 
[ ]gtarski3__t92_gtarski32025-09-13 21:25 19K 
[ ]gtarski3__t93_gtarski32025-09-13 20:11 12K 
[ ]gtarski3__t94_gtarski32025-09-13 21:26 13K 
[ ]gtarski3__t95_gtarski32025-09-13 21:27 16K 
[ ]gtarski3__t96_gtarski32025-09-13 20:12 12K 
[ ]gtarski3__t97_gtarski32025-09-13 20:12 11K 
[ ]gtarski3__t98_gtarski32025-09-13 21:28 12K 
[ ]gtarski3__t99_gtarski32025-09-13 21:29 13K 
[ ]gtarski3__t100_gtarski32025-09-13 20:13 4.0K 
[ ]gtarski3__t101_gtarski32025-09-13 21:29 14K 
[ ]gtarski3__t102_gtarski32025-09-13 21:30 4.0K 
[ ]gtarski3__t103_gtarski32025-09-13 21:30 4.0K 
[ ]gtarski3__t104_gtarski32025-09-13 21:31 13K 
[ ]gtarski3__t105_gtarski32025-09-13 21:32 24K 
[ ]gtarski3__t106_gtarski32025-09-13 21:33 12K 
[ ]gtarski3__t107_gtarski32025-09-13 21:34 12K 
[ ]gtarski3__t108_gtarski32025-09-13 21:35 17K 
[ ]gtarski3__t109_gtarski32025-09-13 21:35 5.1K 
[ ]gtarski3__t110_gtarski32025-09-13 21:36 15K 
[ ]gtarski3__t111_gtarski32025-09-13 21:37 16K 
[ ]gtarski3__t112_gtarski32025-09-13 21:38 28K 
[ ]gtarski3__t113_gtarski32025-09-13 21:39 34K 
[ ]gtarski3__t114_gtarski32025-09-13 21:40 34K 
[ ]gtarski3__t115_gtarski32025-09-13 21:41 20K 
[ ]gtarski3__t116_gtarski32025-09-13 20:14 19K 
[ ]gtarski3__t117_gtarski32025-09-13 21:43 34K 
[ ]gtarski3__t118_gtarski32025-09-13 20:14 826  
[ ]gtarski3__t119_gtarski32025-09-13 20:14 826  
[ ]gtarski3__t120_gtarski32025-09-13 20:14 826  
[ ]gtarski3__t121_gtarski32025-09-13 20:15 826  
[ ]gtarski3__t122_gtarski32025-09-13 20:15 826  
[ ]gtarski3__t123_gtarski32025-09-13 20:15 826  
[ ]gtarski3__t124_gtarski32025-09-13 20:15 826  
[ ]gtarski3__t125_gtarski32025-09-13 20:16 829  
[ ]gtarski3__t126_gtarski32025-09-13 20:16 829  
[ ]gtarski3__t127_gtarski32025-09-13 21:43 1.5K 
[ ]gtarski3__t128_gtarski32025-09-13 21:44 14K 
[ ]gtarski3__t129_gtarski32025-09-13 21:44 2.3K 
[ ]gtarski3__t130_gtarski32025-09-13 21:45 14K 
[ ]gtarski3__t131_gtarski32025-09-13 20:16 3.0K 
[ ]gtarski3__t132_gtarski32025-09-13 20:17 9.9K 
[ ]gtarski3__t133_gtarski32025-09-13 20:17 9.6K 
[ ]gtarski3__t134_gtarski32025-09-13 20:18 10K 
[ ]gtarski3__t135_gtarski32025-09-13 21:46 11K 
[ ]gtarski3__t136_gtarski32025-09-13 21:47 12K 
[ ]gtarski3__t137_gtarski32025-09-13 21:48 16K 
[ ]gtarski3__t138_gtarski32025-09-13 21:49 19K 
[ ]gtarski3__t139_gtarski32025-09-13 20:19 15K 
[ ]gtarski3__t140_gtarski32025-09-13 21:49 15K 
[ ]gtarski3__t141_gtarski32025-09-13 20:20 21K 
[ ]gtarski3__t142_gtarski32025-09-13 20:21 21K 
[ ]gtarski3__t143_gtarski32025-09-13 20:22 20K 
[ ]gtarski3__t144_gtarski32025-09-13 20:23 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80