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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pdiff_1__l2_pdiff_12017-01-13 00:49 92K 
[ ]pdiff_1__l3_pdiff_12017-01-13 00:49 67K 
[ ]pdiff_1__l14_pdiff_12017-01-13 00:49 61K 
[ ]pdiff_1__t1_pdiff_12017-01-13 00:49 70K 
[ ]pdiff_1__t2_pdiff_12017-01-13 00:49 70K 
[ ]pdiff_1__t3_pdiff_12017-01-13 00:49 185K 
[ ]pdiff_1__t4_pdiff_12017-01-13 00:49 147K 
[ ]pdiff_1__t5_pdiff_12017-01-13 00:49 240K 
[ ]pdiff_1__t6_pdiff_12017-01-13 00:49 261K 
[ ]pdiff_1__t7_pdiff_12017-01-13 00:49 335K 
[ ]pdiff_1__t8_pdiff_12017-01-13 00:49 327K 
[ ]pdiff_1__t9_pdiff_12017-01-13 00:49 163K 
[ ]pdiff_1__t10_pdiff_12017-01-13 00:49 163K 
[ ]pdiff_1__t11_pdiff_12017-01-13 00:49 122K 
[ ]pdiff_1__t12_pdiff_12017-01-13 00:49 123K 
[ ]pdiff_1__t13_pdiff_12017-01-13 00:49 109K 
[ ]pdiff_1__t14_pdiff_12017-01-13 00:49 176K 
[ ]pdiff_1__t15_pdiff_12017-01-13 00:49 179K 
[ ]pdiff_1__t16_pdiff_12017-01-13 00:49 76K 
[ ]pdiff_1__t17_pdiff_12017-01-13 00:49 181K 
[ ]pdiff_1__t18_pdiff_12017-01-13 00:49 109K 
[ ]pdiff_1__t19_pdiff_12017-01-13 00:49 188K 
[ ]pdiff_1__t20_pdiff_12017-01-13 00:49 76K 
[ ]pdiff_1__t21_pdiff_12017-01-13 00:49 157K 
[ ]pdiff_1__t22_pdiff_12017-01-13 00:49 110K 
[ ]pdiff_1__t23_pdiff_12017-01-13 00:49 176K 
[ ]pdiff_1__t24_pdiff_12017-01-13 00:49 179K 
[ ]pdiff_1__t25_pdiff_12017-01-13 00:49 80K 
[ ]pdiff_1__t26_pdiff_12017-01-13 00:49 118K 
[ ]pdiff_1__t27_pdiff_12017-01-13 00:49 100K 
[ ]pdiff_1__t28_pdiff_12017-01-13 00:49 172K 
[ ]pdiff_1__t29_pdiff_12017-01-13 00:49 269K 
[ ]pdiff_1__t30_pdiff_12017-01-13 00:49 171K 
[ ]pdiff_1__t31_pdiff_12017-01-13 00:49 261K 
[ ]pdiff_1__t32_pdiff_12017-01-13 00:49 163K 
[ ]pdiff_1__t33_pdiff_12017-01-13 00:49 250K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80