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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]recdef_2__t2_recdef_22024-07-27 04:52 6.7K 
[ ]recdef_2__t2_recdef_2.depv12024-08-03 10:19 156  
[ ]recdef_2__t2_recdef_2.depvmin12024-08-03 10:24 156  
[ ]recdef_2__t2_recdef_2.vmin12024-08-03 10:20 1.4K 
[ ]recdef_2__t2_recdef_2.vmin1out2024-08-03 10:20 23K 
[ ]recdef_2__t2_recdef_2.vout2024-08-03 06:34 24K 
[ ]recdef_2__t3_recdef_22024-07-27 04:52 6.7K 
[ ]recdef_2__t3_recdef_2.depv12024-08-03 10:19 133  
[ ]recdef_2__t3_recdef_2.depvmin12024-08-03 10:24 133  
[ ]recdef_2__t3_recdef_2.vmin12024-08-03 10:20 1.2K 
[ ]recdef_2__t3_recdef_2.vmin1out2024-08-03 10:23 17K 
[ ]recdef_2__t3_recdef_2.vout2024-08-03 05:15 17K 
[ ]recdef_2__t5_recdef_22024-07-27 04:53 7.2K 
[ ]recdef_2__t5_recdef_2.depv12024-08-03 10:19 172  
[ ]recdef_2__t5_recdef_2.depvmin12024-08-03 10:24 172  
[ ]recdef_2__t5_recdef_2.vmin12024-08-03 10:20 1.7K 
[ ]recdef_2__t5_recdef_2.vmin1out2024-08-03 10:23 30K 
[ ]recdef_2__t5_recdef_2.vout2024-08-03 09:47 30K 
[ ]recdef_2__t6_recdef_22024-07-27 04:54 7.2K 
[ ]recdef_2__t6_recdef_2.depv12024-08-03 10:19 135  
[ ]recdef_2__t6_recdef_2.depvmin12024-08-03 10:24 135  
[ ]recdef_2__t6_recdef_2.vmin12024-08-03 10:20 1.4K 
[ ]recdef_2__t6_recdef_2.vmin1out2024-08-03 10:23 20K 
[ ]recdef_2__t6_recdef_2.vout2024-08-03 06:58 20K 
[ ]recdef_2__t10_recdef_22024-07-27 04:55 6.5K 
[ ]recdef_2__t10_recdef_2.depv12024-08-03 10:19 48  
[ ]recdef_2__t10_recdef_2.depvmin12024-08-03 10:24 48  
[ ]recdef_2__t10_recdef_2.vmin12024-08-03 10:20 557  
[ ]recdef_2__t10_recdef_2.vmin1out2024-08-03 10:22 9.2K 
[ ]recdef_2__t10_recdef_2.vout2024-08-03 07:44 9.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80