Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/prepower

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prepower__l11_prepower2017-01-13 00:41 109K 
[ ]prepower__l22_prepower2017-01-13 00:41 32K 
[ ]prepower__l37_prepower2017-01-13 00:41 204K 
[ ]prepower__l43_prepower2017-01-13 00:41 35K 
[ ]prepower__l57_prepower2017-01-13 00:41 47K 
[ ]prepower__l80_prepower2017-01-13 00:41 135K 
[ ]prepower__l82_prepower2017-01-13 00:41 192K 
[ ]prepower__l90_prepower2017-01-13 00:41 61K 
[ ]prepower__l91_prepower2017-01-13 00:41 45K 
[ ]prepower__l105_prepower2017-01-13 00:41 180K 
[ ]prepower__l107_prepower2017-01-13 00:41 99K 
[ ]prepower__l108_prepower2017-01-13 00:41 134K 
[ ]prepower__t1_prepower2017-01-13 00:41 66K 
[ ]prepower__t2_prepower2017-01-13 00:41 66K 
[ ]prepower__t3_prepower2017-01-13 00:41 66K 
[ ]prepower__t4_prepower2017-01-13 00:41 79K 
[ ]prepower__t5_prepower2017-01-13 00:41 42K 
[ ]prepower__t6_prepower2017-01-13 00:41 44K 
[ ]prepower__t7_prepower2017-01-13 00:41 73K 
[ ]prepower__t8_prepower2017-01-13 00:41 40K 
[ ]prepower__t9_prepower2017-01-13 00:41 70K 
[ ]prepower__t10_prepower2017-01-13 00:41 88K 
[ ]prepower__t11_prepower2017-01-13 00:41 31K 
[ ]prepower__t12_prepower2017-01-13 00:41 110K 
[ ]prepower__t13_prepower2017-01-13 00:41 265K 
[ ]prepower__t14_prepower2017-01-13 00:41 110K 
[ ]prepower__t15_prepower2017-01-13 00:41 265K 
[ ]prepower__t16_prepower2017-01-13 00:41 78K 
[ ]prepower__t17_prepower2017-01-13 00:41 105K 
[ ]prepower__t18_prepower2017-01-13 00:41 92K 
[ ]prepower__t19_prepower2017-01-13 00:41 90K 
[ ]prepower__t20_prepower2017-01-13 00:41 33K 
[ ]prepower__t21_prepower2017-01-13 00:41 68K 
[ ]prepower__t22_prepower2017-01-13 00:41 53K 
[ ]prepower__t23_prepower2017-01-13 00:41 46K 
[ ]prepower__t24_prepower2017-01-13 00:41 46K 
[ ]prepower__t25_prepower2017-01-13 00:41 38K 
[ ]prepower__t26_prepower2017-01-13 00:41 66K 
[ ]prepower__t27_prepower2017-01-13 00:41 32K 
[ ]prepower__t28_prepower2017-01-13 00:41 32K 
[ ]prepower__t29_prepower2017-01-13 00:41 33K 
[ ]prepower__t30_prepower2017-01-13 00:41 34K 
[ ]prepower__t31_prepower2017-01-13 00:41 88K 
[ ]prepower__t32_prepower2017-01-13 00:41 38K 
[ ]prepower__t33_prepower2017-01-13 00:41 126K 
[ ]prepower__t34_prepower2017-01-13 00:41 73K 
[ ]prepower__t35_prepower2017-01-13 00:41 77K 
[ ]prepower__t36_prepower2017-01-13 00:41 36K 
[ ]prepower__t37_prepower2017-01-13 00:41 47K 
[ ]prepower__t38_prepower2017-01-13 00:41 34K 
[ ]prepower__t39_prepower2017-01-13 00:41 34K 
[ ]prepower__t40_prepower2017-01-13 00:41 41K 
[ ]prepower__t41_prepower2017-01-13 00:41 85K 
[ ]prepower__t42_prepower2017-01-13 00:41 47K 
[ ]prepower__t43_prepower2017-01-13 00:41 85K 
[ ]prepower__t44_prepower2017-01-13 00:41 90K 
[ ]prepower__t45_prepower2017-01-13 00:41 68K 
[ ]prepower__t46_prepower2017-01-13 00:41 65K 
[ ]prepower__t47_prepower2017-01-13 00:41 32K 
[ ]prepower__t48_prepower2017-01-13 00:41 32K 
[ ]prepower__t49_prepower2017-01-13 00:41 33K 
[ ]prepower__t50_prepower2017-01-13 00:41 44K 
[ ]prepower__t51_prepower2017-01-13 00:41 32K 
[ ]prepower__t52_prepower2017-01-13 00:41 33K 
[ ]prepower__t53_prepower2017-01-13 00:41 97K 
[ ]prepower__t54_prepower2017-01-13 00:41 49K 
[ ]prepower__t55_prepower2017-01-13 00:41 63K 
[ ]prepower__t56_prepower2017-01-13 00:41 37K 
[ ]prepower__t57_prepower2017-01-13 00:41 50K 
[ ]prepower__t58_prepower2017-01-13 00:41 47K 
[ ]prepower__t59_prepower2017-01-13 00:41 72K 
[ ]prepower__t60_prepower2017-01-13 00:41 35K 
[ ]prepower__t61_prepower2017-01-13 00:41 48K 
[ ]prepower__t62_prepower2017-01-13 00:41 44K 
[ ]prepower__t63_prepower2017-01-13 00:41 85K 
[ ]prepower__t64_prepower2017-01-13 00:41 85K 
[ ]prepower__t65_prepower2017-01-13 00:41 46K 
[ ]prepower__t66_prepower2017-01-13 00:41 46K 
[ ]prepower__t67_prepower2017-01-13 00:41 195K 
[ ]prepower__t68_prepower2017-01-13 00:41 175K 
[ ]prepower__t69_prepower2017-01-13 00:41 131K 
[ ]prepower__t70_prepower2017-01-13 00:41 180K 
[ ]prepower__t71_prepower2017-01-13 00:41 72K 
[ ]prepower__t72_prepower2017-01-13 00:41 72K 
[ ]prepower__t73_prepower2017-01-13 00:41 68K 
[ ]prepower__t74_prepower2017-01-13 00:41 72K 
[ ]prepower__t75_prepower2017-01-13 00:41 120K 
[ ]prepower__t76_prepower2017-01-13 00:41 83K 
[ ]prepower__t77_prepower2017-01-13 00:41 62K 
[ ]prepower__t78_prepower2017-01-13 00:41 87K 
[ ]prepower__t79_prepower2017-01-13 00:41 63K 
[ ]prepower__t80_prepower2017-01-13 00:41 45K 
[ ]prepower__t81_prepower2017-01-13 00:41 29K 
[ ]prepower__t82_prepower2017-01-13 00:41 64K 
[ ]prepower__t83_prepower2017-01-13 00:41 65K 
[ ]prepower__t84_prepower2017-01-13 00:41 44K 
[ ]prepower__t85_prepower2017-01-13 00:41 62K 
[ ]prepower__t86_prepower2017-01-13 00:41 30K 
[ ]prepower__t87_prepower2017-01-13 00:41 46K 
[ ]prepower__t88_prepower2017-01-13 00:41 46K 
[ ]prepower__t89_prepower2017-01-13 00:41 115K 
[ ]prepower__t90_prepower2017-01-13 00:41 108K 
[ ]prepower__t91_prepower2017-01-13 00:41 98K 
[ ]prepower__t92_prepower2017-01-13 00:41 88K 
[ ]prepower__t93_prepower2017-01-13 00:41 60K 
[ ]prepower__t94_prepower2017-01-13 00:41 73K 
[ ]prepower__t95_prepower2017-01-13 00:41 25K 
[ ]prepower__t96_prepower2017-01-13 00:41 88K 
[ ]prepower__t97_prepower2017-01-13 00:41 49K 
[ ]prepower__t98_prepower2017-01-13 00:41 29K 
[ ]prepower__t99_prepower2017-01-13 00:41 33K 
[ ]prepower__t100_prepower2017-01-13 00:41 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80