Index of /~mptp/1147/MPTP2/problems_thf_tls/diff_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_4__t1_diff_42017-01-12 21:58 80K 
[ ]diff_4__t2_diff_42017-01-12 21:58 48K 
[ ]diff_4__t3_diff_42017-01-12 21:58 59K 
[ ]diff_4__t4_diff_42017-01-12 21:58 104K 
[ ]diff_4__t5_diff_42017-01-12 21:58 99K 
[ ]diff_4__t6_diff_42017-01-12 21:58 127K 
[ ]diff_4__t7_diff_42017-01-12 21:58 211K 
[ ]diff_4__t8_diff_42017-01-12 21:58 279K 
[ ]diff_4__t9_diff_42017-01-12 21:58 280K 
[ ]diff_4__t10_diff_42017-01-12 21:58 254K 
[ ]diff_4__t11_diff_42017-01-12 21:58 521K 
[ ]diff_4__t12_diff_42017-01-12 21:58 521K 
[ ]diff_4__t13_diff_42017-01-12 21:58 522K 
[ ]diff_4__t14_diff_42017-01-12 21:58 254K 
[ ]diff_4__t15_diff_42017-01-12 21:58 325K 
[ ]diff_4__t16_diff_42017-01-12 21:59 325K 
[ ]diff_4__t17_diff_42017-01-12 21:59 327K 
[ ]diff_4__t18_diff_42017-01-12 21:59 292K 
[ ]diff_4__t19_diff_42017-01-12 21:59 519K 
[ ]diff_4__t20_diff_42017-01-12 21:59 519K 
[ ]diff_4__t21_diff_42017-01-12 21:59 520K 
[ ]diff_4__t22_diff_42017-01-12 21:59 119K 
[ ]diff_4__t23_diff_42017-01-12 21:59 133K 
[ ]diff_4__t24_diff_42017-01-12 21:59 132K 
[ ]diff_4__t25_diff_42017-01-12 21:59 145K 
[ ]diff_4__t26_diff_42017-01-12 21:59 119K 
[ ]diff_4__t27_diff_42017-01-12 21:59 133K 
[ ]diff_4__t28_diff_42017-01-12 21:59 132K 
[ ]diff_4__t29_diff_42017-01-12 21:59 145K 
[ ]diff_4__t30_diff_42017-01-12 21:58 100K 
[ ]diff_4__t31_diff_42017-01-12 21:59 145K 
[ ]diff_4__t32_diff_42017-01-12 21:59 145K 
[ ]diff_4__t33_diff_42017-01-12 21:59 213K 
[ ]diff_4__t34_diff_42017-01-12 21:59 70K 
[ ]diff_4__t35_diff_42017-01-12 21:59 97K 
[ ]diff_4__t36_diff_42017-01-12 21:59 122K 
[ ]diff_4__t37_diff_42017-01-12 21:59 99K 
[ ]diff_4__t38_diff_42017-01-12 21:59 96K 
[ ]diff_4__t39_diff_42017-01-12 21:59 115K 
[ ]diff_4__t40_diff_42017-01-12 21:59 99K 
[ ]diff_4__t41_diff_42017-01-12 21:59 113K 
[ ]diff_4__t42_diff_42017-01-12 21:59 98K 
[ ]diff_4__t43_diff_42017-01-12 21:59 121K 
[ ]diff_4__t44_diff_42017-01-12 21:59 96K 
[ ]diff_4__t45_diff_42017-01-12 21:59 98K 
[ ]diff_4__t46_diff_42017-01-12 21:59 115K 
[ ]diff_4__t47_diff_42017-01-12 21:59 98K 
[ ]diff_4__t48_diff_42017-01-12 21:59 112K 
[ ]diff_4__t49_diff_42017-01-12 21:59 119K 
[ ]diff_4__t50_diff_42017-01-12 21:59 176K 
[ ]diff_4__t51_diff_42017-01-12 21:59 160K 
[ ]diff_4__t52_diff_42017-01-12 21:59 160K 
[ ]diff_4__t53_diff_42017-01-12 21:59 125K 
[ ]diff_4__t54_diff_42017-01-12 21:59 121K 
[ ]diff_4__t55_diff_42017-01-12 21:59 184K 
[ ]diff_4__t56_diff_42017-01-12 21:59 181K 
[ ]diff_4__t57_diff_42017-01-12 21:59 142K 
[ ]diff_4__t58_diff_42017-01-12 21:59 142K 
[ ]diff_4__t59_diff_42017-01-12 21:59 196K 
[ ]diff_4__t60_diff_42017-01-12 21:59 181K 
[ ]diff_4__t61_diff_42017-01-12 21:59 142K 
[ ]diff_4__t62_diff_42017-01-12 21:59 142K 
[ ]diff_4__t63_diff_42017-01-12 21:59 196K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80