Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rsspace3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rsspace3__t2_rsspace3.depv12021-07-25 20:57 39  
[ ]rsspace3__t2_rsspace3.depvmin12021-07-25 21:03 39  
[ ]rsspace3__l3_rsspace3.depv12021-07-25 20:57 103  
[ ]rsspace3__l3_rsspace3.depvmin12021-07-25 21:03 103  
[ ]rsspace3__l4_rsspace3.depv12021-07-25 20:57 161  
[ ]rsspace3__l4_rsspace3.depvmin12021-07-25 21:03 161  
[ ]rsspace3__t5_rsspace3.depvmin12021-07-25 21:03 259  
[ ]rsspace3__t5_rsspace3.depv12021-07-25 20:57 317  
[ ]rsspace3__l3_rsspace3.vmin12021-07-25 20:57 1.3K 
[ ]rsspace3__t8_rsspace3.vout2021-07-25 17:10 2.0K 
[ ]rsspace3__t2_rsspace3.vmin12021-07-25 20:57 2.5K 
[ ]rsspace3__l13_rsspace3.vout2021-07-25 16:10 4.7K 
[ ]rsspace3__t1_rsspace3.vout2021-07-25 16:39 4.7K 
[ ]rsspace3__t9_rsspace3.vout2021-07-25 15:16 4.7K 
[ ]rsspace3__t3_rsspace3.vout2021-07-25 16:27 4.7K 
[ ]rsspace3__t4_rsspace3.vout2021-07-25 20:56 4.7K 
[ ]rsspace3__t7_rsspace3.vout2021-07-25 15:03 4.7K 
[ ]rsspace3__l4_rsspace3.vmin12021-07-25 20:57 5.7K 
[ ]rsspace3__t6_rsspace3.vout2021-07-25 16:09 6.3K 
[ ]rsspace3__l3_rsspace3.vout2021-07-25 19:25 9.8K 
[ ]rsspace3__l3_rsspace3.vmin1out2021-07-25 21:01 10K 
[ ]rsspace3__t5_rsspace3.vmin12021-07-25 20:57 11K 
[ ]rsspace3__t4_rsspace32021-07-17 19:03 19K 
[ ]rsspace3__t2_rsspace32021-07-17 19:00 22K 
[ ]rsspace3__t2_rsspace3.vout2021-07-25 20:11 24K 
[ ]rsspace3__t8_rsspace32021-07-17 19:05 25K 
[ ]rsspace3__l3_rsspace32021-07-17 19:01 27K 
[ ]rsspace3__t2_rsspace3.vmin1out2021-07-25 20:59 28K 
[ ]rsspace3__l4_rsspace32021-07-17 19:02 29K 
[ ]rsspace3__t3_rsspace32021-07-17 19:03 31K 
[ ]rsspace3__t5_rsspace32021-07-17 19:01 34K 
[ ]rsspace3__t1_rsspace32021-07-17 19:02 47K 
[ ]rsspace3__l13_rsspace32021-07-17 19:07 48K 
[ ]rsspace3__l4_rsspace3.vout2021-07-25 20:27 54K 
[ ]rsspace3__l4_rsspace3.vmin1out2021-07-25 20:57 70K 
[ ]rsspace3__t6_rsspace32021-07-17 19:04 79K 
[ ]rsspace3__t7_rsspace32021-07-17 19:05 85K 
[ ]rsspace3__t9_rsspace32021-07-17 19:06 113K 
[ ]rsspace3__t5_rsspace3.vmin1out2021-07-25 20:59 225K 
[ ]rsspace3__t5_rsspace3.vout2021-07-25 16:41 2.8M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80