Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/xboole_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboole_1__l32_xboole_12021-07-18 16:07 2.8K 
[ ]xboole_1__l36_xboole_12021-07-18 16:07 5.3K 
[ ]xboole_1__l58_xboole_12021-07-18 16:07 2.7K 
[ ]xboole_1__l97_xboole_12021-07-18 16:07 4.9K 
[ ]xboole_1__l98_xboole_12021-07-18 16:07 2.1K 
[ ]xboole_1__t1_xboole_12021-07-18 15:56 2.1K 
[ ]xboole_1__t2_xboole_12021-07-18 15:56 2.0K 
[ ]xboole_1__t3_xboole_12021-07-18 15:58 2.2K 
[ ]xboole_1__t4_xboole_12021-07-18 15:58 3.3K 
[ ]xboole_1__t5_xboole_12021-07-18 15:58 972  
[ ]xboole_1__t6_xboole_12021-07-18 15:58 904  
[ ]xboole_1__t7_xboole_12021-07-18 15:56 3.1K 
[ ]xboole_1__t8_xboole_12021-07-18 15:58 3.2K 
[ ]xboole_1__t9_xboole_12021-07-18 15:58 3.2K 
[ ]xboole_1__t10_xboole_12021-07-18 15:58 3.0K 
[ ]xboole_1__t11_xboole_12021-07-18 15:58 3.0K 
[ ]xboole_1__t12_xboole_12021-07-18 15:58 3.3K 
[ ]xboole_1__t13_xboole_12021-07-18 15:58 3.2K 
[ ]xboole_1__t14_xboole_12021-07-18 15:59 3.5K 
[ ]xboole_1__t15_xboole_12021-07-18 15:56 2.5K 
[ ]xboole_1__t16_xboole_12021-07-18 15:59 3.0K 
[ ]xboole_1__t17_xboole_12021-07-18 15:56 2.8K 
[ ]xboole_1__t18_xboole_12021-07-18 15:59 2.7K 
[ ]xboole_1__t19_xboole_12021-07-18 15:59 2.9K 
[ ]xboole_1__t20_xboole_12021-07-18 15:59 3.2K 
[ ]xboole_1__t21_xboole_12021-07-18 15:59 4.1K 
[ ]xboole_1__t22_xboole_12021-07-18 15:59 4.1K 
[ ]xboole_1__t23_xboole_12021-07-18 15:59 4.2K 
[ ]xboole_1__t24_xboole_12021-07-18 15:59 4.2K 
[ ]xboole_1__t25_xboole_12021-07-18 15:59 2.1K 
[ ]xboole_1__t26_xboole_12021-07-18 16:00 2.9K 
[ ]xboole_1__t27_xboole_12021-07-18 16:00 2.9K 
[ ]xboole_1__t28_xboole_12021-07-18 16:00 3.1K 
[ ]xboole_1__t29_xboole_12021-07-18 16:00 3.7K 
[ ]xboole_1__t30_xboole_12021-07-18 16:00 4.2K 
[ ]xboole_1__t31_xboole_12021-07-18 16:00 4.0K 
[ ]xboole_1__t32_xboole_12021-07-18 16:00 2.5K 
[ ]xboole_1__t33_xboole_12021-07-18 16:00 2.7K 
[ ]xboole_1__t34_xboole_12021-07-18 16:00 2.7K 
[ ]xboole_1__t35_xboole_12021-07-18 16:00 2.9K 
[ ]xboole_1__t36_xboole_12021-07-18 15:56 2.6K 
[ ]xboole_1__t37_xboole_12021-07-18 15:56 2.6K 
[ ]xboole_1__t38_xboole_12021-07-18 16:01 2.8K 
[ ]xboole_1__t39_xboole_12021-07-18 16:01 3.9K 
[ ]xboole_1__t40_xboole_12021-07-18 16:01 3.9K 
[ ]xboole_1__t41_xboole_12021-07-18 16:01 4.0K 
[ ]xboole_1__t42_xboole_12021-07-18 16:01 4.0K 
[ ]xboole_1__t43_xboole_12021-07-18 16:01 3.8K 
[ ]xboole_1__t44_xboole_12021-07-18 16:01 3.8K 
[ ]xboole_1__t45_xboole_12021-07-18 16:01 3.9K 
[ ]xboole_1__t46_xboole_12021-07-18 15:56 3.5K 
[ ]xboole_1__t47_xboole_12021-07-18 16:01 3.3K 
[ ]xboole_1__t48_xboole_12021-07-18 16:02 3.6K 
[ ]xboole_1__t49_xboole_12021-07-18 16:02 3.3K 
[ ]xboole_1__t50_xboole_12021-07-18 16:02 4.6K 
[ ]xboole_1__t51_xboole_12021-07-18 16:02 4.7K 
[ ]xboole_1__t52_xboole_12021-07-18 16:02 4.8K 
[ ]xboole_1__t53_xboole_12021-07-18 16:02 5.3K 
[ ]xboole_1__t54_xboole_12021-07-18 15:56 1.5K 
[ ]xboole_1__t55_xboole_12021-07-18 16:02 4.5K 
[ ]xboole_1__t56_xboole_12021-07-18 15:56 2.8K 
[ ]xboole_1__t57_xboole_12021-07-18 15:56 920  
[ ]xboole_1__t58_xboole_12021-07-18 16:02 2.7K 
[ ]xboole_1__t59_xboole_12021-07-18 15:56 2.8K 
[ ]xboole_1__t60_xboole_12021-07-18 16:02 2.5K 
[ ]xboole_1__t61_xboole_12021-07-18 16:02 2.5K 
[ ]xboole_1__t62_xboole_12021-07-18 15:56 2.6K 
[ ]xboole_1__t63_xboole_12021-07-18 15:57 3.3K 
[ ]xboole_1__t64_xboole_12021-07-18 16:03 3.2K 
[ ]xboole_1__t65_xboole_12021-07-18 15:57 2.5K 
[ ]xboole_1__t66_xboole_12021-07-18 15:57 2.6K 
[ ]xboole_1__t67_xboole_12021-07-18 15:57 3.3K 
[ ]xboole_1__t68_xboole_12021-07-18 16:03 3.5K 
[ ]xboole_1__t69_xboole_12021-07-18 15:57 3.2K 
[ ]xboole_1__t70_xboole_12021-07-18 16:03 4.2K 
[ ]xboole_1__t71_xboole_12021-07-18 16:03 4.7K 
[ ]xboole_1__t72_xboole_12021-07-18 16:03 4.4K 
[ ]xboole_1__t73_xboole_12021-07-18 16:03 4.4K 
[ ]xboole_1__t74_xboole_12021-07-18 16:03 3.2K 
[ ]xboole_1__t75_xboole_12021-07-18 16:03 3.2K 
[ ]xboole_1__t76_xboole_12021-07-18 16:03 2.8K 
[ ]xboole_1__t77_xboole_12021-07-18 16:03 3.4K 
[ ]xboole_1__t78_xboole_12021-07-18 16:04 3.7K 
[ ]xboole_1__t79_xboole_12021-07-18 16:04 3.6K 
[ ]xboole_1__t80_xboole_12021-07-18 16:04 3.6K 
[ ]xboole_1__t81_xboole_12021-07-18 16:04 3.2K 
[ ]xboole_1__t82_xboole_12021-07-18 16:04 3.5K 
[ ]xboole_1__t83_xboole_12021-07-18 16:04 4.3K 
[ ]xboole_1__t84_xboole_12021-07-18 16:04 3.3K 
[ ]xboole_1__t85_xboole_12021-07-18 16:04 3.7K 
[ ]xboole_1__t86_xboole_12021-07-18 16:04 3.9K 
[ ]xboole_1__t87_xboole_12021-07-18 16:05 4.3K 
[ ]xboole_1__t88_xboole_12021-07-18 16:05 4.7K 
[ ]xboole_1__t89_xboole_12021-07-18 16:05 3.8K 
[ ]xboole_1__t90_xboole_12021-07-18 16:05 3.3K 
[ ]xboole_1__t91_xboole_12021-07-18 16:05 3.1K 
[ ]xboole_1__t92_xboole_12021-07-18 15:57 4.0K 
[ ]xboole_1__t93_xboole_12021-07-18 16:05 2.3K 
[ ]xboole_1__t94_xboole_12021-07-18 16:05 5.0K 
[ ]xboole_1__t95_xboole_12021-07-18 16:05 5.8K 
[ ]xboole_1__t96_xboole_12021-07-18 15:57 4.0K 
[ ]xboole_1__t97_xboole_12021-07-18 15:57 4.1K 
[ ]xboole_1__t98_xboole_12021-07-18 16:05 5.3K 
[ ]xboole_1__t99_xboole_12021-07-18 16:05 1.9K 
[ ]xboole_1__t100_xboole_12021-07-18 16:05 4.9K 
[ ]xboole_1__t101_xboole_12021-07-18 15:57 1.9K 
[ ]xboole_1__t102_xboole_12021-07-18 16:06 2.5K 
[ ]xboole_1__t103_xboole_12021-07-18 15:57 4.5K 
[ ]xboole_1__t104_xboole_12021-07-18 15:57 1.5K 
[ ]xboole_1__t105_xboole_12021-07-18 15:58 3.2K 
[ ]xboole_1__t106_xboole_12021-07-18 16:06 4.1K 
[ ]xboole_1__t107_xboole_12021-07-18 16:06 5.5K 
[ ]xboole_1__t108_xboole_12021-07-18 16:06 2.7K 
[ ]xboole_1__t109_xboole_12021-07-18 16:06 2.5K 
[ ]xboole_1__t110_xboole_12021-07-18 16:06 4.3K 
[ ]xboole_1__t111_xboole_12021-07-18 16:06 4.5K 
[ ]xboole_1__t112_xboole_12021-07-18 16:06 2.2K 
[ ]xboole_1__t113_xboole_12021-07-18 16:06 1.0K 
[ ]xboole_1__t114_xboole_12021-07-18 16:06 3.9K 
[ ]xboole_1__t116_xboole_12021-07-18 16:06 1.0K 
[ ]xboole_1__t117_xboole_12021-07-18 16:07 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80