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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]realset1__t2_realset1.depvmin12025-09-15 19:52 230  
[   ]realset1__t6_realset1.depvmin12025-09-15 19:52 230  
[   ]realset1__t2_realset1.depv12025-09-15 19:47 242  
[   ]realset1__t6_realset1.depv12025-09-15 19:47 242  
[   ]realset1__t2_realset1.vmin12025-09-15 19:47 3.1K 
[   ]realset1__t6_realset1.vmin12025-09-15 19:47 3.1K 
[   ]realset1__t1_realset12025-09-08 02:41 3.6K 
[   ]realset1__t5_realset12025-09-08 02:42 3.8K 
[   ]realset1__t2_realset12025-09-08 02:41 5.2K 
[   ]realset1__t6_realset12025-09-08 02:42 5.3K 
[   ]realset1__t7_realset1.vout2025-09-15 14:32 6.8K 
[   ]realset1__t1_realset1.vout2025-09-15 18:01 7.3K 
[   ]realset1__t5_realset1.vout2025-09-15 15:03 9.0K 
[   ]realset1__t7_realset12025-09-08 02:43 11K 
[   ]realset1__t2_realset1.vmin1out2025-09-15 19:51 46K 
[   ]realset1__t6_realset1.vmin1out2025-09-15 19:48 46K 
[   ]realset1__t2_realset1.vout2025-09-15 19:36 46K 
[   ]realset1__t6_realset1.vout2025-09-15 15:48 46K 

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