Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/c0sp1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]c0sp1__l3_c0sp12017-01-13 00:33 68K 
[ ]c0sp1__l4_c0sp12017-01-13 00:33 35K 
[ ]c0sp1__l20_c0sp12017-01-13 00:33 74K 
[ ]c0sp1__l42_c0sp12017-01-13 00:33 136K 
[ ]c0sp1__t1_c0sp12017-01-13 00:33 108K 
[ ]c0sp1__t2_c0sp12017-01-13 00:33 98K 
[ ]c0sp1__t3_c0sp12017-01-13 00:33 127K 
[ ]c0sp1__t4_c0sp12017-01-13 00:33 77K 
[ ]c0sp1__t5_c0sp12017-01-13 00:33 92K 
[ ]c0sp1__t6_c0sp12017-01-13 00:33 105K 
[ ]c0sp1__t7_c0sp12017-01-13 00:33 107K 
[ ]c0sp1__t8_c0sp12017-01-13 00:33 104K 
[ ]c0sp1__t9_c0sp12017-01-13 00:33 257K 
[ ]c0sp1__t10_c0sp12017-01-13 00:33 118K 
[ ]c0sp1__t11_c0sp12017-01-13 00:33 142K 
[ ]c0sp1__t12_c0sp12017-01-13 00:33 151K 
[ ]c0sp1__t13_c0sp12017-01-13 00:33 151K 
[ ]c0sp1__t14_c0sp12017-01-13 00:33 150K 
[ ]c0sp1__t15_c0sp12017-01-13 00:33 138K 
[ ]c0sp1__t16_c0sp12017-01-13 00:33 138K 
[ ]c0sp1__t17_c0sp12017-01-13 00:33 68K 
[ ]c0sp1__t18_c0sp12017-01-13 00:33 83K 
[ ]c0sp1__t19_c0sp12017-01-13 00:33 109K 
[ ]c0sp1__t20_c0sp12017-01-13 00:33 117K 
[ ]c0sp1__t21_c0sp12017-01-13 00:33 110K 
[ ]c0sp1__t22_c0sp12017-01-13 00:33 124K 
[ ]c0sp1__t23_c0sp12017-01-13 00:33 130K 
[ ]c0sp1__t24_c0sp12017-01-13 00:33 130K 
[ ]c0sp1__t25_c0sp12017-01-13 00:33 122K 
[ ]c0sp1__t26_c0sp12017-01-13 00:33 145K 
[ ]c0sp1__t27_c0sp12017-01-13 00:33 145K 
[ ]c0sp1__t28_c0sp12017-01-13 00:33 149K 
[ ]c0sp1__t29_c0sp12017-01-13 00:33 139K 
[ ]c0sp1__t30_c0sp12017-01-13 00:33 135K 
[ ]c0sp1__t31_c0sp12017-01-13 00:33 139K 
[ ]c0sp1__t32_c0sp12017-01-13 00:33 214K 
[ ]c0sp1__t33_c0sp12017-01-13 00:33 149K 
[ ]c0sp1__t34_c0sp12017-01-13 00:33 160K 
[ ]c0sp1__t35_c0sp12017-01-13 00:33 299K 
[ ]c0sp1__t36_c0sp12017-01-13 00:33 125K 
[ ]c0sp1__t37_c0sp12017-01-13 00:33 194K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80