Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/rsspace3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rsspace3__l3_rsspace32025-09-09 08:30 30K 
[ ]rsspace3__l3_rsspace3.depv12025-09-15 19:46 103  
[ ]rsspace3__l3_rsspace3.depvmin12025-09-15 19:51 103  
[ ]rsspace3__l3_rsspace3.vmin12025-09-15 19:47 1.3K 
[ ]rsspace3__l3_rsspace3.vmin1out2025-09-15 19:50 10K 
[ ]rsspace3__l3_rsspace3.vout2025-09-15 15:49 9.9K 
[ ]rsspace3__l4_rsspace32025-09-09 08:31 32K 
[ ]rsspace3__l4_rsspace3.depv12025-09-15 19:46 161  
[ ]rsspace3__l4_rsspace3.depvmin12025-09-15 19:51 161  
[ ]rsspace3__l4_rsspace3.vmin12025-09-15 19:47 5.7K 
[ ]rsspace3__l4_rsspace3.vmin1out2025-09-15 19:48 70K 
[ ]rsspace3__l4_rsspace3.vout2025-09-15 13:42 54K 
[ ]rsspace3__l13_rsspace32025-09-09 08:47 51K 
[ ]rsspace3__l13_rsspace3.vout2025-09-15 15:47 4.7K 
[ ]rsspace3__t1_rsspace32025-09-09 08:33 51K 
[ ]rsspace3__t1_rsspace3.vout2025-09-15 17:02 4.7K 
[ ]rsspace3__t2_rsspace32025-09-09 08:26 26K 
[ ]rsspace3__t2_rsspace3.depv12025-09-15 19:46 39  
[ ]rsspace3__t2_rsspace3.depvmin12025-09-15 19:51 39  
[ ]rsspace3__t2_rsspace3.vmin12025-09-15 19:47 2.5K 
[ ]rsspace3__t2_rsspace3.vmin1out2025-09-15 19:49 28K 
[ ]rsspace3__t2_rsspace3.vout2025-09-15 18:54 24K 
[ ]rsspace3__t3_rsspace32025-09-09 08:34 35K 
[ ]rsspace3__t3_rsspace3.vout2025-09-15 17:59 4.7K 
[ ]rsspace3__t4_rsspace32025-09-09 08:35 22K 
[ ]rsspace3__t4_rsspace3.vout2025-09-15 15:27 4.7K 
[ ]rsspace3__t5_rsspace32025-09-09 08:28 38K 
[ ]rsspace3__t5_rsspace3.depv12025-09-15 19:46 272  
[ ]rsspace3__t5_rsspace3.depvmin12025-09-15 19:51 244  
[ ]rsspace3__t5_rsspace3.vmin12025-09-15 19:47 10K 
[ ]rsspace3__t5_rsspace3.vmin1out2025-09-15 19:48 223K 
[ ]rsspace3__t5_rsspace3.vout2025-09-15 14:13 2.3M 
[ ]rsspace3__t6_rsspace32025-09-09 08:38 82K 
[ ]rsspace3__t6_rsspace3.vout2025-09-15 17:00 6.3K 
[ ]rsspace3__t7_rsspace32025-09-09 08:40 88K 
[ ]rsspace3__t7_rsspace3.vout2025-09-15 14:34 4.7K 
[ ]rsspace3__t8_rsspace32025-09-09 08:42 29K 
[ ]rsspace3__t8_rsspace3.vout2025-09-15 16:55 2.0K 
[ ]rsspace3__t9_rsspace32025-09-09 08:45 115K 
[ ]rsspace3__t9_rsspace3.vout2025-09-15 18:47 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80