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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]arrow__t1_arrow2024-07-28 16:55 59K 
[   ]arrow__t1_arrow.depv12024-08-03 10:19 483  
[   ]arrow__t1_arrow.depvmin12024-08-03 10:24 349  
[   ]arrow__t1_arrow.vmin12024-08-03 10:19 2.7K 
[   ]arrow__t1_arrow.vmin1out2024-08-03 10:21 22K 
[   ]arrow__t1_arrow.vout2024-08-03 08:54 30K 
[   ]arrow__t2_arrow2024-07-28 16:55 29K 
[   ]arrow__t2_arrow.vout2024-08-03 06:11 4.7K 
[   ]arrow__t3_arrow2024-07-28 16:52 8.5K 
[   ]arrow__t3_arrow.depv12024-08-03 10:19 57  
[   ]arrow__t3_arrow.depvmin12024-08-03 10:24 57  
[   ]arrow__t3_arrow.vmin12024-08-03 10:19 1.2K 
[   ]arrow__t3_arrow.vmin1out2024-08-03 10:20 20K 
[   ]arrow__t3_arrow.vout2024-08-03 08:38 20K 
[   ]arrow__t4_arrow2024-07-28 16:53 8.6K 
[   ]arrow__t4_arrow.depv12024-08-03 10:19 57  
[   ]arrow__t4_arrow.depvmin12024-08-03 10:24 57  
[   ]arrow__t4_arrow.vmin12024-08-03 10:19 1.2K 
[   ]arrow__t4_arrow.vmin1out2024-08-03 10:22 22K 
[   ]arrow__t4_arrow.vout2024-08-03 05:31 22K 
[   ]arrow__t5_arrow2024-07-28 16:56 8.9K 
[   ]arrow__t5_arrow.depv12024-08-03 10:19 108  
[   ]arrow__t5_arrow.depvmin12024-08-03 10:24 66  
[   ]arrow__t5_arrow.vmin12024-08-03 10:19 1.8K 
[   ]arrow__t5_arrow.vmin1out2024-08-03 10:21 34K 
[   ]arrow__t5_arrow.vout2024-08-03 04:58 34K 
[   ]arrow__t6_arrow2024-07-28 16:54 8.4K 
[   ]arrow__t6_arrow.depv12024-08-03 10:19 114  
[   ]arrow__t6_arrow.depvmin12024-08-03 10:24 114  
[   ]arrow__t6_arrow.vmin12024-08-03 10:19 1.6K 
[   ]arrow__t6_arrow.vmin1out2024-08-03 10:20 26K 
[   ]arrow__t6_arrow.vout2024-08-03 07:21 27K 
[   ]arrow__t7_arrow2024-07-28 16:57 9.0K 
[   ]arrow__t7_arrow.vout2024-08-03 04:55 7.1K 
[   ]arrow__t8_arrow2024-07-28 16:58 8.9K 
[   ]arrow__t8_arrow.vout2024-08-03 05:48 7.1K 
[   ]arrow__t9_arrow2024-07-28 16:59 8.9K 
[   ]arrow__t9_arrow.vout2024-08-03 07:39 7.1K 
[   ]arrow__t10_arrow2024-07-28 17:00 9.9K 
[   ]arrow__t10_arrow.vout2024-08-03 09:01 7.1K 
[   ]arrow__t11_arrow2024-07-28 17:00 9.9K 
[   ]arrow__t11_arrow.vout2024-08-03 04:47 7.1K 
[   ]arrow__t12_arrow2024-07-28 17:01 9.3K 
[   ]arrow__t12_arrow.depv12024-08-03 10:19 105  
[   ]arrow__t12_arrow.depvmin12024-08-03 10:24 105  
[   ]arrow__t12_arrow.vmin12024-08-03 10:19 2.2K 
[   ]arrow__t12_arrow.vmin1out2024-08-03 10:21 31K 
[   ]arrow__t12_arrow.vout2024-08-03 05:22 32K 
[   ]arrow__t13_arrow2024-07-28 17:02 8.9K 
[   ]arrow__t13_arrow.depv12024-08-03 10:19 37  
[   ]arrow__t13_arrow.depvmin12024-08-03 10:24 37  
[   ]arrow__t13_arrow.vmin12024-08-03 10:19 1.1K 
[   ]arrow__t13_arrow.vmin1out2024-08-03 10:20 24K 
[   ]arrow__t13_arrow.vout2024-08-03 04:38 20K 
[   ]arrow__t14_arrow2024-07-28 17:04 80K 
[   ]arrow__t14_arrow.vout2024-08-03 07:10 4.7K 
[   ]arrow__t15_arrow2024-07-28 17:06 27K 
[   ]arrow__t15_arrow.vout2024-08-03 05:18 4.1K 

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