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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpinvar__l6_scpinvar2017-01-13 19:03 246K 
[ ]scpinvar__l7_scpinvar2017-01-13 19:03 837K 
[ ]scpinvar__l8_scpinvar2017-01-13 19:04 842K 
[ ]scpinvar__l12_scpinvar2017-01-13 19:04 273K 
[ ]scpinvar__l13_scpinvar2017-01-13 19:04 172K 
[ ]scpinvar__l14_scpinvar2017-01-13 19:04 191K 
[ ]scpinvar__l18_scpinvar2017-01-13 19:04 123K 
[ ]scpinvar__l22_scpinvar2017-01-13 19:04 111K 
[ ]scpinvar__l27_scpinvar2017-01-13 19:04 116K 
[ ]scpinvar__l31_scpinvar2017-01-13 19:04 117K 
[ ]scpinvar__l32_scpinvar2017-01-13 19:04 161K 
[ ]scpinvar__l34_scpinvar2017-01-13 19:04 260K 
[ ]scpinvar__l35_scpinvar2017-01-13 19:04 960K 
[ ]scpinvar__l36_scpinvar2017-01-13 19:04 639K 
[ ]scpinvar__s1_scpinvar2017-01-13 19:03 132K 
[ ]scpinvar__s2_scpinvar2017-01-13 19:03 132K 
[ ]scpinvar__s3_scpinvar2017-01-13 19:03 833K 
[ ]scpinvar__s4_scpinvar2017-01-13 19:03 389K 
[ ]scpinvar__s5_scpinvar2017-01-13 19:03 175K 
[ ]scpinvar__t1_scpinvar2017-01-13 19:03 119K 
[ ]scpinvar__t2_scpinvar2017-01-13 19:03 102K 
[ ]scpinvar__t3_scpinvar2017-01-13 19:03 118K 
[ ]scpinvar__t4_scpinvar2017-01-13 19:03 255K 
[ ]scpinvar__t5_scpinvar2017-01-13 19:03 175K 
[ ]scpinvar__t6_scpinvar2017-01-13 19:03 245K 
[ ]scpinvar__t7_scpinvar2017-01-13 19:03 162K 
[ ]scpinvar__t8_scpinvar2017-01-13 19:03 110K 
[ ]scpinvar__t9_scpinvar2017-01-13 19:03 545K 
[ ]scpinvar__t10_scpinvar2017-01-13 19:03 129K 
[ ]scpinvar__t11_scpinvar2017-01-13 19:03 221K 
[ ]scpinvar__t12_scpinvar2017-01-13 19:03 355K 
[ ]scpinvar__t13_scpinvar2017-01-13 19:03 321K 
[ ]scpinvar__t14_scpinvar2017-01-13 19:03 143K 
[ ]scpinvar__t15_scpinvar2017-01-13 19:03 143K 
[ ]scpinvar__t16_scpinvar2017-01-13 19:03 304K 
[ ]scpinvar__t17_scpinvar2017-01-13 19:03 759K 
[ ]scpinvar__t18_scpinvar2017-01-13 19:03 155K 
[ ]scpinvar__t19_scpinvar2017-01-13 19:03 173K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80