Index of /~mptp/mml5.63.1382/MPTP2/problems/scheme1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scheme1__s1_scheme12023-06-28 16:06 52K 
[ ]scheme1__s2_scheme12023-06-28 16:06 146K 
[ ]scheme1__s3_scheme12023-06-28 16:07 650K 
[ ]scheme1__s4_scheme12023-06-28 16:07 854K 
[ ]scheme1__s5_scheme12023-06-28 16:08 1.7M 
[ ]scheme1__s6_scheme12023-06-28 16:08 26K 
[ ]scheme1__s7_scheme12023-06-28 16:09 26K 
[ ]scheme1__s8_scheme12023-06-28 16:09 22K 
[ ]scheme1__s9_scheme12023-06-28 16:09 27K 
[ ]scheme1__s10_scheme12023-06-28 16:10 27K 
[ ]scheme1__s11_scheme12023-06-28 16:10 28K 
[ ]scheme1__s12_scheme12023-06-28 16:11 27K 
[ ]scheme1__s13_scheme12023-06-28 16:11 27K 
[ ]scheme1__s14_scheme12023-06-28 16:11 28K 
[ ]scheme1__s15_scheme12023-06-28 16:12 28K 
[ ]scheme1__s16_scheme12023-06-28 16:12 29K 
[ ]scheme1__s17_scheme12023-06-28 16:13 28K 
[ ]scheme1__s18_scheme12023-06-28 16:13 29K 
[ ]scheme1__s19_scheme12023-06-28 16:14 24K 
[ ]scheme1__s20_scheme12023-06-28 16:14 25K 
[ ]scheme1__s21_scheme12023-06-28 16:14 24K 
[ ]scheme1__s22_scheme12023-06-28 16:15 26K 
[ ]scheme1__t1_scheme12023-06-28 16:15 38K 
[ ]scheme1__t2_scheme12023-06-28 16:15 49K 
[ ]scheme1__t3_scheme12023-06-28 16:16 63K 
[ ]scheme1__t4_scheme12023-06-28 16:16 79K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80