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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_6__l1_rusub_62025-09-09 21:05 36K 
[ ]rusub_6__l1_rusub_6.depv12025-09-15 19:47 126  
[ ]rusub_6__l1_rusub_6.depvmin12025-09-15 19:52 126  
[ ]rusub_6__l1_rusub_6.vmin12025-09-15 19:47 2.8K 
[ ]rusub_6__l1_rusub_6.vmin1out2025-09-15 19:50 50K 
[ ]rusub_6__l1_rusub_6.vout2025-09-15 16:36 51K 
[ ]rusub_6__t1_rusub_62025-09-09 20:44 70K 
[ ]rusub_6__t1_rusub_6.vout2025-09-15 19:20 3.7K 
[ ]rusub_6__t2_rusub_62025-09-09 20:45 32K 
[ ]rusub_6__t2_rusub_6.depv12025-09-15 19:47 87  
[ ]rusub_6__t2_rusub_6.depvmin12025-09-15 19:52 87  
[ ]rusub_6__t2_rusub_6.vmin12025-09-15 19:47 3.0K 
[ ]rusub_6__t2_rusub_6.vmin1out2025-09-15 19:48 54K 
[ ]rusub_6__t2_rusub_6.vout2025-09-15 14:05 56K 
[ ]rusub_6__t3_rusub_62025-09-09 20:47 27K 
[ ]rusub_6__t3_rusub_6.depv12025-09-15 19:47 63  
[ ]rusub_6__t3_rusub_6.depvmin12025-09-15 19:52 63  
[ ]rusub_6__t3_rusub_6.vmin12025-09-15 19:47 2.4K 
[ ]rusub_6__t3_rusub_6.vmin1out2025-09-15 19:50 20K 
[ ]rusub_6__t3_rusub_6.vout2025-09-15 17:33 73K 
[ ]rusub_6__t4_rusub_62025-09-09 20:48 33K 
[ ]rusub_6__t4_rusub_6.depv12025-09-15 19:47 228  
[ ]rusub_6__t4_rusub_6.depvmin12025-09-15 19:52 228  
[ ]rusub_6__t4_rusub_6.vmin12025-09-15 19:47 3.2K 
[ ]rusub_6__t4_rusub_6.vmin1out2025-09-15 19:48 61K 
[ ]rusub_6__t4_rusub_6.vout2025-09-15 19:09 47K 
[ ]rusub_6__t5_rusub_62025-09-09 20:50 74K 
[ ]rusub_6__t5_rusub_6.vout2025-09-15 19:34 7.3K 
[ ]rusub_6__t6_rusub_62025-09-09 20:53 79K 
[ ]rusub_6__t6_rusub_6.vout2025-09-15 18:19 7.3K 
[ ]rusub_6__t7_rusub_62025-09-09 20:55 40K 
[ ]rusub_6__t7_rusub_6.vout2025-09-15 16:38 6.8K 
[ ]rusub_6__t8_rusub_62025-09-09 20:57 50K 
[ ]rusub_6__t8_rusub_6.vout2025-09-15 17:42 5.8K 
[ ]rusub_6__t9_rusub_62025-09-09 21:01 114K 
[ ]rusub_6__t9_rusub_6.vout2025-09-15 19:39 3.7K 
[ ]rusub_6__t10_rusub_62025-09-09 21:03 51K 
[ ]rusub_6__t10_rusub_6.depv12025-09-15 19:47 73  
[ ]rusub_6__t10_rusub_6.depvmin12025-09-15 19:52 73  
[ ]rusub_6__t10_rusub_6.vmin12025-09-15 19:47 3.0K 
[ ]rusub_6__t10_rusub_6.vmin1out2025-09-15 19:50 42K 
[ ]rusub_6__t10_rusub_6.vout2025-09-15 16:04 43K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80