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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pboole__l22_pboole2025-09-11 20:04 15K 
[ ]pboole__s1_pboole2025-09-11 18:10 17K 
[ ]pboole__s2_pboole2025-09-11 18:11 18K 
[ ]pboole__s3_pboole2025-09-11 18:12 18K 
[ ]pboole__s4_pboole2025-09-11 18:13 18K 
[ ]pboole__s5_pboole2025-09-11 18:14 19K 
[ ]pboole__s6_pboole2025-09-11 18:14 15K 
[ ]pboole__s7_pboole2025-09-11 18:15 20K 
[ ]pboole__t1_pboole2025-09-11 17:52 1.7K 
[ ]pboole__t2_pboole2025-09-11 18:16 18K 
[ ]pboole__t3_pboole2025-09-11 18:17 16K 
[ ]pboole__t4_pboole2025-09-11 18:18 22K 
[ ]pboole__t5_pboole2025-09-11 17:53 21K 
[ ]pboole__t6_pboole2025-09-11 18:19 22K 
[ ]pboole__t7_pboole2025-09-11 18:20 16K 
[ ]pboole__t8_pboole2025-09-11 18:21 16K 
[ ]pboole__t9_pboole2025-09-11 18:22 16K 
[ ]pboole__t10_pboole2025-09-11 18:22 15K 
[ ]pboole__t11_pboole2025-09-11 18:23 16K 
[ ]pboole__t12_pboole2025-09-11 18:24 17K 
[ ]pboole__t13_pboole2025-09-11 18:25 16K 
[ ]pboole__t14_pboole2025-09-11 18:26 19K 
[ ]pboole__t15_pboole2025-09-11 18:27 19K 
[ ]pboole__t16_pboole2025-09-11 18:28 19K 
[ ]pboole__t17_pboole2025-09-11 18:29 19K 
[ ]pboole__t18_pboole2025-09-11 18:30 18K 
[ ]pboole__t19_pboole2025-09-11 18:31 18K 
[ ]pboole__t20_pboole2025-09-11 18:32 18K 
[ ]pboole__t21_pboole2025-09-11 18:32 18K 
[ ]pboole__t22_pboole2025-09-11 18:33 19K 
[ ]pboole__t23_pboole2025-09-11 18:34 19K 
[ ]pboole__t24_pboole2025-09-11 18:35 19K 
[ ]pboole__t25_pboole2025-09-11 18:36 24K 
[ ]pboole__t26_pboole2025-09-11 18:37 20K 
[ ]pboole__t27_pboole2025-09-11 18:38 20K 
[ ]pboole__t28_pboole2025-09-11 18:39 18K 
[ ]pboole__t29_pboole2025-09-11 18:39 17K 
[ ]pboole__t30_pboole2025-09-11 18:40 21K 
[ ]pboole__t31_pboole2025-09-11 18:41 21K 
[ ]pboole__t32_pboole2025-09-11 18:42 21K 
[ ]pboole__t33_pboole2025-09-11 18:43 19K 
[ ]pboole__t34_pboole2025-09-11 18:44 21K 
[ ]pboole__t35_pboole2025-09-11 18:45 21K 
[ ]pboole__t36_pboole2025-09-11 18:45 19K 
[ ]pboole__t37_pboole2025-09-11 18:46 17K 
[ ]pboole__t38_pboole2025-09-11 18:47 17K 
[ ]pboole__t39_pboole2025-09-11 18:48 16K 
[ ]pboole__t40_pboole2025-09-11 18:49 16K 
[ ]pboole__t41_pboole2025-09-11 18:49 16K 
[ ]pboole__t42_pboole2025-09-11 18:50 16K 
[ ]pboole__t43_pboole2025-09-11 18:51 23K 
[ ]pboole__t44_pboole2025-09-11 18:52 24K 
[ ]pboole__t45_pboole2025-09-11 17:54 26K 
[ ]pboole__t46_pboole2025-09-11 17:55 26K 
[ ]pboole__t47_pboole2025-09-11 17:56 26K 
[ ]pboole__t48_pboole2025-09-11 17:57 26K 
[ ]pboole__t49_pboole2025-09-11 17:58 26K 
[ ]pboole__t50_pboole2025-09-11 18:53 29K 
[ ]pboole__t51_pboole2025-09-11 17:59 26K 
[ ]pboole__t52_pboole2025-09-11 18:54 28K 
[ ]pboole__t53_pboole2025-09-11 18:55 18K 
[ ]pboole__t54_pboole2025-09-11 18:56 18K 
[ ]pboole__t55_pboole2025-09-11 18:56 18K 
[ ]pboole__t56_pboole2025-09-11 18:57 18K 
[ ]pboole__t57_pboole2025-09-11 18:58 27K 
[ ]pboole__t58_pboole2025-09-11 18:00 25K 
[ ]pboole__t59_pboole2025-09-11 18:59 25K 
[ ]pboole__t60_pboole2025-09-11 18:01 25K 
[ ]pboole__t61_pboole2025-09-11 18:02 27K 
[ ]pboole__t62_pboole2025-09-11 19:00 22K 
[ ]pboole__t63_pboole2025-09-11 19:01 27K 
[ ]pboole__t64_pboole2025-09-11 19:02 25K 
[ ]pboole__t65_pboole2025-09-11 19:03 29K 
[ ]pboole__t66_pboole2025-09-11 19:04 21K 
[ ]pboole__t67_pboole2025-09-11 19:05 19K 
[ ]pboole__t68_pboole2025-09-11 19:06 29K 
[ ]pboole__t69_pboole2025-09-11 19:06 26K 
[ ]pboole__t70_pboole2025-09-11 19:07 29K 
[ ]pboole__t71_pboole2025-09-11 19:08 26K 
[ ]pboole__t72_pboole2025-09-11 19:09 22K 
[ ]pboole__t73_pboole2025-09-11 19:10 22K 
[ ]pboole__t74_pboole2025-09-11 19:11 33K 
[ ]pboole__t75_pboole2025-09-11 19:12 28K 
[ ]pboole__t76_pboole2025-09-11 19:13 21K 
[ ]pboole__t77_pboole2025-09-11 19:14 18K 
[ ]pboole__t78_pboole2025-09-11 19:14 16K 
[ ]pboole__t79_pboole2025-09-11 19:15 22K 
[ ]pboole__t80_pboole2025-09-11 19:16 18K 
[ ]pboole__t81_pboole2025-09-11 19:17 30K 
[ ]pboole__t82_pboole2025-09-11 19:18 22K 
[ ]pboole__t83_pboole2025-09-11 18:03 19K 
[ ]pboole__t84_pboole2025-09-11 19:18 28K 
[ ]pboole__t85_pboole2025-09-11 18:04 28K 
[ ]pboole__t86_pboole2025-09-11 19:19 20K 
[ ]pboole__t87_pboole2025-09-11 19:20 20K 
[ ]pboole__t88_pboole2025-09-11 19:21 19K 
[ ]pboole__t89_pboole2025-09-11 19:22 21K 
[ ]pboole__t90_pboole2025-09-11 19:22 23K 
[ ]pboole__t91_pboole2025-09-11 18:05 19K 
[ ]pboole__t92_pboole2025-09-11 19:23 21K 
[ ]pboole__t93_pboole2025-09-11 19:24 31K 
[ ]pboole__t94_pboole2025-09-11 19:25 31K 
[ ]pboole__t95_pboole2025-09-11 19:26 29K 
[ ]pboole__t96_pboole2025-09-11 19:27 20K 
[ ]pboole__t97_pboole2025-09-11 19:28 20K 
[ ]pboole__t98_pboole2025-09-11 19:29 17K 
[ ]pboole__t99_pboole2025-09-11 19:29 18K 
[ ]pboole__t100_pboole2025-09-11 19:30 18K 
[ ]pboole__t101_pboole2025-09-11 19:31 18K 
[ ]pboole__t102_pboole2025-09-11 19:32 17K 
[ ]pboole__t103_pboole2025-09-11 19:33 20K 
[ ]pboole__t104_pboole2025-09-11 18:05 18K 
[ ]pboole__t105_pboole2025-09-11 19:34 19K 
[ ]pboole__t106_pboole2025-09-11 19:34 19K 
[ ]pboole__t107_pboole2025-09-11 19:35 18K 
[ ]pboole__t108_pboole2025-09-11 19:36 19K 
[ ]pboole__t109_pboole2025-09-11 19:37 19K 
[ ]pboole__t110_pboole2025-09-11 19:38 23K 
[ ]pboole__t111_pboole2025-09-11 19:39 28K 
[ ]pboole__t112_pboole2025-09-11 19:40 26K 
[ ]pboole__t113_pboole2025-09-11 19:41 28K 
[ ]pboole__t114_pboole2025-09-11 19:42 30K 
[ ]pboole__t115_pboole2025-09-11 19:42 20K 
[ ]pboole__t116_pboole2025-09-11 19:43 18K 
[ ]pboole__t117_pboole2025-09-11 19:44 20K 
[ ]pboole__t118_pboole2025-09-11 19:45 19K 
[ ]pboole__t119_pboole2025-09-11 19:46 17K 
[ ]pboole__t120_pboole2025-09-11 18:06 2.2K 
[ ]pboole__t121_pboole2025-09-11 18:07 22K 
[ ]pboole__t122_pboole2025-09-11 18:07 11K 
[ ]pboole__t123_pboole2025-09-11 19:46 15K 
[ ]pboole__t124_pboole2025-09-11 19:47 22K 
[ ]pboole__t125_pboole2025-09-11 18:08 25K 
[ ]pboole__t126_pboole2025-09-11 19:48 25K 
[ ]pboole__t127_pboole2025-09-11 19:49 28K 
[ ]pboole__t128_pboole2025-09-11 19:50 26K 
[ ]pboole__t129_pboole2025-09-11 19:51 25K 
[ ]pboole__t130_pboole2025-09-11 19:52 17K 
[ ]pboole__t131_pboole2025-09-11 19:52 17K 
[ ]pboole__t132_pboole2025-09-11 19:53 21K 
[ ]pboole__t133_pboole2025-09-11 19:54 18K 
[ ]pboole__t134_pboole2025-09-11 19:55 15K 
[ ]pboole__t135_pboole2025-09-11 19:56 22K 
[ ]pboole__t136_pboole2025-09-11 19:57 19K 
[ ]pboole__t137_pboole2025-09-11 19:57 19K 
[ ]pboole__t138_pboole2025-09-11 19:58 19K 
[ ]pboole__t139_pboole2025-09-11 19:59 19K 
[ ]pboole__t140_pboole2025-09-11 20:00 17K 
[ ]pboole__t141_pboole2025-09-11 20:00 22K 
[ ]pboole__t142_pboole2025-09-11 20:01 31K 
[ ]pboole__t143_pboole2025-09-11 20:02 21K 
[ ]pboole__t144_pboole2025-09-11 20:03 30K 
[ ]pboole__t145_pboole2025-09-11 20:04 23K 
[ ]pboole__t146_pboole2025-09-11 18:09 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80