Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/collsp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]collsp__l4_collsp2017-01-13 17:55 10K 
[   ]collsp__l5_collsp2017-01-13 17:55 13K 
[   ]collsp__l6_collsp2017-01-13 17:55 10K 
[   ]collsp__l7_collsp2017-01-13 17:55 13K 
[   ]collsp__l8_collsp2017-01-13 17:55 21K 
[   ]collsp__l9_collsp2017-01-13 17:55 23K 
[   ]collsp__l23_collsp2017-01-13 17:55 15K 
[   ]collsp__l24_collsp2017-01-13 17:55 12K 
[   ]collsp__l25_collsp2017-01-13 17:55 16K 
[   ]collsp__l26_collsp2017-01-13 17:55 23K 
[   ]collsp__l27_collsp2017-01-13 17:55 25K 
[   ]collsp__l28_collsp2017-01-13 17:55 26K 
[   ]collsp__l29_collsp2017-01-13 17:55 26K 
[   ]collsp__l30_collsp2017-01-13 17:55 29K 
[   ]collsp__l38_collsp2017-01-13 17:55 19K 
[   ]collsp__t1_collsp2017-01-13 17:55 5.5K 
[   ]collsp__t2_collsp2017-01-13 17:55 21K 
[   ]collsp__t3_collsp2017-01-13 17:55 21K 
[   ]collsp__t4_collsp2017-01-13 17:55 19K 
[   ]collsp__t5_collsp2017-01-13 17:55 17K 
[   ]collsp__t6_collsp2017-01-13 17:55 19K 
[   ]collsp__t7_collsp2017-01-13 17:55 18K 
[   ]collsp__t8_collsp2017-01-13 17:55 18K 
[   ]collsp__t9_collsp2017-01-13 17:55 21K 
[   ]collsp__t10_collsp2017-01-13 17:55 18K 
[   ]collsp__t11_collsp2017-01-13 17:55 18K 
[   ]collsp__t12_collsp2017-01-13 17:55 19K 
[   ]collsp__t13_collsp2017-01-13 17:55 19K 
[   ]collsp__t14_collsp2017-01-13 17:55 20K 
[   ]collsp__t15_collsp2017-01-13 17:55 20K 
[   ]collsp__t16_collsp2017-01-13 17:55 20K 
[   ]collsp__t17_collsp2017-01-13 17:55 21K 
[   ]collsp__t18_collsp2017-01-13 17:55 21K 
[   ]collsp__t19_collsp2017-01-13 17:55 21K 
[   ]collsp__t20_collsp2017-01-13 17:55 19K 
[   ]collsp__t21_collsp2017-01-13 17:55 22K 
[   ]collsp__t22_collsp2017-01-13 17:55 19K 

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