Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/prepower

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prepower__l11_prepower2016-03-08 13:08 81K 
[ ]prepower__l22_prepower2016-03-08 13:08 21K 
[ ]prepower__l37_prepower2016-03-08 13:08 140K 
[ ]prepower__l43_prepower2016-03-08 13:08 24K 
[ ]prepower__l57_prepower2016-03-08 13:08 32K 
[ ]prepower__l80_prepower2016-03-08 13:08 99K 
[ ]prepower__l82_prepower2016-03-08 13:08 134K 
[ ]prepower__l90_prepower2016-03-08 13:08 40K 
[ ]prepower__l91_prepower2016-03-08 13:08 31K 
[ ]prepower__l105_prepower2016-03-08 13:08 127K 
[ ]prepower__l107_prepower2016-03-08 13:08 66K 
[ ]prepower__l108_prepower2016-03-08 13:08 98K 
[ ]prepower__t1_prepower2016-03-08 13:08 43K 
[ ]prepower__t2_prepower2016-03-08 13:08 43K 
[ ]prepower__t3_prepower2016-03-08 13:08 43K 
[ ]prepower__t4_prepower2016-03-08 13:08 53K 
[ ]prepower__t5_prepower2016-03-08 13:08 29K 
[ ]prepower__t6_prepower2016-03-08 13:08 29K 
[ ]prepower__t7_prepower2016-03-08 13:08 49K 
[ ]prepower__t8_prepower2016-03-08 13:08 27K 
[ ]prepower__t9_prepower2016-03-08 13:08 46K 
[ ]prepower__t10_prepower2016-03-08 13:08 62K 
[ ]prepower__t11_prepower2016-03-08 13:08 21K 
[ ]prepower__t12_prepower2016-03-08 13:08 81K 
[ ]prepower__t13_prepower2016-03-08 13:08 236K 
[ ]prepower__t14_prepower2016-03-08 13:08 81K 
[ ]prepower__t15_prepower2016-03-08 13:08 236K 
[ ]prepower__t16_prepower2016-03-08 13:08 52K 
[ ]prepower__t17_prepower2016-03-08 13:08 77K 
[ ]prepower__t18_prepower2016-03-08 13:08 59K 
[ ]prepower__t19_prepower2016-03-08 13:08 63K 
[ ]prepower__t20_prepower2016-03-08 13:08 22K 
[ ]prepower__t21_prepower2016-03-08 13:08 45K 
[ ]prepower__t22_prepower2016-03-08 13:08 36K 
[ ]prepower__t23_prepower2016-03-08 13:08 31K 
[ ]prepower__t24_prepower2016-03-08 13:08 31K 
[ ]prepower__t25_prepower2016-03-08 13:08 26K 
[ ]prepower__t26_prepower2016-03-08 13:08 48K 
[ ]prepower__t27_prepower2016-03-08 13:08 22K 
[ ]prepower__t28_prepower2016-03-08 13:08 22K 
[ ]prepower__t29_prepower2016-03-08 13:08 22K 
[ ]prepower__t30_prepower2016-03-08 13:08 23K 
[ ]prepower__t31_prepower2016-03-08 13:08 67K 
[ ]prepower__t32_prepower2016-03-08 13:08 26K 
[ ]prepower__t33_prepower2016-03-08 13:08 92K 
[ ]prepower__t34_prepower2016-03-08 13:08 49K 
[ ]prepower__t35_prepower2016-03-08 13:08 52K 
[ ]prepower__t36_prepower2016-03-08 13:08 24K 
[ ]prepower__t37_prepower2016-03-08 13:08 32K 
[ ]prepower__t38_prepower2016-03-08 13:08 23K 
[ ]prepower__t39_prepower2016-03-08 13:08 23K 
[ ]prepower__t40_prepower2016-03-08 13:08 27K 
[ ]prepower__t41_prepower2016-03-08 13:08 57K 
[ ]prepower__t42_prepower2016-03-08 13:08 32K 
[ ]prepower__t43_prepower2016-03-08 13:08 65K 
[ ]prepower__t44_prepower2016-03-08 13:08 69K 
[ ]prepower__t45_prepower2016-03-08 13:08 47K 
[ ]prepower__t46_prepower2016-03-08 13:08 45K 
[ ]prepower__t47_prepower2016-03-08 13:08 22K 
[ ]prepower__t48_prepower2016-03-08 13:08 21K 
[ ]prepower__t49_prepower2016-03-08 13:08 22K 
[ ]prepower__t50_prepower2016-03-08 13:08 30K 
[ ]prepower__t51_prepower2016-03-08 13:08 22K 
[ ]prepower__t52_prepower2016-03-08 13:08 22K 
[ ]prepower__t53_prepower2016-03-08 13:08 75K 
[ ]prepower__t54_prepower2016-03-08 13:08 34K 
[ ]prepower__t55_prepower2016-03-08 13:08 43K 
[ ]prepower__t56_prepower2016-03-08 13:08 25K 
[ ]prepower__t57_prepower2016-03-08 13:08 35K 
[ ]prepower__t58_prepower2016-03-08 13:08 32K 
[ ]prepower__t59_prepower2016-03-08 13:08 50K 
[ ]prepower__t60_prepower2016-03-08 13:08 24K 
[ ]prepower__t61_prepower2016-03-08 13:08 33K 
[ ]prepower__t62_prepower2016-03-08 13:08 30K 
[ ]prepower__t63_prepower2016-03-08 13:08 65K 
[ ]prepower__t64_prepower2016-03-08 13:08 65K 
[ ]prepower__t65_prepower2016-03-08 13:08 32K 
[ ]prepower__t66_prepower2016-03-08 13:08 32K 
[ ]prepower__t67_prepower2016-03-08 13:08 135K 
[ ]prepower__t68_prepower2016-03-08 13:08 114K 
[ ]prepower__t69_prepower2016-03-08 13:08 96K 
[ ]prepower__t70_prepower2016-03-08 13:08 126K 
[ ]prepower__t71_prepower2016-03-08 13:08 47K 
[ ]prepower__t72_prepower2016-03-08 13:08 47K 
[ ]prepower__t73_prepower2016-03-08 13:08 44K 
[ ]prepower__t74_prepower2016-03-08 13:08 47K 
[ ]prepower__t75_prepower2016-03-08 13:08 79K 
[ ]prepower__t76_prepower2016-03-08 13:08 64K 
[ ]prepower__t77_prepower2016-03-08 13:08 43K 
[ ]prepower__t78_prepower2016-03-08 13:08 56K 
[ ]prepower__t79_prepower2016-03-08 13:08 43K 
[ ]prepower__t80_prepower2016-03-08 13:08 30K 
[ ]prepower__t81_prepower2016-03-08 13:08 19K 
[ ]prepower__t82_prepower2016-03-08 13:08 42K 
[ ]prepower__t83_prepower2016-03-08 13:08 43K 
[ ]prepower__t84_prepower2016-03-08 13:08 30K 
[ ]prepower__t85_prepower2016-03-08 13:08 41K 
[ ]prepower__t86_prepower2016-03-08 13:08 20K 
[ ]prepower__t87_prepower2016-03-08 13:08 32K 
[ ]prepower__t88_prepower2016-03-08 13:08 32K 
[ ]prepower__t89_prepower2016-03-08 13:08 78K 
[ ]prepower__t90_prepower2016-03-08 13:08 73K 
[ ]prepower__t91_prepower2016-03-08 13:08 66K 
[ ]prepower__t92_prepower2016-03-08 13:08 68K 
[ ]prepower__t93_prepower2016-03-08 13:08 41K 
[ ]prepower__t94_prepower2016-03-08 13:08 55K 
[ ]prepower__t95_prepower2016-03-08 13:08 16K 
[ ]prepower__t96_prepower2016-03-08 13:08 67K 
[ ]prepower__t97_prepower2016-03-08 13:08 34K 
[ ]prepower__t98_prepower2016-03-08 13:08 19K 
[ ]prepower__t99_prepower2016-03-08 13:08 22K 
[ ]prepower__t100_prepower2016-03-08 13:08 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80