Index of /~mptp/1147/MPTP2/problems_thf_tls1/collsp

[ICO]NameLast modifiedSizeDescription

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

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