Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/fvaluat1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fvaluat1__l4_fvaluat12017-01-13 17:44 92K 
[ ]fvaluat1__l5_fvaluat12017-01-13 17:44 74K 
[ ]fvaluat1__l23_fvaluat12017-01-13 17:44 89K 
[ ]fvaluat1__l25_fvaluat12017-01-13 17:44 99K 
[ ]fvaluat1__l44_fvaluat12017-01-13 17:44 60K 
[ ]fvaluat1__l47_fvaluat12017-01-13 17:44 75K 
[ ]fvaluat1__l50_fvaluat12017-01-13 17:44 71K 
[ ]fvaluat1__l78_fvaluat12017-01-13 17:44 86K 
[ ]fvaluat1__l79_fvaluat12017-01-13 17:44 86K 
[ ]fvaluat1__l82_fvaluat12017-01-13 17:44 107K 
[ ]fvaluat1__l92_fvaluat12017-01-13 17:44 106K 
[ ]fvaluat1__t1_fvaluat12017-01-13 17:44 80K 
[ ]fvaluat1__t2_fvaluat12017-01-13 17:44 46K 
[ ]fvaluat1__t3_fvaluat12017-01-13 17:44 44K 
[ ]fvaluat1__t4_fvaluat12017-01-13 17:44 77K 
[ ]fvaluat1__t5_fvaluat12017-01-13 17:44 77K 
[ ]fvaluat1__t6_fvaluat12017-01-13 17:44 77K 
[ ]fvaluat1__t7_fvaluat12017-01-13 17:44 73K 
[ ]fvaluat1__t8_fvaluat12017-01-13 17:44 55K 
[ ]fvaluat1__t9_fvaluat12017-01-13 17:44 53K 
[ ]fvaluat1__t10_fvaluat12017-01-13 17:44 53K 
[ ]fvaluat1__t11_fvaluat12017-01-13 17:44 25K 
[ ]fvaluat1__t12_fvaluat12017-01-13 17:44 72K 
[ ]fvaluat1__t13_fvaluat12017-01-13 17:44 100K 
[ ]fvaluat1__t14_fvaluat12017-01-13 17:44 102K 
[ ]fvaluat1__t15_fvaluat12017-01-13 17:44 92K 
[ ]fvaluat1__t16_fvaluat12017-01-13 17:44 120K 
[ ]fvaluat1__t17_fvaluat12017-01-13 17:44 161K 
[ ]fvaluat1__t18_fvaluat12017-01-13 17:44 107K 
[ ]fvaluat1__t19_fvaluat12017-01-13 17:44 112K 
[ ]fvaluat1__t20_fvaluat12017-01-13 17:44 112K 
[ ]fvaluat1__t21_fvaluat12017-01-13 17:44 169K 
[ ]fvaluat1__t22_fvaluat12017-01-13 17:44 128K 
[ ]fvaluat1__t23_fvaluat12017-01-13 17:44 117K 
[ ]fvaluat1__t24_fvaluat12017-01-13 17:44 173K 
[ ]fvaluat1__t25_fvaluat12017-01-13 17:44 100K 
[ ]fvaluat1__t26_fvaluat12017-01-13 17:44 117K 
[ ]fvaluat1__t27_fvaluat12017-01-13 17:44 125K 
[ ]fvaluat1__t28_fvaluat12017-01-13 17:44 99K 
[ ]fvaluat1__t29_fvaluat12017-01-13 17:44 165K 
[ ]fvaluat1__t30_fvaluat12017-01-13 17:44 87K 
[ ]fvaluat1__t31_fvaluat12017-01-13 17:44 89K 
[ ]fvaluat1__t32_fvaluat12017-01-13 17:44 125K 
[ ]fvaluat1__t33_fvaluat12017-01-13 17:44 110K 
[ ]fvaluat1__t34_fvaluat12017-01-13 17:44 89K 
[ ]fvaluat1__t35_fvaluat12017-01-13 17:44 137K 
[ ]fvaluat1__t36_fvaluat12017-01-13 17:44 163K 
[ ]fvaluat1__t37_fvaluat12017-01-13 17:44 84K 
[ ]fvaluat1__t38_fvaluat12017-01-13 17:44 89K 
[ ]fvaluat1__t39_fvaluat12017-01-13 17:44 85K 
[ ]fvaluat1__t40_fvaluat12017-01-13 17:44 116K 
[ ]fvaluat1__t41_fvaluat12017-01-13 17:44 77K 
[ ]fvaluat1__t42_fvaluat12017-01-13 17:44 85K 
[ ]fvaluat1__t43_fvaluat12017-01-13 17:44 92K 
[ ]fvaluat1__t44_fvaluat12017-01-13 17:44 104K 
[ ]fvaluat1__t45_fvaluat12017-01-13 17:44 87K 
[ ]fvaluat1__t46_fvaluat12017-01-13 17:44 89K 
[ ]fvaluat1__t47_fvaluat12017-01-13 17:44 71K 
[ ]fvaluat1__t48_fvaluat12017-01-13 17:44 70K 
[ ]fvaluat1__t49_fvaluat12017-01-13 17:44 103K 
[ ]fvaluat1__t50_fvaluat12017-01-13 17:44 78K 
[ ]fvaluat1__t51_fvaluat12017-01-13 17:44 97K 
[ ]fvaluat1__t52_fvaluat12017-01-13 17:44 98K 
[ ]fvaluat1__t53_fvaluat12017-01-13 17:44 100K 
[ ]fvaluat1__t54_fvaluat12017-01-13 17:44 113K 
[ ]fvaluat1__t55_fvaluat12017-01-13 17:44 113K 
[ ]fvaluat1__t56_fvaluat12017-01-13 17:44 96K 
[ ]fvaluat1__t57_fvaluat12017-01-13 17:44 96K 
[ ]fvaluat1__t58_fvaluat12017-01-13 17:44 117K 
[ ]fvaluat1__t59_fvaluat12017-01-13 17:44 118K 
[ ]fvaluat1__t60_fvaluat12017-01-13 17:44 127K 
[ ]fvaluat1__t61_fvaluat12017-01-13 17:44 96K 
[ ]fvaluat1__t62_fvaluat12017-01-13 17:44 98K 
[ ]fvaluat1__t63_fvaluat12017-01-13 17:44 98K 
[ ]fvaluat1__t64_fvaluat12017-01-13 17:44 97K 
[ ]fvaluat1__t65_fvaluat12017-01-13 17:44 107K 
[ ]fvaluat1__t66_fvaluat12017-01-13 17:44 170K 
[ ]fvaluat1__t67_fvaluat12017-01-13 17:44 72K 
[ ]fvaluat1__t68_fvaluat12017-01-13 17:44 99K 
[ ]fvaluat1__t69_fvaluat12017-01-13 17:44 104K 
[ ]fvaluat1__t70_fvaluat12017-01-13 17:44 91K 
[ ]fvaluat1__t71_fvaluat12017-01-13 17:44 99K 
[ ]fvaluat1__t72_fvaluat12017-01-13 17:44 131K 
[ ]fvaluat1__t73_fvaluat12017-01-13 17:44 100K 
[ ]fvaluat1__t74_fvaluat12017-01-13 17:44 136K 
[ ]fvaluat1__t75_fvaluat12017-01-13 17:44 98K 
[ ]fvaluat1__t76_fvaluat12017-01-13 17:44 104K 
[ ]fvaluat1__t77_fvaluat12017-01-13 17:44 99K 
[ ]fvaluat1__t78_fvaluat12017-01-13 17:44 133K 
[ ]fvaluat1__t79_fvaluat12017-01-13 17:44 96K 
[ ]fvaluat1__t80_fvaluat12017-01-13 17:44 114K 
[ ]fvaluat1__t81_fvaluat12017-01-13 17:44 113K 
[ ]fvaluat1__t82_fvaluat12017-01-13 17:44 78K 
[ ]fvaluat1__t83_fvaluat12017-01-13 17:44 98K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80