Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/rinfsup1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rinfsup1__l1_rinfsup12016-03-08 13:08 30K 
[ ]rinfsup1__l70_rinfsup12017-01-05 20:54 35K 
[ ]rinfsup1__l77_rinfsup12017-01-05 20:54 35K 
[ ]rinfsup1__t1_rinfsup12016-03-08 13:08 27K 
[ ]rinfsup1__t2_rinfsup12016-03-08 13:08 67K 
[ ]rinfsup1__t3_rinfsup12016-03-08 13:08 66K 
[ ]rinfsup1__t4_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t5_rinfsup12016-03-08 13:08 44K 
[ ]rinfsup1__t6_rinfsup12016-03-08 13:08 48K 
[ ]rinfsup1__t7_rinfsup12016-03-08 13:08 44K 
[ ]rinfsup1__t8_rinfsup12016-03-08 13:08 43K 
[ ]rinfsup1__t9_rinfsup12016-03-08 13:08 48K 
[ ]rinfsup1__t10_rinfsup12016-03-08 13:08 48K 
[ ]rinfsup1__t11_rinfsup12016-03-08 13:08 63K 
[ ]rinfsup1__t12_rinfsup12016-03-08 13:08 43K 
[ ]rinfsup1__t13_rinfsup12016-03-08 13:08 58K 
[ ]rinfsup1__t14_rinfsup12016-03-08 13:08 58K 
[ ]rinfsup1__t15_rinfsup12016-03-08 13:08 58K 
[ ]rinfsup1__t16_rinfsup12016-03-08 13:08 58K 
[ ]rinfsup1__t17_rinfsup12016-03-08 13:08 39K 
[ ]rinfsup1__t18_rinfsup12016-03-08 13:08 36K 
[ ]rinfsup1__t19_rinfsup12016-03-08 13:08 38K 
[ ]rinfsup1__t20_rinfsup12016-03-08 13:08 64K 
[ ]rinfsup1__t21_rinfsup12016-03-08 13:08 60K 
[ ]rinfsup1__t22_rinfsup12016-03-08 13:08 28K 
[ ]rinfsup1__t23_rinfsup12016-03-08 13:08 28K 
[ ]rinfsup1__t24_rinfsup12016-03-08 13:08 42K 
[ ]rinfsup1__t25_rinfsup12016-03-08 13:08 43K 
[ ]rinfsup1__t26_rinfsup12016-03-08 13:08 32K 
[ ]rinfsup1__t27_rinfsup12016-03-08 13:08 32K 
[ ]rinfsup1__t28_rinfsup12016-03-08 13:08 32K 
[ ]rinfsup1__t29_rinfsup12017-01-05 20:54 32K 
[ ]rinfsup1__t30_rinfsup12017-01-05 20:54 53K 
[ ]rinfsup1__t31_rinfsup12017-01-05 20:54 39K 
[ ]rinfsup1__t32_rinfsup12017-01-05 20:54 39K 
[ ]rinfsup1__t33_rinfsup12017-01-05 20:54 34K 
[ ]rinfsup1__t34_rinfsup12017-01-05 20:54 59K 
[ ]rinfsup1__t35_rinfsup12017-01-05 20:54 58K 
[ ]rinfsup1__t36_rinfsup12017-01-05 20:54 41K 
[ ]rinfsup1__t37_rinfsup12017-01-05 20:54 41K 
[ ]rinfsup1__t38_rinfsup12017-01-05 20:54 38K 
[ ]rinfsup1__t39_rinfsup12017-01-05 20:54 38K 
[ ]rinfsup1__t40_rinfsup12017-01-05 20:54 69K 
[ ]rinfsup1__t41_rinfsup12017-01-05 20:54 69K 
[ ]rinfsup1__t42_rinfsup12017-01-05 20:54 74K 
[ ]rinfsup1__t43_rinfsup12016-03-08 13:08 63K 
[ ]rinfsup1__t44_rinfsup12017-01-05 20:54 74K 
[ ]rinfsup1__t45_rinfsup12016-03-08 13:08 63K 
[ ]rinfsup1__t46_rinfsup12017-01-05 20:54 52K 
[ ]rinfsup1__t47_rinfsup12017-01-05 20:54 52K 
[ ]rinfsup1__t48_rinfsup12016-03-08 13:08 37K 
[ ]rinfsup1__t49_rinfsup12016-03-08 13:08 37K 
[ ]rinfsup1__t50_rinfsup12016-03-08 13:08 37K 
[ ]rinfsup1__t51_rinfsup12016-03-08 13:08 37K 
[ ]rinfsup1__t52_rinfsup12017-01-05 20:54 42K 
[ ]rinfsup1__t53_rinfsup12017-01-05 20:54 49K 
[ ]rinfsup1__t54_rinfsup12017-01-05 20:54 49K 
[ ]rinfsup1__t55_rinfsup12016-03-08 13:08 38K 
[ ]rinfsup1__t56_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t57_rinfsup12016-03-08 13:08 34K 
[ ]rinfsup1__t58_rinfsup12016-03-08 13:08 34K 
[ ]rinfsup1__t59_rinfsup12016-03-08 13:08 62K 
[ ]rinfsup1__t60_rinfsup12016-03-08 13:08 62K 
[ ]rinfsup1__t61_rinfsup12016-03-08 13:08 48K 
[ ]rinfsup1__t62_rinfsup12016-03-08 13:08 48K 
[ ]rinfsup1__t63_rinfsup12017-01-05 20:54 39K 
[ ]rinfsup1__t64_rinfsup12016-03-08 13:08 33K 
[ ]rinfsup1__t65_rinfsup12017-01-05 20:54 46K 
[ ]rinfsup1__t66_rinfsup12016-03-08 13:08 39K 
[ ]rinfsup1__t67_rinfsup12016-03-08 13:08 44K 
[ ]rinfsup1__t68_rinfsup12016-03-08 13:08 41K 
[ ]rinfsup1__t69_rinfsup12017-01-05 20:54 39K 
[ ]rinfsup1__t70_rinfsup12016-03-08 13:08 33K 
[ ]rinfsup1__t71_rinfsup12017-01-05 20:54 44K 
[ ]rinfsup1__t72_rinfsup12016-03-08 13:08 39K 
[ ]rinfsup1__t73_rinfsup12016-03-08 13:08 44K 
[ ]rinfsup1__t74_rinfsup12016-03-08 13:08 41K 
[ ]rinfsup1__t75_rinfsup12017-01-05 20:54 49K 
[ ]rinfsup1__t76_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t77_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t78_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t79_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t80_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t81_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t82_rinfsup12016-03-08 13:08 54K 
[ ]rinfsup1__t83_rinfsup12016-03-08 13:08 50K 
[ ]rinfsup1__t84_rinfsup12016-03-08 13:08 53K 
[ ]rinfsup1__t85_rinfsup12016-03-08 13:08 54K 
[ ]rinfsup1__t86_rinfsup12016-03-08 13:08 50K 
[ ]rinfsup1__t87_rinfsup12016-03-08 13:08 36K 
[ ]rinfsup1__t88_rinfsup12016-03-08 13:08 85K 
[ ]rinfsup1__t89_rinfsup12016-03-08 13:08 55K 
[ ]rinfsup1__t90_rinfsup12016-03-08 13:08 72K 
[ ]rinfsup1__t91_rinfsup12016-03-08 13:08 46K 
[ ]rinfsup1__t92_rinfsup12016-03-08 13:08 123K 
[ ]rinfsup1__t93_rinfsup12016-03-08 13:08 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80