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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpinvar__l6_scpinvar2017-03-01 15:15 121K 
[ ]scpinvar__l7_scpinvar2017-03-01 15:15 458K 
[ ]scpinvar__l8_scpinvar2017-03-01 15:15 457K 
[ ]scpinvar__l12_scpinvar2017-03-01 15:15 139K 
[ ]scpinvar__l13_scpinvar2017-03-01 15:15 84K 
[ ]scpinvar__l14_scpinvar2017-03-01 15:15 85K 
[ ]scpinvar__l18_scpinvar2017-03-01 15:15 60K 
[ ]scpinvar__l22_scpinvar2017-03-01 15:15 53K 
[ ]scpinvar__l27_scpinvar2017-03-01 15:15 56K 
[ ]scpinvar__l31_scpinvar2017-03-01 15:15 56K 
[ ]scpinvar__l32_scpinvar2017-03-01 15:15 78K 
[ ]scpinvar__l34_scpinvar2017-03-01 15:15 132K 
[ ]scpinvar__l35_scpinvar2017-03-01 15:15 526K 
[ ]scpinvar__l36_scpinvar2017-03-01 15:15 338K 
[ ]scpinvar__t1_scpinvar2017-03-01 15:15 57K 
[ ]scpinvar__t2_scpinvar2017-03-01 15:15 50K 
[ ]scpinvar__t3_scpinvar2017-03-01 15:15 59K 
[ ]scpinvar__t4_scpinvar2017-03-01 15:15 129K 
[ ]scpinvar__t5_scpinvar2017-03-01 15:15 80K 
[ ]scpinvar__t6_scpinvar2017-03-01 15:15 123K 
[ ]scpinvar__t7_scpinvar2017-03-01 15:15 74K 
[ ]scpinvar__t8_scpinvar2017-03-01 15:15 53K 
[ ]scpinvar__t9_scpinvar2017-03-01 15:15 301K 
[ ]scpinvar__t10_scpinvar2017-03-01 15:15 64K 
[ ]scpinvar__t11_scpinvar2017-03-01 15:15 112K 
[ ]scpinvar__t12_scpinvar2017-03-01 15:15 173K 
[ ]scpinvar__t13_scpinvar2017-03-01 15:15 153K 
[ ]scpinvar__t14_scpinvar2017-03-01 15:15 65K 
[ ]scpinvar__t15_scpinvar2017-03-01 15:15 65K 
[ ]scpinvar__t16_scpinvar2017-03-01 15:15 154K 
[ ]scpinvar__t17_scpinvar2017-03-01 15:15 415K 
[ ]scpinvar__t18_scpinvar2017-03-01 15:15 75K 
[ ]scpinvar__t19_scpinvar2017-03-01 15:15 84K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80