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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]realset1__t1_realset12024-07-28 01:59 3.6K 
[   ]realset1__t1_realset1.vout2024-08-03 06:46 7.3K 
[   ]realset1__t2_realset12024-07-28 02:00 5.2K 
[   ]realset1__t2_realset1.depv12024-08-03 10:19 242  
[   ]realset1__t2_realset1.depvmin12024-08-03 10:24 230  
[   ]realset1__t2_realset1.vmin12024-08-03 10:19 3.1K 
[   ]realset1__t2_realset1.vmin1out2024-08-03 10:22 46K 
[   ]realset1__t2_realset1.vout2024-08-03 08:04 46K 
[   ]realset1__t5_realset12024-07-28 02:00 3.8K 
[   ]realset1__t5_realset1.vout2024-08-03 09:48 8.9K 
[   ]realset1__t6_realset12024-07-28 02:01 5.3K 
[   ]realset1__t6_realset1.depv12024-08-03 10:19 242  
[   ]realset1__t6_realset1.depvmin12024-08-03 10:24 230  
[   ]realset1__t6_realset1.vmin12024-08-03 10:19 3.1K 
[   ]realset1__t6_realset1.vmin1out2024-08-03 10:20 46K 
[   ]realset1__t6_realset1.vout2024-08-03 04:31 46K 
[   ]realset1__t7_realset12024-07-28 02:02 11K 
[   ]realset1__t7_realset1.vout2024-08-03 04:07 7.3K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80