Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/diff_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]diff_4__t1_diff_42017-01-13 19:17 82K 
[   ]diff_4__t2_diff_42017-01-13 19:17 48K 
[   ]diff_4__t3_diff_42017-01-13 19:17 59K 
[   ]diff_4__t4_diff_42017-01-13 19:17 106K 
[   ]diff_4__t5_diff_42017-01-13 19:17 100K 
[   ]diff_4__t6_diff_42017-01-13 19:17 128K 
[   ]diff_4__t7_diff_42017-01-13 19:17 217K 
[   ]diff_4__t8_diff_42017-01-13 19:17 291K 
[   ]diff_4__t9_diff_42017-01-13 19:17 292K 
[   ]diff_4__t10_diff_42017-01-13 19:17 267K 
[   ]diff_4__t11_diff_42017-01-13 19:17 553K 
[   ]diff_4__t12_diff_42017-01-13 19:17 553K 
[   ]diff_4__t13_diff_42017-01-13 19:17 554K 
[   ]diff_4__t14_diff_42017-01-13 19:17 267K 
[   ]diff_4__t15_diff_42017-01-13 19:17 341K 
[   ]diff_4__t16_diff_42017-01-13 19:17 341K 
[   ]diff_4__t17_diff_42017-01-13 19:17 343K 
[   ]diff_4__t18_diff_42017-01-13 19:17 308K 
[   ]diff_4__t19_diff_42017-01-13 19:17 551K 
[   ]diff_4__t20_diff_42017-01-13 19:17 551K 
[   ]diff_4__t21_diff_42017-01-13 19:17 552K 
[   ]diff_4__t22_diff_42017-01-13 19:17 120K 
[   ]diff_4__t23_diff_42017-01-13 19:17 133K 
[   ]diff_4__t24_diff_42017-01-13 19:17 132K 
[   ]diff_4__t25_diff_42017-01-13 19:17 146K 
[   ]diff_4__t26_diff_42017-01-13 19:17 120K 
[   ]diff_4__t27_diff_42017-01-13 19:18 133K 
[   ]diff_4__t28_diff_42017-01-13 19:18 132K 
[   ]diff_4__t29_diff_42017-01-13 19:18 146K 
[   ]diff_4__t30_diff_42017-01-13 19:17 102K 
[   ]diff_4__t31_diff_42017-01-13 19:18 147K 
[   ]diff_4__t32_diff_42017-01-13 19:18 147K 
[   ]diff_4__t33_diff_42017-01-13 19:18 221K 
[   ]diff_4__t34_diff_42017-01-13 19:18 70K 
[   ]diff_4__t35_diff_42017-01-13 19:18 97K 
[   ]diff_4__t36_diff_42017-01-13 19:18 124K 
[   ]diff_4__t37_diff_42017-01-13 19:18 99K 
[   ]diff_4__t38_diff_42017-01-13 19:18 97K 
[   ]diff_4__t39_diff_42017-01-13 19:18 116K 
[   ]diff_4__t40_diff_42017-01-13 19:18 99K 
[   ]diff_4__t41_diff_42017-01-13 19:18 114K 
[   ]diff_4__t42_diff_42017-01-13 19:18 98K 
[   ]diff_4__t43_diff_42017-01-13 19:18 123K 
[   ]diff_4__t44_diff_42017-01-13 19:18 97K 
[   ]diff_4__t45_diff_42017-01-13 19:18 99K 
[   ]diff_4__t46_diff_42017-01-13 19:18 116K 
[   ]diff_4__t47_diff_42017-01-13 19:18 99K 
[   ]diff_4__t48_diff_42017-01-13 19:18 113K 
[   ]diff_4__t49_diff_42017-01-13 19:18 120K 
[   ]diff_4__t50_diff_42017-01-13 19:18 183K 
[   ]diff_4__t51_diff_42017-01-13 19:18 165K 
[   ]diff_4__t52_diff_42017-01-13 19:18 165K 
[   ]diff_4__t53_diff_42017-01-13 19:18 127K 
[   ]diff_4__t54_diff_42017-01-13 19:18 122K 
[   ]diff_4__t55_diff_42017-01-13 19:18 191K 
[   ]diff_4__t56_diff_42017-01-13 19:18 187K 
[   ]diff_4__t57_diff_42017-01-13 19:18 143K 
[   ]diff_4__t58_diff_42017-01-13 19:18 142K 
[   ]diff_4__t59_diff_42017-01-13 19:18 201K 
[   ]diff_4__t60_diff_42017-01-13 19:18 187K 
[   ]diff_4__t61_diff_42017-01-13 19:18 143K 
[   ]diff_4__t62_diff_42017-01-13 19:18 142K 
[   ]diff_4__t63_diff_42017-01-13 19:18 201K 

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