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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboole_1__l32_xboole_12025-09-13 07:33 2.8K 
[ ]xboole_1__l36_xboole_12025-09-13 07:33 5.3K 
[ ]xboole_1__l58_xboole_12025-09-13 07:33 2.7K 
[ ]xboole_1__l97_xboole_12025-09-13 07:34 4.9K 
[ ]xboole_1__l98_xboole_12025-09-13 07:34 2.1K 
[ ]xboole_1__t1_xboole_12025-09-13 06:51 2.1K 
[ ]xboole_1__t2_xboole_12025-09-13 06:51 2.0K 
[ ]xboole_1__t3_xboole_12025-09-13 06:59 2.2K 
[ ]xboole_1__t4_xboole_12025-09-13 06:59 3.3K 
[ ]xboole_1__t5_xboole_12025-09-13 06:59 972  
[ ]xboole_1__t6_xboole_12025-09-13 06:59 904  
[ ]xboole_1__t7_xboole_12025-09-13 06:52 3.1K 
[ ]xboole_1__t8_xboole_12025-09-13 07:00 3.2K 
[ ]xboole_1__t9_xboole_12025-09-13 07:00 3.2K 
[ ]xboole_1__t10_xboole_12025-09-13 07:01 3.0K 
[ ]xboole_1__t11_xboole_12025-09-13 07:01 3.0K 
[ ]xboole_1__t12_xboole_12025-09-13 07:01 3.3K 
[ ]xboole_1__t13_xboole_12025-09-13 07:02 3.2K 
[ ]xboole_1__t14_xboole_12025-09-13 07:02 3.5K 
[ ]xboole_1__t15_xboole_12025-09-13 06:52 2.5K 
[ ]xboole_1__t16_xboole_12025-09-13 07:02 3.0K 
[ ]xboole_1__t17_xboole_12025-09-13 06:52 2.8K 
[ ]xboole_1__t18_xboole_12025-09-13 07:03 2.7K 
[ ]xboole_1__t19_xboole_12025-09-13 07:03 2.9K 
[ ]xboole_1__t20_xboole_12025-09-13 07:04 3.2K 
[ ]xboole_1__t21_xboole_12025-09-13 07:04 4.1K 
[ ]xboole_1__t22_xboole_12025-09-13 07:04 4.1K 
[ ]xboole_1__t23_xboole_12025-09-13 07:05 4.2K 
[ ]xboole_1__t24_xboole_12025-09-13 07:05 4.2K 
[ ]xboole_1__t25_xboole_12025-09-13 07:05 2.1K 
[ ]xboole_1__t26_xboole_12025-09-13 07:06 2.9K 
[ ]xboole_1__t27_xboole_12025-09-13 07:06 2.9K 
[ ]xboole_1__t28_xboole_12025-09-13 07:07 3.1K 
[ ]xboole_1__t29_xboole_12025-09-13 07:07 3.7K 
[ ]xboole_1__t30_xboole_12025-09-13 07:07 4.2K 
[ ]xboole_1__t31_xboole_12025-09-13 07:08 4.0K 
[ ]xboole_1__t32_xboole_12025-09-13 07:08 2.5K 
[ ]xboole_1__t33_xboole_12025-09-13 07:08 2.7K 
[ ]xboole_1__t34_xboole_12025-09-13 07:09 2.7K 
[ ]xboole_1__t35_xboole_12025-09-13 07:09 2.9K 
[ ]xboole_1__t36_xboole_12025-09-13 06:52 2.6K 
[ ]xboole_1__t37_xboole_12025-09-13 06:53 2.6K 
[ ]xboole_1__t38_xboole_12025-09-13 07:10 2.8K 
[ ]xboole_1__t39_xboole_12025-09-13 07:10 3.9K 
[ ]xboole_1__t40_xboole_12025-09-13 07:10 3.9K 
[ ]xboole_1__t41_xboole_12025-09-13 07:11 4.0K 
[ ]xboole_1__t42_xboole_12025-09-13 07:11 4.0K 
[ ]xboole_1__t43_xboole_12025-09-13 07:12 3.8K 
[ ]xboole_1__t44_xboole_12025-09-13 07:12 3.8K 
[ ]xboole_1__t45_xboole_12025-09-13 07:13 3.9K 
[ ]xboole_1__t46_xboole_12025-09-13 06:53 3.5K 
[ ]xboole_1__t47_xboole_12025-09-13 07:13 3.3K 
[ ]xboole_1__t48_xboole_12025-09-13 07:13 3.6K 
[ ]xboole_1__t49_xboole_12025-09-13 07:14 3.3K 
[ ]xboole_1__t50_xboole_12025-09-13 07:14 4.6K 
[ ]xboole_1__t51_xboole_12025-09-13 07:14 4.7K 
[ ]xboole_1__t52_xboole_12025-09-13 07:15 4.8K 
[ ]xboole_1__t53_xboole_12025-09-13 07:15 5.3K 
[ ]xboole_1__t54_xboole_12025-09-13 06:53 1.5K 
[ ]xboole_1__t55_xboole_12025-09-13 07:16 4.5K 
[ ]xboole_1__t56_xboole_12025-09-13 06:54 2.8K 
[ ]xboole_1__t57_xboole_12025-09-13 06:54 920  
[ ]xboole_1__t58_xboole_12025-09-13 07:16 2.7K 
[ ]xboole_1__t59_xboole_12025-09-13 06:54 2.8K 
[ ]xboole_1__t60_xboole_12025-09-13 07:16 2.5K 
[ ]xboole_1__t61_xboole_12025-09-13 07:17 2.5K 
[ ]xboole_1__t62_xboole_12025-09-13 06:54 2.6K 
[ ]xboole_1__t63_xboole_12025-09-13 06:55 3.3K 
[ ]xboole_1__t64_xboole_12025-09-13 07:17 3.2K 
[ ]xboole_1__t65_xboole_12025-09-13 06:55 2.5K 
[ ]xboole_1__t66_xboole_12025-09-13 06:55 2.6K 
[ ]xboole_1__t67_xboole_12025-09-13 06:56 3.3K 
[ ]xboole_1__t68_xboole_12025-09-13 07:17 3.5K 
[ ]xboole_1__t69_xboole_12025-09-13 06:56 3.2K 
[ ]xboole_1__t70_xboole_12025-09-13 07:18 4.2K 
[ ]xboole_1__t71_xboole_12025-09-13 07:18 4.7K 
[ ]xboole_1__t72_xboole_12025-09-13 07:19 4.4K 
[ ]xboole_1__t73_xboole_12025-09-13 07:19 4.4K 
[ ]xboole_1__t74_xboole_12025-09-13 07:20 3.2K 
[ ]xboole_1__t75_xboole_12025-09-13 07:20 3.2K 
[ ]xboole_1__t76_xboole_12025-09-13 07:20 2.8K 
[ ]xboole_1__t77_xboole_12025-09-13 07:21 3.4K 
[ ]xboole_1__t78_xboole_12025-09-13 07:21 3.7K 
[ ]xboole_1__t79_xboole_12025-09-13 07:21 3.6K 
[ ]xboole_1__t80_xboole_12025-09-13 07:22 3.6K 
[ ]xboole_1__t81_xboole_12025-09-13 07:22 3.2K 
[ ]xboole_1__t82_xboole_12025-09-13 07:23 3.5K 
[ ]xboole_1__t83_xboole_12025-09-13 07:23 4.3K 
[ ]xboole_1__t84_xboole_12025-09-13 07:23 3.3K 
[ ]xboole_1__t85_xboole_12025-09-13 07:24 3.7K 
[ ]xboole_1__t86_xboole_12025-09-13 07:24 3.9K 
[ ]xboole_1__t87_xboole_12025-09-13 07:25 4.3K 
[ ]xboole_1__t88_xboole_12025-09-13 07:25 4.7K 
[ ]xboole_1__t89_xboole_12025-09-13 07:25 3.8K 
[ ]xboole_1__t90_xboole_12025-09-13 07:26 3.3K 
[ ]xboole_1__t91_xboole_12025-09-13 07:26 3.1K 
[ ]xboole_1__t92_xboole_12025-09-13 06:56 4.0K 
[ ]xboole_1__t93_xboole_12025-09-13 07:26 2.3K 
[ ]xboole_1__t94_xboole_12025-09-13 07:27 5.0K 
[ ]xboole_1__t95_xboole_12025-09-13 07:27 5.8K 
[ ]xboole_1__t96_xboole_12025-09-13 06:57 4.0K 
[ ]xboole_1__t97_xboole_12025-09-13 06:57 4.1K 
[ ]xboole_1__t98_xboole_12025-09-13 07:28 5.3K 
[ ]xboole_1__t99_xboole_12025-09-13 07:28 1.9K 
[ ]xboole_1__t100_xboole_12025-09-13 07:28 4.9K 
[ ]xboole_1__t101_xboole_12025-09-13 06:57 1.9K 
[ ]xboole_1__t102_xboole_12025-09-13 07:28 2.5K 
[ ]xboole_1__t103_xboole_12025-09-13 06:58 4.5K 
[ ]xboole_1__t104_xboole_12025-09-13 06:58 1.5K 
[ ]xboole_1__t105_xboole_12025-09-13 06:58 3.2K 
[ ]xboole_1__t106_xboole_12025-09-13 07:29 4.1K 
[ ]xboole_1__t107_xboole_12025-09-13 07:29 5.5K 
[ ]xboole_1__t108_xboole_12025-09-13 07:30 2.7K 
[ ]xboole_1__t109_xboole_12025-09-13 07:30 2.5K 
[ ]xboole_1__t110_xboole_12025-09-13 07:30 4.3K 
[ ]xboole_1__t111_xboole_12025-09-13 07:31 4.5K 
[ ]xboole_1__t112_xboole_12025-09-13 07:31 2.2K 
[ ]xboole_1__t113_xboole_12025-09-13 07:31 1.0K 
[ ]xboole_1__t114_xboole_12025-09-13 07:32 3.9K 
[ ]xboole_1__t116_xboole_12025-09-13 07:32 1.0K 
[ ]xboole_1__t117_xboole_12025-09-13 07:32 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80