Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rsspace3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rsspace3__l3_rsspace32024-07-27 18:57 30K 
[ ]rsspace3__l3_rsspace3.depv12024-08-03 10:19 103  
[ ]rsspace3__l3_rsspace3.depvmin12024-08-03 10:24 103  
[ ]rsspace3__l3_rsspace3.vmin12024-08-03 10:19 1.3K 
[ ]rsspace3__l3_rsspace3.vmin1out2024-08-03 10:22 10K 
[ ]rsspace3__l3_rsspace3.vout2024-08-03 09:12 9.9K 
[ ]rsspace3__l4_rsspace32024-07-27 18:58 32K 
[ ]rsspace3__l4_rsspace3.depv12024-08-03 10:19 161  
[ ]rsspace3__l4_rsspace3.depvmin12024-08-03 10:24 161  
[ ]rsspace3__l4_rsspace3.vmin12024-08-03 10:19 5.7K 
[ ]rsspace3__l4_rsspace3.vmin1out2024-08-03 10:23 70K 
[ ]rsspace3__l4_rsspace3.vout2024-08-03 05:08 54K 
[ ]rsspace3__l13_rsspace32024-07-27 19:13 51K 
[ ]rsspace3__l13_rsspace3.vout2024-08-03 04:10 4.7K 
[ ]rsspace3__t1_rsspace32024-07-27 19:00 51K 
[ ]rsspace3__t1_rsspace3.vout2024-08-03 08:22 4.7K 
[ ]rsspace3__t2_rsspace32024-07-27 18:53 26K 
[ ]rsspace3__t2_rsspace3.depv12024-08-03 10:19 39  
[ ]rsspace3__t2_rsspace3.depvmin12024-08-03 10:24 39  
[ ]rsspace3__t2_rsspace3.vmin12024-08-03 10:19 2.5K 
[ ]rsspace3__t2_rsspace3.vmin1out2024-08-03 10:21 28K 
[ ]rsspace3__t2_rsspace3.vout2024-08-03 05:46 24K 
[ ]rsspace3__t3_rsspace32024-07-27 19:01 35K 
[ ]rsspace3__t3_rsspace3.vout2024-08-03 09:23 5.3K 
[ ]rsspace3__t4_rsspace32024-07-27 19:02 22K 
[ ]rsspace3__t4_rsspace3.vout2024-08-03 05:24 4.7K 
[ ]rsspace3__t5_rsspace32024-07-27 18:55 38K 
[ ]rsspace3__t5_rsspace3.depv12024-08-03 10:19 272  
[ ]rsspace3__t5_rsspace3.depvmin12024-08-03 10:24 244  
[ ]rsspace3__t5_rsspace3.vmin12024-08-03 10:19 10K 
[ ]rsspace3__t5_rsspace3.vmin1out2024-08-03 10:20 223K 
[ ]rsspace3__t5_rsspace3.vout2024-08-03 06:45 2.3M 
[ ]rsspace3__t6_rsspace32024-07-27 19:04 82K 
[ ]rsspace3__t6_rsspace3.vout2024-08-03 10:09 6.3K 
[ ]rsspace3__t7_rsspace32024-07-27 19:07 88K 
[ ]rsspace3__t7_rsspace3.vout2024-08-03 07:12 4.7K 
[ ]rsspace3__t8_rsspace32024-07-27 19:09 29K 
[ ]rsspace3__t8_rsspace3.vout2024-08-03 06:27 2.0K 
[ ]rsspace3__t9_rsspace32024-07-27 19:12 115K 
[ ]rsspace3__t9_rsspace3.vout2024-08-03 08:12 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80