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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpinvar__l6_scpinvar2017-01-13 17:59 335K 
[ ]scpinvar__l7_scpinvar2017-01-13 17:59 939K 
[ ]scpinvar__l8_scpinvar2017-01-13 17:59 950K 
[ ]scpinvar__l12_scpinvar2017-01-13 17:59 351K 
[ ]scpinvar__l13_scpinvar2017-01-13 17:59 248K 
[ ]scpinvar__l14_scpinvar2017-01-13 17:59 299K 
[ ]scpinvar__l18_scpinvar2017-01-13 17:59 196K 
[ ]scpinvar__l22_scpinvar2017-01-13 17:59 176K 
[ ]scpinvar__l27_scpinvar2017-01-13 17:59 184K 
[ ]scpinvar__l31_scpinvar2017-01-13 17:59 186K 
[ ]scpinvar__l32_scpinvar2017-01-13 17:59 239K 
[ ]scpinvar__l34_scpinvar2017-01-13 17:59 343K 
[ ]scpinvar__l35_scpinvar2017-01-13 17:59 1.0M 
[ ]scpinvar__l36_scpinvar2017-01-13 17:59 757K 
[ ]scpinvar__s1_scpinvar2017-01-13 17:59 211K 
[ ]scpinvar__s2_scpinvar2017-01-13 17:59 211K 
[ ]scpinvar__s3_scpinvar2017-01-13 17:59 971K 
[ ]scpinvar__s4_scpinvar2017-01-13 17:59 521K 
[ ]scpinvar__s5_scpinvar2017-01-13 17:59 266K 
[ ]scpinvar__t1_scpinvar2017-01-13 17:59 187K 
[ ]scpinvar__t2_scpinvar2017-01-13 17:59 161K 
[ ]scpinvar__t3_scpinvar2017-01-13 17:59 179K 
[ ]scpinvar__t4_scpinvar2017-01-13 17:59 347K 
[ ]scpinvar__t5_scpinvar2017-01-13 17:59 272K 
[ ]scpinvar__t6_scpinvar2017-01-13 17:59 332K 
[ ]scpinvar__t7_scpinvar2017-01-13 17:59 254K 
[ ]scpinvar__t8_scpinvar2017-01-13 17:59 174K 
[ ]scpinvar__t9_scpinvar2017-01-13 17:59 613K 
[ ]scpinvar__t10_scpinvar2017-01-13 17:59 194K 
[ ]scpinvar__t11_scpinvar2017-01-13 17:59 290K 
[ ]scpinvar__t12_scpinvar2017-01-13 17:59 470K 
[ ]scpinvar__t13_scpinvar2017-01-13 17:59 437K 
[ ]scpinvar__t14_scpinvar2017-01-13 17:59 227K 
[ ]scpinvar__t15_scpinvar2017-01-13 17:59 226K 
[ ]scpinvar__t16_scpinvar2017-01-13 17:59 398K 
[ ]scpinvar__t17_scpinvar2017-01-13 17:59 856K 
[ ]scpinvar__t18_scpinvar2017-01-13 17:59 235K 
[ ]scpinvar__t19_scpinvar2017-01-13 17:59 260K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80