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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rsspace__t17_rsspace.vout2021-07-25 16:16 6.8K 
[ ]rsspace__t17_rsspace2021-07-18 09:44 42K 
[ ]rsspace__t16_rsspace.vout2021-07-25 19:24 6.8K 
[ ]rsspace__t16_rsspace2021-07-18 09:43 31K 
[ ]rsspace__t15_rsspace.vout2021-07-25 20:42 7.3K 
[ ]rsspace__t15_rsspace2021-07-18 09:43 35K 
[ ]rsspace__t13_rsspace.vout2021-07-25 17:11 62K 
[ ]rsspace__t13_rsspace.vmin1out2021-07-25 20:59 32K 
[ ]rsspace__t13_rsspace.vmin12021-07-25 20:57 4.8K 
[ ]rsspace__t13_rsspace.depvmin12021-07-25 21:03 102  
[ ]rsspace__t13_rsspace.depv12021-07-25 20:57 159  
[ ]rsspace__t13_rsspace2021-07-18 09:40 33K 
[ ]rsspace__t12_rsspace.vout2021-07-25 20:23 9.7K 
[ ]rsspace__t12_rsspace.vmin1out2021-07-25 20:58 10K 
[ ]rsspace__t12_rsspace.vmin12021-07-25 20:57 1.3K 
[ ]rsspace__t12_rsspace.depvmin12021-07-25 21:03 88  
[ ]rsspace__t12_rsspace.depv12021-07-25 20:57 88  
[ ]rsspace__t12_rsspace2021-07-18 09:40 32K 
[ ]rsspace__t11_rsspace.vout2021-07-25 18:56 81K 
[ ]rsspace__t11_rsspace.vmin1out2021-07-25 20:58 92K 
[ ]rsspace__t11_rsspace.vmin12021-07-25 20:57 4.6K 
[ ]rsspace__t11_rsspace.depvmin12021-07-25 21:03 140  
[ ]rsspace__t11_rsspace.depv12021-07-25 20:57 155  
[ ]rsspace__t11_rsspace2021-07-18 09:42 33K 
[ ]rsspace__t5_rsspace.vout2021-07-25 17:13 23K 
[ ]rsspace__t5_rsspace.vmin1out2021-07-25 21:00 23K 
[ ]rsspace__t5_rsspace.vmin12021-07-25 20:57 2.3K 
[ ]rsspace__t5_rsspace.depvmin12021-07-25 21:03 323  
[ ]rsspace__t5_rsspace.depv12021-07-25 20:57 323  
[ ]rsspace__t5_rsspace2021-07-18 09:42 23K 
[ ]rsspace__t4_rsspace.vout2021-07-25 15:16 26K 
[ ]rsspace__t4_rsspace.vmin1out2021-07-25 21:00 33K 
[ ]rsspace__t4_rsspace.vmin12021-07-25 20:57 3.2K 
[ ]rsspace__t4_rsspace.depvmin12021-07-25 21:03 392  
[ ]rsspace__t4_rsspace.depv12021-07-25 20:57 404  
[ ]rsspace__t4_rsspace2021-07-18 09:42 23K 
[ ]rsspace__t3_rsspace.vout2021-07-25 16:14 4.7K 
[ ]rsspace__t3_rsspace2021-07-18 09:41 39K 
[ ]rsspace__t2_rsspace.vout2021-07-25 15:45 5.8K 
[ ]rsspace__t2_rsspace2021-07-18 09:41 44K 
[ ]rsspace__t1_rsspace.vout2021-07-25 16:37 6.2K 
[ ]rsspace__t1_rsspace.vmin1out2021-07-25 21:02 8.6K 
[ ]rsspace__t1_rsspace.vmin12021-07-25 20:57 719  
[ ]rsspace__t1_rsspace.depvmin12021-07-25 21:03 47  
[ ]rsspace__t1_rsspace.depv12021-07-25 20:57 47  
[ ]rsspace__t1_rsspace2021-07-18 09:39 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80