Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/quantal1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]quantal1__l19_quantal12017-01-13 00:49 41K 
[   ]quantal1__s1_quantal12017-01-13 00:49 19K 
[   ]quantal1__s2_quantal12017-01-13 00:49 11K 
[   ]quantal1__s3_quantal12017-01-13 00:49 35K 
[   ]quantal1__t1_quantal12017-01-13 00:49 50K 
[   ]quantal1__t2_quantal12017-01-13 00:49 51K 
[   ]quantal1__t3_quantal12017-01-13 00:49 27K 
[   ]quantal1__t4_quantal12017-01-13 00:49 93K 
[   ]quantal1__t5_quantal12017-01-13 00:49 52K 
[   ]quantal1__t6_quantal12017-01-13 00:49 62K 
[   ]quantal1__t7_quantal12017-01-13 00:49 58K 
[   ]quantal1__t8_quantal12017-01-13 00:49 56K 
[   ]quantal1__t9_quantal12017-01-13 00:49 52K 
[   ]quantal1__t10_quantal12017-01-13 00:49 50K 
[   ]quantal1__t11_quantal12017-01-13 00:49 58K 
[   ]quantal1__t12_quantal12017-01-13 00:49 58K 
[   ]quantal1__t13_quantal12017-01-13 00:49 56K 
[   ]quantal1__t14_quantal12017-01-13 00:49 57K 
[   ]quantal1__t15_quantal12017-01-13 00:49 56K 
[   ]quantal1__t16_quantal12017-01-13 00:49 61K 
[   ]quantal1__t17_quantal12017-01-13 00:49 56K 
[   ]quantal1__t18_quantal12017-01-13 00:49 62K 
[   ]quantal1__t19_quantal12017-01-13 00:49 63K 
[   ]quantal1__t20_quantal12017-01-13 00:49 57K 
[   ]quantal1__t21_quantal12017-01-13 00:49 76K 
[   ]quantal1__t22_quantal12017-01-13 00:49 58K 
[   ]quantal1__t23_quantal12017-01-13 00:49 59K 
[   ]quantal1__t24_quantal12017-01-13 00:49 65K 
[   ]quantal1__t25_quantal12017-01-13 00:49 62K 
[   ]quantal1__t26_quantal12017-01-13 00:49 69K 
[   ]quantal1__t27_quantal12017-01-13 00:49 63K 
[   ]quantal1__t28_quantal12017-01-13 00:49 63K 
[   ]quantal1__t29_quantal12017-01-13 00:49 68K 
[   ]quantal1__t30_quantal12017-01-13 00:49 62K 
[   ]quantal1__t31_quantal12017-01-13 00:49 59K 
[   ]quantal1__t32_quantal12017-01-13 00:49 59K 
[   ]quantal1__t33_quantal12017-01-13 00:49 60K 
[   ]quantal1__t34_quantal12017-01-13 00:49 77K 

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