Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/cardfin2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cardfin2__l15_cardfin22017-01-13 19:14 42K 
[   ]cardfin2__l22_cardfin22017-01-13 19:16 2.9M 
[   ]cardfin2__s1_cardfin22017-01-13 19:14 59K 
[   ]cardfin2__t1_cardfin22017-01-13 19:14 59K 
[   ]cardfin2__t2_cardfin22017-01-13 19:14 59K 
[   ]cardfin2__t3_cardfin22017-01-13 19:14 92K 
[   ]cardfin2__t4_cardfin22017-01-13 19:14 94K 
[   ]cardfin2__t5_cardfin22017-01-13 19:14 132K 
[   ]cardfin2__t6_cardfin22017-01-13 19:14 249K 
[   ]cardfin2__t7_cardfin22017-01-13 19:14 62K 
[   ]cardfin2__t8_cardfin22017-01-13 19:14 150K 
[   ]cardfin2__t9_cardfin22017-01-13 19:14 190K 
[   ]cardfin2__t10_cardfin22017-01-13 19:14 184K 
[   ]cardfin2__t11_cardfin22017-01-13 19:14 63K 
[   ]cardfin2__t12_cardfin22017-01-13 19:14 116K 
[   ]cardfin2__t13_cardfin22017-01-13 19:14 98K 
[   ]cardfin2__t14_cardfin22017-01-13 19:14 82K 
[   ]cardfin2__t15_cardfin22017-01-13 19:14 496K 
[   ]cardfin2__t16_cardfin22017-01-13 19:15 117K 
[   ]cardfin2__t17_cardfin22017-01-13 19:15 203K 
[   ]cardfin2__t18_cardfin22017-01-13 19:15 186K 

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