Index of /~mptp/1147/mptp/problems_thf_tl.bad_dt_f/collsp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]collsp__l4_collsp2016-03-08 13:04 7.6K 
[ ]collsp__l5_collsp2016-03-08 13:04 9.5K 
[ ]collsp__l6_collsp2016-03-08 13:04 7.4K 
[ ]collsp__l7_collsp2016-03-08 13:04 9.5K 
[ ]collsp__l8_collsp2016-03-08 13:04 15K 
[ ]collsp__l9_collsp2016-03-08 13:04 17K 
[ ]collsp__l23_collsp2017-01-05 20:54 11K 
[ ]collsp__l24_collsp2016-03-08 13:04 8.5K 
[ ]collsp__l25_collsp2017-01-05 20:54 12K 
[ ]collsp__l26_collsp2017-01-05 20:54 16K 
[ ]collsp__l27_collsp2017-01-05 20:54 17K 
[ ]collsp__l28_collsp2017-01-05 20:54 18K 
[ ]collsp__l29_collsp2017-01-05 20:54 18K 
[ ]collsp__l30_collsp2017-01-05 20:54 21K 
[ ]collsp__l38_collsp2017-01-05 20:54 13K 
[ ]collsp__t1_collsp2016-03-08 13:04 4.2K 
[ ]collsp__t2_collsp2016-03-08 13:04 14K 
[ ]collsp__t3_collsp2016-03-08 13:04 15K 
[ ]collsp__t4_collsp2016-03-08 13:04 13K 
[ ]collsp__t5_collsp2016-03-08 13:04 12K 
[ ]collsp__t6_collsp2016-03-08 13:04 13K 
[ ]collsp__t7_collsp2016-03-08 13:04 12K 
[ ]collsp__t8_collsp2016-03-08 13:04 12K 
[ ]collsp__t9_collsp2016-03-08 13:04 14K 
[ ]collsp__t10_collsp2017-01-05 20:54 13K 
[ ]collsp__t11_collsp2017-01-05 20:54 12K 
[ ]collsp__t12_collsp2016-03-08 13:04 13K 
[ ]collsp__t13_collsp2017-01-05 20:54 13K 
[ ]collsp__t14_collsp2017-01-05 20:54 13K 
[ ]collsp__t15_collsp2017-01-05 20:54 13K 
[ ]collsp__t16_collsp2017-01-05 20:54 14K 
[ ]collsp__t17_collsp2017-01-05 20:54 15K 
[ ]collsp__t18_collsp2017-01-05 20:54 14K 
[ ]collsp__t19_collsp2017-01-05 20:54 14K 
[ ]collsp__t20_collsp2017-01-05 20:54 13K 
[ ]collsp__t21_collsp2016-03-08 13:04 15K 
[ ]collsp__t22_collsp2017-01-05 20:54 13K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80