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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpinvar__l6_scpinvar2017-01-13 00:46 329K 
[ ]scpinvar__l7_scpinvar2017-01-13 00:46 889K 
[ ]scpinvar__l8_scpinvar2017-01-13 00:46 899K 
[ ]scpinvar__l12_scpinvar2017-01-13 00:46 341K 
[ ]scpinvar__l13_scpinvar2017-01-13 00:46 245K 
[ ]scpinvar__l14_scpinvar2017-01-13 00:46 297K 
[ ]scpinvar__l18_scpinvar2017-01-13 00:46 195K 
[ ]scpinvar__l22_scpinvar2017-01-13 00:46 175K 
[ ]scpinvar__l27_scpinvar2017-01-13 00:46 183K 
[ ]scpinvar__l31_scpinvar2017-01-13 00:46 185K 
[ ]scpinvar__l32_scpinvar2017-01-13 00:46 237K 
[ ]scpinvar__l34_scpinvar2017-01-13 00:46 334K 
[ ]scpinvar__l35_scpinvar2017-01-13 00:46 1.0M 
[ ]scpinvar__l36_scpinvar2017-01-13 00:46 725K 
[ ]scpinvar__s1_scpinvar2017-01-13 00:46 211K 
[ ]scpinvar__s2_scpinvar2017-01-13 00:46 211K 
[ ]scpinvar__s3_scpinvar2017-01-13 00:46 926K 
[ ]scpinvar__s4_scpinvar2017-01-13 00:46 510K 
[ ]scpinvar__s5_scpinvar2017-01-13 00:46 264K 
[ ]scpinvar__t1_scpinvar2017-01-13 00:46 186K 
[ ]scpinvar__t2_scpinvar2017-01-13 00:46 160K 
[ ]scpinvar__t3_scpinvar2017-01-13 00:46 177K 
[ ]scpinvar__t4_scpinvar2017-01-13 00:46 339K 
[ ]scpinvar__t5_scpinvar2017-01-13 00:46 270K 
[ ]scpinvar__t6_scpinvar2017-01-13 00:46 324K 
[ ]scpinvar__t7_scpinvar2017-01-13 00:46 252K 
[ ]scpinvar__t8_scpinvar2017-01-13 00:46 173K 
[ ]scpinvar__t9_scpinvar2017-01-13 00:46 581K 
[ ]scpinvar__t10_scpinvar2017-01-13 00:46 193K 
[ ]scpinvar__t11_scpinvar2017-01-13 00:46 283K 
[ ]scpinvar__t12_scpinvar2017-01-13 00:46 459K 
[ ]scpinvar__t13_scpinvar2017-01-13 00:46 428K 
[ ]scpinvar__t14_scpinvar2017-01-13 00:46 226K 
[ ]scpinvar__t15_scpinvar2017-01-13 00:46 225K 
[ ]scpinvar__t16_scpinvar2017-01-13 00:46 387K 
[ ]scpinvar__t17_scpinvar2017-01-13 00:46 811K 
[ ]scpinvar__t18_scpinvar2017-01-13 00:46 233K 
[ ]scpinvar__t19_scpinvar2017-01-13 00:46 257K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80