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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban_2__l19_lopban_22017-01-13 00:43 166K 
[ ]lopban_2__l23_lopban_22017-01-13 00:43 163K 
[ ]lopban_2__l29_lopban_22017-01-13 00:43 167K 
[ ]lopban_2__t1_lopban_22017-01-13 00:43 87K 
[ ]lopban_2__t2_lopban_22017-01-13 00:43 181K 
[ ]lopban_2__t3_lopban_22017-01-13 00:43 96K 
[ ]lopban_2__t4_lopban_22017-01-13 00:43 86K 
[ ]lopban_2__t5_lopban_22017-01-13 00:43 89K 
[ ]lopban_2__t6_lopban_22017-01-13 00:43 103K 
[ ]lopban_2__t7_lopban_22017-01-13 00:43 138K 
[ ]lopban_2__t8_lopban_22017-01-13 00:43 157K 
[ ]lopban_2__t9_lopban_22017-01-13 00:43 175K 
[ ]lopban_2__t10_lopban_22017-01-13 00:43 173K 
[ ]lopban_2__t11_lopban_22017-01-13 00:43 178K 
[ ]lopban_2__t12_lopban_22017-01-13 00:43 142K 
[ ]lopban_2__t13_lopban_22017-01-13 00:43 180K 
[ ]lopban_2__t14_lopban_22017-01-13 00:43 147K 
[ ]lopban_2__t15_lopban_22017-01-13 00:43 199K 
[ ]lopban_2__t16_lopban_22017-01-13 00:43 133K 
[ ]lopban_2__t17_lopban_22017-01-13 00:43 101K 
[ ]lopban_2__t18_lopban_22017-01-13 00:43 152K 
[ ]lopban_2__t19_lopban_22017-01-13 00:43 202K 
[ ]lopban_2__t20_lopban_22017-01-13 00:43 194K 
[ ]lopban_2__t21_lopban_22017-01-13 00:43 136K 
[ ]lopban_2__t22_lopban_22017-01-13 00:43 132K 
[ ]lopban_2__t23_lopban_22017-01-13 00:43 138K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80