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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pdiff_8__l13_pdiff_82017-01-13 00:37 215K 
[   ]pdiff_8__t1_pdiff_82017-01-13 00:37 145K 
[   ]pdiff_8__t2_pdiff_82017-01-13 00:37 138K 
[   ]pdiff_8__t3_pdiff_82017-01-13 00:37 141K 
[   ]pdiff_8__t4_pdiff_82017-01-13 00:37 119K 
[   ]pdiff_8__t5_pdiff_82017-01-13 00:37 122K 
[   ]pdiff_8__t6_pdiff_82017-01-13 00:37 201K 
[   ]pdiff_8__t7_pdiff_82017-01-13 00:37 192K 
[   ]pdiff_8__t8_pdiff_82017-01-13 00:37 93K 
[   ]pdiff_8__t9_pdiff_82017-01-13 00:37 86K 
[   ]pdiff_8__t10_pdiff_82017-01-13 00:37 90K 
[   ]pdiff_8__t11_pdiff_82017-01-13 00:37 129K 
[   ]pdiff_8__t12_pdiff_82017-01-13 00:37 89K 
[   ]pdiff_8__t13_pdiff_82017-01-13 00:37 195K 
[   ]pdiff_8__t14_pdiff_82017-01-13 00:37 171K 
[   ]pdiff_8__t15_pdiff_82017-01-13 00:37 161K 
[   ]pdiff_8__t16_pdiff_82017-01-13 00:37 151K 
[   ]pdiff_8__t17_pdiff_82017-01-13 00:37 128K 
[   ]pdiff_8__t18_pdiff_82017-01-13 00:37 260K 
[   ]pdiff_8__t19_pdiff_82017-01-13 00:37 179K 
[   ]pdiff_8__t20_pdiff_82017-01-13 00:37 235K 
[   ]pdiff_8__t21_pdiff_82017-01-13 00:37 227K 
[   ]pdiff_8__t22_pdiff_82017-01-13 00:37 173K 

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