Index of /~mptp/1147/MPTP2/problems_thf_tls1/pdiff_8

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pdiff_8__l13_pdiff_82017-01-13 19:24 134K 
[   ]pdiff_8__t1_pdiff_82017-01-13 19:23 96K 
[   ]pdiff_8__t2_pdiff_82017-01-13 19:23 91K 
[   ]pdiff_8__t3_pdiff_82017-01-13 19:23 93K 
[   ]pdiff_8__t4_pdiff_82017-01-13 19:23 78K 
[   ]pdiff_8__t5_pdiff_82017-01-13 19:23 79K 
[   ]pdiff_8__t6_pdiff_82017-01-13 19:23 127K 
[   ]pdiff_8__t7_pdiff_82017-01-13 19:23 119K 
[   ]pdiff_8__t8_pdiff_82017-01-13 19:23 59K 
[   ]pdiff_8__t9_pdiff_82017-01-13 19:23 54K 
[   ]pdiff_8__t10_pdiff_82017-01-13 19:23 57K 
[   ]pdiff_8__t11_pdiff_82017-01-13 19:23 84K 
[   ]pdiff_8__t12_pdiff_82017-01-13 19:23 56K 
[   ]pdiff_8__t13_pdiff_82017-01-13 19:23 121K 
[   ]pdiff_8__t14_pdiff_82017-01-13 19:23 107K 
[   ]pdiff_8__t15_pdiff_82017-01-13 19:23 115K 
[   ]pdiff_8__t16_pdiff_82017-01-13 19:23 100K 
[   ]pdiff_8__t17_pdiff_82017-01-13 19:23 83K 
[   ]pdiff_8__t18_pdiff_82017-01-13 19:24 164K 
[   ]pdiff_8__t19_pdiff_82017-01-13 19:24 112K 
[   ]pdiff_8__t20_pdiff_82017-01-13 19:24 153K 
[   ]pdiff_8__t21_pdiff_82017-01-13 19:24 146K 
[   ]pdiff_8__t22_pdiff_82017-01-13 19:24 109K 

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