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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]diff_2__t1_diff_22017-01-13 00:30 76K 
[   ]diff_2__t2_diff_22017-01-13 00:30 104K 
[   ]diff_2__t3_diff_22017-01-13 00:30 75K 
[   ]diff_2__t4_diff_22017-01-13 00:30 225K 
[   ]diff_2__t5_diff_22017-01-13 00:30 62K 
[   ]diff_2__t6_diff_22017-01-13 00:30 68K 
[   ]diff_2__t7_diff_22017-01-13 00:30 102K 
[   ]diff_2__t8_diff_22017-01-13 00:30 64K 
[   ]diff_2__t9_diff_22017-01-13 00:30 69K 
[   ]diff_2__t10_diff_22017-01-13 00:30 104K 
[   ]diff_2__t11_diff_22017-01-13 00:30 66K 
[   ]diff_2__t12_diff_22017-01-13 00:30 71K 
[   ]diff_2__t13_diff_22017-01-13 00:30 106K 
[   ]diff_2__t14_diff_22017-01-13 00:30 68K 
[   ]diff_2__t15_diff_22017-01-13 00:30 73K 
[   ]diff_2__t16_diff_22017-01-13 00:30 108K 
[   ]diff_2__t17_diff_22017-01-13 00:30 81K 
[   ]diff_2__t18_diff_22017-01-13 00:30 85K 
[   ]diff_2__t19_diff_22017-01-13 00:30 84K 
[   ]diff_2__t20_diff_22017-01-13 00:30 58K 
[   ]diff_2__t21_diff_22017-01-13 00:30 78K 
[   ]diff_2__t22_diff_22017-01-13 00:30 56K 
[   ]diff_2__t23_diff_22017-01-13 00:30 59K 
[   ]diff_2__t24_diff_22017-01-13 00:30 70K 
[   ]diff_2__t25_diff_22017-01-13 00:30 75K 
[   ]diff_2__t26_diff_22017-01-13 00:30 144K 
[   ]diff_2__t27_diff_22017-01-13 00:30 78K 
[   ]diff_2__t28_diff_22017-01-13 00:30 81K 
[   ]diff_2__t29_diff_22017-01-13 00:30 67K 
[   ]diff_2__t30_diff_22017-01-13 00:30 71K 
[   ]diff_2__t31_diff_22017-01-13 00:30 88K 
[   ]diff_2__t32_diff_22017-01-13 00:31 88K 
[   ]diff_2__t33_diff_22017-01-13 00:31 212K 
[   ]diff_2__t34_diff_22017-01-13 00:31 78K 
[   ]diff_2__t35_diff_22017-01-13 00:31 82K 
[   ]diff_2__t36_diff_22017-01-13 00:31 83K 
[   ]diff_2__t37_diff_22017-01-13 00:31 86K 
[   ]diff_2__t38_diff_22017-01-13 00:30 66K 
[   ]diff_2__t39_diff_22017-01-13 00:30 64K 
[   ]diff_2__t40_diff_22017-01-13 00:31 213K 
[   ]diff_2__t41_diff_22017-01-13 00:31 69K 
[   ]diff_2__t42_diff_22017-01-13 00:31 90K 
[   ]diff_2__t43_diff_22017-01-13 00:31 144K 
[   ]diff_2__t44_diff_22017-01-13 00:31 214K 
[   ]diff_2__t45_diff_22017-01-13 00:31 70K 
[   ]diff_2__t46_diff_22017-01-13 00:31 213K 
[   ]diff_2__t47_diff_22017-01-13 00:31 213K 
[   ]diff_2__t48_diff_22017-01-13 00:31 214K 
[   ]diff_2__t49_diff_22017-01-13 00:31 93K 
[   ]diff_2__t50_diff_22017-01-13 00:31 160K 
[   ]diff_2__t51_diff_22017-01-13 00:31 160K 
[   ]diff_2__t52_diff_22017-01-13 00:31 161K 
[   ]diff_2__t53_diff_22017-01-13 00:31 93K 
[   ]diff_2__t54_diff_22017-01-13 00:31 159K 
[   ]diff_2__t55_diff_22017-01-13 00:31 159K 
[   ]diff_2__t56_diff_22017-01-13 00:31 160K 
[   ]diff_2__t57_diff_22017-01-13 00:31 91K 
[   ]diff_2__t58_diff_22017-01-13 00:31 158K 
[   ]diff_2__t59_diff_22017-01-13 00:31 157K 
[   ]diff_2__t60_diff_22017-01-13 00:31 159K 
[   ]diff_2__t61_diff_22017-01-13 00:31 217K 
[   ]diff_2__t62_diff_22017-01-13 00:31 393K 
[   ]diff_2__t63_diff_22017-01-13 00:31 267K 
[   ]diff_2__t64_diff_22017-01-13 00:31 267K 
[   ]diff_2__t65_diff_22017-01-13 00:31 216K 
[   ]diff_2__t66_diff_22017-01-13 00:31 393K 
[   ]diff_2__t67_diff_22017-01-13 00:31 529K 
[   ]diff_2__t68_diff_22017-01-13 00:31 429K 
[   ]diff_2__t69_diff_22017-01-13 00:31 79K 
[   ]diff_2__t70_diff_22017-01-13 00:31 93K 
[   ]diff_2__t71_diff_22017-01-13 00:31 87K 
[   ]diff_2__t72_diff_22017-01-13 00:31 150K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80