Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/xboole_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboole_1__l32_xboole_12019-08-28 15:51 15K 
[ ]xboole_1__l36_xboole_12019-08-28 15:51 22K 
[ ]xboole_1__l58_xboole_12019-08-28 15:52 8.2K 
[ ]xboole_1__l97_xboole_12019-08-28 15:52 7.1K 
[ ]xboole_1__l98_xboole_12019-08-28 15:52 8.7K 
[ ]xboole_1__t1_xboole_12019-08-28 15:50 11K 
[ ]xboole_1__t2_xboole_12019-08-28 15:50 5.4K 
[ ]xboole_1__t3_xboole_12019-08-28 15:51 5.0K 
[ ]xboole_1__t4_xboole_12019-08-28 15:51 22K 
[ ]xboole_1__t5_xboole_12019-08-28 15:51 9.4K 
[ ]xboole_1__t6_xboole_12019-08-28 15:51 6.0K 
[ ]xboole_1__t7_xboole_12019-08-28 15:51 8.6K 
[ ]xboole_1__t8_xboole_12019-08-28 15:51 13K 
[ ]xboole_1__t9_xboole_12019-08-28 15:51 14K 
[ ]xboole_1__t10_xboole_12019-08-28 15:51 6.9K 
[ ]xboole_1__t11_xboole_12019-08-28 15:51 6.9K 
[ ]xboole_1__t12_xboole_12019-08-28 15:51 15K 
[ ]xboole_1__t13_xboole_12019-08-28 15:51 18K 
[ ]xboole_1__t14_xboole_12019-08-28 15:51 11K 
[ ]xboole_1__t15_xboole_12019-08-28 15:51 3.4K 
[ ]xboole_1__t16_xboole_12019-08-28 15:51 24K 
[ ]xboole_1__t17_xboole_12019-08-28 15:51 8.3K 
[ ]xboole_1__t18_xboole_12019-08-28 15:51 6.9K 
[ ]xboole_1__t19_xboole_12019-08-28 15:51 13K 
[ ]xboole_1__t20_xboole_12019-08-28 15:51 12K 
[ ]xboole_1__t21_xboole_12019-08-28 15:51 16K 
[ ]xboole_1__t22_xboole_12019-08-28 15:51 16K 
[ ]xboole_1__t23_xboole_12019-08-28 15:51 26K 
[ ]xboole_1__t24_xboole_12019-08-28 15:51 26K 
[ ]xboole_1__t25_xboole_12019-08-28 15:51 21K 
[ ]xboole_1__t26_xboole_12019-08-28 15:51 14K 
[ ]xboole_1__t27_xboole_12019-08-28 15:51 18K 
[ ]xboole_1__t28_xboole_12019-08-28 15:51 12K 
[ ]xboole_1__t29_xboole_12019-08-28 15:51 7.7K 
[ ]xboole_1__t30_xboole_12019-08-28 15:51 27K 
[ ]xboole_1__t31_xboole_12019-08-28 15:51 17K 
[ ]xboole_1__t32_xboole_12019-08-28 15:51 11K 
[ ]xboole_1__t33_xboole_12019-08-28 15:51 14K 
[ ]xboole_1__t34_xboole_12019-08-28 15:51 14K 
[ ]xboole_1__t35_xboole_12019-08-28 15:51 11K 
[ ]xboole_1__t36_xboole_12019-08-28 15:51 8.0K 
[ ]xboole_1__t37_xboole_12019-08-28 15:51 3.1K 
[ ]xboole_1__t38_xboole_12019-08-28 15:51 12K 
[ ]xboole_1__t39_xboole_12019-08-28 15:51 19K 
[ ]xboole_1__t40_xboole_12019-08-28 15:51 20K 
[ ]xboole_1__t41_xboole_12019-08-28 15:51 26K 
[ ]xboole_1__t42_xboole_12019-08-28 15:51 24K 
[ ]xboole_1__t43_xboole_12019-08-28 15:51 15K 
[ ]xboole_1__t44_xboole_12019-08-28 15:51 15K 
[ ]xboole_1__t45_xboole_12019-08-28 15:51 13K 
[ ]xboole_1__t46_xboole_12019-08-28 15:51 8.1K 
[ ]xboole_1__t47_xboole_12019-08-28 15:51 12K 
[ ]xboole_1__t48_xboole_12019-08-28 15:51 20K 
[ ]xboole_1__t49_xboole_12019-08-28 15:51 16K 
[ ]xboole_1__t50_xboole_12019-08-28 15:51 15K 
[ ]xboole_1__t51_xboole_12019-08-28 15:51 20K 
[ ]xboole_1__t52_xboole_12019-08-28 15:51 26K 
[ ]xboole_1__t53_xboole_12019-08-28 15:52 22K 
[ ]xboole_1__t54_xboole_12019-08-28 15:52 2.1K 
[ ]xboole_1__t55_xboole_12019-08-28 15:52 24K 
[ ]xboole_1__t56_xboole_12019-08-28 15:52 7.8K 
[ ]xboole_1__t57_xboole_12019-08-28 15:52 781  
[ ]xboole_1__t58_xboole_12019-08-28 15:52 8.2K 
[ ]xboole_1__t59_xboole_12019-08-28 15:52 1.3K 
[ ]xboole_1__t60_xboole_12019-08-28 15:52 5.5K 
[ ]xboole_1__t61_xboole_12019-08-28 15:52 6.2K 
[ ]xboole_1__t62_xboole_12019-08-28 15:52 5.7K 
[ ]xboole_1__t63_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t64_xboole_12019-08-28 15:52 10K 
[ ]xboole_1__t65_xboole_12019-08-28 15:52 5.1K 
[ ]xboole_1__t66_xboole_12019-08-28 15:52 9.5K 
[ ]xboole_1__t67_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t68_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t69_xboole_12019-08-28 15:52 2.9K 
[ ]xboole_1__t70_xboole_12019-08-28 15:52 27K 
[ ]xboole_1__t71_xboole_12019-08-28 15:52 24K 
[ ]xboole_1__t72_xboole_12019-08-28 15:52 19K 
[ ]xboole_1__t73_xboole_12019-08-28 15:52 14K 
[ ]xboole_1__t74_xboole_12019-08-28 15:52 12K 
[ ]xboole_1__t75_xboole_12019-08-28 15:52 10K 
[ ]xboole_1__t76_xboole_12019-08-28 15:52 8.0K 
[ ]xboole_1__t77_xboole_12019-08-28 15:52 14K 
[ ]xboole_1__t78_xboole_12019-08-28 15:52 13K 
[ ]xboole_1__t79_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t80_xboole_12019-08-28 15:52 12K 
[ ]xboole_1__t81_xboole_12019-08-28 15:52 12K 
[ ]xboole_1__t82_xboole_12019-08-28 15:52 10K 
[ ]xboole_1__t83_xboole_12019-08-28 15:52 19K 
[ ]xboole_1__t84_xboole_12019-08-28 15:52 13K 
[ ]xboole_1__t85_xboole_12019-08-28 15:52 13K 
[ ]xboole_1__t86_xboole_12019-08-28 15:52 15K 
[ ]xboole_1__t87_xboole_12019-08-28 15:52 9.9K 
[ ]xboole_1__t88_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t89_xboole_12019-08-28 15:52 12K 
[ ]xboole_1__t90_xboole_12019-08-28 15:52 5.5K 
[ ]xboole_1__t91_xboole_12019-08-28 15:52 27K 
[ ]xboole_1__t92_xboole_12019-08-28 15:52 5.1K 
[ ]xboole_1__t93_xboole_12019-08-28 15:52 10K 
[ ]xboole_1__t94_xboole_12019-08-28 15:52 8.6K 
[ ]xboole_1__t95_xboole_12019-08-28 15:52 14K 
[ ]xboole_1__t96_xboole_12019-08-28 15:52 2.1K 
[ ]xboole_1__t97_xboole_12019-08-28 15:52 2.3K 
[ ]xboole_1__t98_xboole_12019-08-28 15:52 10K 
[ ]xboole_1__t99_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t100_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t101_xboole_12019-08-28 15:52 2.6K 
[ ]xboole_1__t102_xboole_12019-08-28 15:52 12K 
[ ]xboole_1__t103_xboole_12019-08-28 15:52 2.8K 
[ ]xboole_1__t104_xboole_12019-08-28 15:52 9.9K 
[ ]xboole_1__t105_xboole_12019-08-28 15:52 7.9K 
[ ]xboole_1__t106_xboole_12019-08-28 15:52 16K 
[ ]xboole_1__t107_xboole_12019-08-28 15:52 11K 
[ ]xboole_1__t108_xboole_12019-08-28 15:52 7.1K 
[ ]xboole_1__t109_xboole_12019-08-28 15:52 6.6K 
[ ]xboole_1__t110_xboole_12019-08-28 15:52 9.3K 
[ ]xboole_1__t111_xboole_12019-08-28 15:52 15K 
[ ]xboole_1__t112_xboole_12019-08-28 15:52 12K 
[ ]xboole_1__t113_xboole_12019-08-28 15:52 13K 
[ ]xboole_1__t114_xboole_12019-08-28 15:52 9.5K 
[ ]xboole_1__t115_xboole_12019-08-28 15:52 5.7K 
[ ]xboole_1__t116_xboole_12019-08-28 15:52 9.2K 
[ ]xboole_1__t117_xboole_12019-08-28 15:52 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80