Index of /~mptp/1147/mptp/problems_thf_tls/cardfin2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cardfin2__l15_cardfin22017-01-12 21:57 42K 
[ ]cardfin2__l22_cardfin22017-01-12 21:59 2.8M 
[ ]cardfin2__s1_cardfin22017-01-12 21:57 59K 
[ ]cardfin2__t1_cardfin22017-01-12 21:57 59K 
[ ]cardfin2__t2_cardfin22017-01-12 21:57 58K 
[ ]cardfin2__t3_cardfin22017-01-12 21:57 90K 
[ ]cardfin2__t4_cardfin22017-01-12 21:57 92K 
[ ]cardfin2__t5_cardfin22017-01-12 21:57 130K 
[ ]cardfin2__t6_cardfin22017-01-12 21:57 237K 
[ ]cardfin2__t7_cardfin22017-01-12 21:57 62K 
[ ]cardfin2__t8_cardfin22017-01-12 21:57 148K 
[ ]cardfin2__t9_cardfin22017-01-12 21:57 182K 
[ ]cardfin2__t10_cardfin22017-01-12 21:57 177K 
[ ]cardfin2__t11_cardfin22017-01-12 21:57 63K 
[ ]cardfin2__t12_cardfin22017-01-12 21:57 114K 
[ ]cardfin2__t13_cardfin22017-01-12 21:57 98K 
[ ]cardfin2__t14_cardfin22017-01-12 21:57 81K 
[ ]cardfin2__t15_cardfin22017-01-12 21:57 467K 
[ ]cardfin2__t16_cardfin22017-01-12 21:58 115K 
[ ]cardfin2__t17_cardfin22017-01-12 21:58 195K 
[ ]cardfin2__t18_cardfin22017-01-12 21:58 178K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80