Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/collsp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]collsp__l4_collsp2017-01-12 22:05 7.6K 
[   ]collsp__l5_collsp2017-01-12 22:05 9.5K 
[   ]collsp__l6_collsp2017-01-12 22:05 7.4K 
[   ]collsp__l7_collsp2017-01-12 22:05 9.5K 
[   ]collsp__l8_collsp2017-01-12 22:05 15K 
[   ]collsp__l9_collsp2017-01-12 22:05 17K 
[   ]collsp__l23_collsp2017-01-12 22:05 11K 
[   ]collsp__l24_collsp2017-01-12 22:05 8.5K 
[   ]collsp__l25_collsp2017-01-12 22:05 12K 
[   ]collsp__l26_collsp2017-01-12 22:05 16K 
[   ]collsp__l27_collsp2017-01-12 22:05 17K 
[   ]collsp__l28_collsp2017-01-12 22:05 18K 
[   ]collsp__l29_collsp2017-01-12 22:05 18K 
[   ]collsp__l30_collsp2017-01-12 22:05 21K 
[   ]collsp__l38_collsp2017-01-12 22:05 13K 
[   ]collsp__t1_collsp2017-01-12 22:05 4.2K 
[   ]collsp__t2_collsp2017-01-12 22:05 14K 
[   ]collsp__t3_collsp2017-01-12 22:05 15K 
[   ]collsp__t4_collsp2017-01-12 22:05 13K 
[   ]collsp__t5_collsp2017-01-12 22:05 12K 
[   ]collsp__t6_collsp2017-01-12 22:05 13K 
[   ]collsp__t7_collsp2017-01-12 22:05 12K 
[   ]collsp__t8_collsp2017-01-12 22:05 12K 
[   ]collsp__t9_collsp2017-01-12 22:05 14K 
[   ]collsp__t10_collsp2017-01-12 22:05 13K 
[   ]collsp__t11_collsp2017-01-12 22:05 12K 
[   ]collsp__t12_collsp2017-01-12 22:05 13K 
[   ]collsp__t13_collsp2017-01-12 22:05 13K 
[   ]collsp__t14_collsp2017-01-12 22:05 13K 
[   ]collsp__t15_collsp2017-01-12 22:05 13K 
[   ]collsp__t16_collsp2017-01-12 22:05 14K 
[   ]collsp__t17_collsp2017-01-12 22:05 15K 
[   ]collsp__t18_collsp2017-01-12 22:05 14K 
[   ]collsp__t19_collsp2017-01-12 22:05 14K 
[   ]collsp__t20_collsp2017-01-12 22:05 13K 
[   ]collsp__t21_collsp2017-01-12 22:05 15K 
[   ]collsp__t22_collsp2017-01-12 22:05 13K 

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