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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban_2__l19_lopban_22017-01-13 19:06 104K 
[ ]lopban_2__l23_lopban_22017-01-13 19:06 102K 
[ ]lopban_2__l29_lopban_22017-01-13 19:06 105K 
[ ]lopban_2__t1_lopban_22017-01-13 19:06 55K 
[ ]lopban_2__t2_lopban_22017-01-13 19:06 113K 
[ ]lopban_2__t3_lopban_22017-01-13 19:06 62K 
[ ]lopban_2__t4_lopban_22017-01-13 19:06 54K 
[ ]lopban_2__t5_lopban_22017-01-13 19:06 56K 
[ ]lopban_2__t6_lopban_22017-01-13 19:06 65K 
[ ]lopban_2__t7_lopban_22017-01-13 19:06 86K 
[ ]lopban_2__t8_lopban_22017-01-13 19:06 97K 
[ ]lopban_2__t9_lopban_22017-01-13 19:06 108K 
[ ]lopban_2__t10_lopban_22017-01-13 19:06 107K 
[ ]lopban_2__t11_lopban_22017-01-13 19:06 110K 
[ ]lopban_2__t12_lopban_22017-01-13 19:06 90K 
[ ]lopban_2__t13_lopban_22017-01-13 19:06 114K 
[ ]lopban_2__t14_lopban_22017-01-13 19:06 95K 
[ ]lopban_2__t15_lopban_22017-01-13 19:06 126K 
[ ]lopban_2__t16_lopban_22017-01-13 19:05 84K 
[ ]lopban_2__t17_lopban_22017-01-13 19:06 68K 
[ ]lopban_2__t18_lopban_22017-01-13 19:06 96K 
[ ]lopban_2__t19_lopban_22017-01-13 19:06 129K 
[ ]lopban_2__t20_lopban_22017-01-13 19:06 126K 
[ ]lopban_2__t21_lopban_22017-01-13 19:05 86K 
[ ]lopban_2__t22_lopban_22017-01-13 19:06 84K 
[ ]lopban_2__t23_lopban_22017-01-13 19:06 87K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80