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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpinvar__l6_scpinvar2017-01-12 22:03 239K 
[ ]scpinvar__l7_scpinvar2017-01-12 22:03 786K 
[ ]scpinvar__l8_scpinvar2017-01-12 22:03 791K 
[ ]scpinvar__l12_scpinvar2017-01-12 22:04 263K 
[ ]scpinvar__l13_scpinvar2017-01-12 22:04 168K 
[ ]scpinvar__l14_scpinvar2017-01-12 22:04 190K 
[ ]scpinvar__l18_scpinvar2017-01-12 22:04 123K 
[ ]scpinvar__l22_scpinvar2017-01-12 22:04 111K 
[ ]scpinvar__l27_scpinvar2017-01-12 22:04 116K 
[ ]scpinvar__l31_scpinvar2017-01-12 22:04 116K 
[ ]scpinvar__l32_scpinvar2017-01-12 22:04 158K 
[ ]scpinvar__l34_scpinvar2017-01-12 22:04 251K 
[ ]scpinvar__l35_scpinvar2017-01-12 22:04 902K 
[ ]scpinvar__l36_scpinvar2017-01-12 22:04 606K 
[ ]scpinvar__s1_scpinvar2017-01-12 22:03 131K 
[ ]scpinvar__s2_scpinvar2017-01-12 22:03 131K 
[ ]scpinvar__s3_scpinvar2017-01-12 22:03 788K 
[ ]scpinvar__s4_scpinvar2017-01-12 22:03 377K 
[ ]scpinvar__s5_scpinvar2017-01-12 22:03 173K 
[ ]scpinvar__t1_scpinvar2017-01-12 22:03 118K 
[ ]scpinvar__t2_scpinvar2017-01-12 22:03 101K 
[ ]scpinvar__t3_scpinvar2017-01-12 22:03 116K 
[ ]scpinvar__t4_scpinvar2017-01-12 22:03 247K 
[ ]scpinvar__t5_scpinvar2017-01-12 22:03 174K 
[ ]scpinvar__t6_scpinvar2017-01-12 22:03 237K 
[ ]scpinvar__t7_scpinvar2017-01-12 22:03 160K 
[ ]scpinvar__t8_scpinvar2017-01-12 22:03 109K 
[ ]scpinvar__t9_scpinvar2017-01-12 22:03 513K 
[ ]scpinvar__t10_scpinvar2017-01-12 22:03 128K 
[ ]scpinvar__t11_scpinvar2017-01-12 22:03 213K 
[ ]scpinvar__t12_scpinvar2017-01-12 22:03 344K 
[ ]scpinvar__t13_scpinvar2017-01-12 22:03 312K 
[ ]scpinvar__t14_scpinvar2017-01-12 22:03 143K 
[ ]scpinvar__t15_scpinvar2017-01-12 22:03 142K 
[ ]scpinvar__t16_scpinvar2017-01-12 22:03 293K 
[ ]scpinvar__t17_scpinvar2017-01-12 22:03 715K 
[ ]scpinvar__t18_scpinvar2017-01-12 22:03 153K 
[ ]scpinvar__t19_scpinvar2017-01-12 22:03 171K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80