Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/xboole_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboole_1__l32_xboole_12017-01-13 19:11 2.5K 
[ ]xboole_1__l36_xboole_12017-01-13 19:11 5.1K 
[ ]xboole_1__l58_xboole_12017-01-13 19:11 1.4K 
[ ]xboole_1__l97_xboole_12017-01-13 19:11 2.4K 
[ ]xboole_1__l98_xboole_12017-01-13 19:11 2.2K 
[ ]xboole_1__t1_xboole_12017-01-13 19:11 1.8K 
[ ]xboole_1__t2_xboole_12017-01-13 19:11 1.7K 
[ ]xboole_1__t3_xboole_12017-01-13 19:11 1.8K 
[ ]xboole_1__t4_xboole_12017-01-13 19:11 3.1K 
[ ]xboole_1__t5_xboole_12017-01-13 19:11 1.0K 
[ ]xboole_1__t6_xboole_12017-01-13 19:11 956  
[ ]xboole_1__t7_xboole_12017-01-13 19:11 2.8K 
[ ]xboole_1__t8_xboole_12017-01-13 19:11 2.9K 
[ ]xboole_1__t9_xboole_12017-01-13 19:11 2.9K 
[ ]xboole_1__t10_xboole_12017-01-13 19:11 1.2K 
[ ]xboole_1__t11_xboole_12017-01-13 19:11 1.2K 
[ ]xboole_1__t12_xboole_12017-01-13 19:11 3.0K 
[ ]xboole_1__t13_xboole_12017-01-13 19:11 2.9K 
[ ]xboole_1__t14_xboole_12017-01-13 19:11 1.5K 
[ ]xboole_1__t15_xboole_12017-01-13 19:11 2.3K 
[ ]xboole_1__t16_xboole_12017-01-13 19:11 2.8K 
[ ]xboole_1__t17_xboole_12017-01-13 19:11 2.5K 
[ ]xboole_1__t18_xboole_12017-01-13 19:11 1.2K 
[ ]xboole_1__t19_xboole_12017-01-13 19:11 2.6K 
[ ]xboole_1__t20_xboole_12017-01-13 19:11 1.5K 
[ ]xboole_1__t21_xboole_12017-01-13 19:11 3.8K 
[ ]xboole_1__t22_xboole_12017-01-13 19:11 3.8K 
[ ]xboole_1__t23_xboole_12017-01-13 19:11 3.9K 
[ ]xboole_1__t24_xboole_12017-01-13 19:11 3.9K 
[ ]xboole_1__t25_xboole_12017-01-13 19:11 2.2K 
[ ]xboole_1__t26_xboole_12017-01-13 19:11 2.6K 
[ ]xboole_1__t27_xboole_12017-01-13 19:11 2.6K 
[ ]xboole_1__t28_xboole_12017-01-13 19:11 2.8K 
[ ]xboole_1__t29_xboole_12017-01-13 19:11 1.7K 
[ ]xboole_1__t30_xboole_12017-01-13 19:11 3.9K 
[ ]xboole_1__t31_xboole_12017-01-13 19:11 3.7K 
[ ]xboole_1__t32_xboole_12017-01-13 19:11 2.2K 
[ ]xboole_1__t33_xboole_12017-01-13 19:11 2.4K 
[ ]xboole_1__t34_xboole_12017-01-13 19:11 2.4K 
[ ]xboole_1__t35_xboole_12017-01-13 19:11 1.3K 
[ ]xboole_1__t36_xboole_12017-01-13 19:11 2.3K 
[ ]xboole_1__t37_xboole_12017-01-13 19:11 2.1K 
[ ]xboole_1__t38_xboole_12017-01-13 19:11 2.6K 
[ ]xboole_1__t39_xboole_12017-01-13 19:11 3.6K 
[ ]xboole_1__t40_xboole_12017-01-13 19:11 3.6K 
[ ]xboole_1__t41_xboole_12017-01-13 19:11 3.7K 
[ ]xboole_1__t42_xboole_12017-01-13 19:11 3.7K 
[ ]xboole_1__t43_xboole_12017-01-13 19:11 3.5K 
[ ]xboole_1__t44_xboole_12017-01-13 19:11 3.5K 
[ ]xboole_1__t45_xboole_12017-01-13 19:11 3.7K 
[ ]xboole_1__t46_xboole_12017-01-13 19:11 3.1K 
[ ]xboole_1__t47_xboole_12017-01-13 19:11 3.0K 
[ ]xboole_1__t48_xboole_12017-01-13 19:11 3.3K 
[ ]xboole_1__t49_xboole_12017-01-13 19:11 3.0K 
[ ]xboole_1__t50_xboole_12017-01-13 19:11 4.1K 
[ ]xboole_1__t51_xboole_12017-01-13 19:11 4.4K 
[ ]xboole_1__t52_xboole_12017-01-13 19:11 4.5K 
[ ]xboole_1__t53_xboole_12017-01-13 19:11 5.1K 
[ ]xboole_1__t54_xboole_12017-01-13 19:11 1.6K 
[ ]xboole_1__t55_xboole_12017-01-13 19:11 4.2K 
[ ]xboole_1__t56_xboole_12017-01-13 19:11 1.2K 
[ ]xboole_1__t57_xboole_12017-01-13 19:11 634  
[ ]xboole_1__t58_xboole_12017-01-13 19:11 1.4K 
[ ]xboole_1__t59_xboole_12017-01-13 19:11 1.0K 
[ ]xboole_1__t60_xboole_12017-01-13 19:11 1.1K 
[ ]xboole_1__t61_xboole_12017-01-13 19:11 2.2K 
[ ]xboole_1__t62_xboole_12017-01-13 19:11 2.2K 
[ ]xboole_1__t63_xboole_12017-01-13 19:11 2.8K 
[ ]xboole_1__t64_xboole_12017-01-13 19:11 950  
[ ]xboole_1__t65_xboole_12017-01-13 19:11 1.9K 
[ ]xboole_1__t66_xboole_12017-01-13 19:11 2.7K 
[ ]xboole_1__t67_xboole_12017-01-13 19:11 2.9K 
[ ]xboole_1__t68_xboole_12017-01-13 19:11 2.5K 
[ ]xboole_1__t69_xboole_12017-01-13 19:11 2.0K 
[ ]xboole_1__t70_xboole_12017-01-13 19:11 3.2K 
[ ]xboole_1__t71_xboole_12017-01-13 19:11 4.4K 
[ ]xboole_1__t72_xboole_12017-01-13 19:11 4.0K 
[ ]xboole_1__t73_xboole_12017-01-13 19:11 3.9K 
[ ]xboole_1__t74_xboole_12017-01-13 19:11 2.7K 
[ ]xboole_1__t75_xboole_12017-01-13 19:11 2.7K 
[ ]xboole_1__t76_xboole_12017-01-13 19:11 1.2K 
[ ]xboole_1__t77_xboole_12017-01-13 19:11 2.9K 
[ ]xboole_1__t78_xboole_12017-01-13 19:11 3.5K 
[ ]xboole_1__t79_xboole_12017-01-13 19:11 3.3K 
[ ]xboole_1__t80_xboole_12017-01-13 19:11 2.6K 
[ ]xboole_1__t81_xboole_12017-01-13 19:11 2.9K 
[ ]xboole_1__t82_xboole_12017-01-13 19:11 2.5K 
[ ]xboole_1__t83_xboole_12017-01-13 19:11 4.0K 
[ ]xboole_1__t84_xboole_12017-01-13 19:11 3.0K 
[ ]xboole_1__t85_xboole_12017-01-13 19:11 3.2K 
[ ]xboole_1__t86_xboole_12017-01-13 19:11 3.6K 
[ ]xboole_1__t87_xboole_12017-01-13 19:11 1.5K 
[ ]xboole_1__t88_xboole_12017-01-13 19:11 3.6K 
[ ]xboole_1__t89_xboole_12017-01-13 19:11 3.3K 
[ ]xboole_1__t90_xboole_12017-01-13 19:11 1.3K 
[ ]xboole_1__t91_xboole_12017-01-13 19:11 3.2K 
[ ]xboole_1__t92_xboole_12017-01-13 19:11 3.5K 
[ ]xboole_1__t93_xboole_12017-01-13 19:11 2.3K 
[ ]xboole_1__t94_xboole_12017-01-13 19:11 2.5K 
[ ]xboole_1__t95_xboole_12017-01-13 19:11 5.2K 
[ ]xboole_1__t96_xboole_12017-01-13 19:11 1.6K 
[ ]xboole_1__t97_xboole_12017-01-13 19:11 1.8K 
[ ]xboole_1__t98_xboole_12017-01-13 19:11 2.8K 
[ ]xboole_1__t99_xboole_12017-01-13 19:11 1.9K 
[ ]xboole_1__t100_xboole_12017-01-13 19:11 4.4K 
[ ]xboole_1__t101_xboole_12017-01-13 19:11 2.0K 
[ ]xboole_1__t102_xboole_12017-01-13 19:11 2.5K 
[ ]xboole_1__t103_xboole_12017-01-13 19:11 2.1K 
[ ]xboole_1__t104_xboole_12017-01-13 19:11 1.5K 
[ ]xboole_1__t105_xboole_12017-01-13 19:11 2.6K 
[ ]xboole_1__t106_xboole_12017-01-13 19:11 3.3K 
[ ]xboole_1__t107_xboole_12017-01-13 19:11 2.8K 
[ ]xboole_1__t108_xboole_12017-01-13 19:11 1.2K 
[ ]xboole_1__t109_xboole_12017-01-13 19:11 945  
[ ]xboole_1__t110_xboole_12017-01-13 19:11 1.9K 
[ ]xboole_1__t111_xboole_12017-01-13 19:11 4.0K 
[ ]xboole_1__t112_xboole_12017-01-13 19:11 2.3K 
[ ]xboole_1__t113_xboole_12017-01-13 19:11 1.0K 
[ ]xboole_1__t114_xboole_12017-01-13 19:11 1.4K 
[ ]xboole_1__t115_xboole_12017-01-13 19:11 2.2K 
[ ]xboole_1__t116_xboole_12017-01-13 19:11 1.0K 
[ ]xboole_1__t117_xboole_12017-01-13 19:11 5.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80