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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fuzimpl1__t1_fuzimpl12024-07-28 08:27 13K 
[   ]fuzimpl1__t1_fuzimpl1.depv12024-08-03 10:19 276  
[   ]fuzimpl1__t1_fuzimpl1.vmin12024-08-03 10:20 2.2K 
[   ]fuzimpl1__t1_fuzimpl1.vmin1out2024-08-03 10:21 2.0K 
[   ]fuzimpl1__t1_fuzimpl1.vout2024-08-03 06:20 19K 
[   ]fuzimpl1__t2_fuzimpl12024-07-28 08:28 18K 
[   ]fuzimpl1__t2_fuzimpl1.vout2024-08-03 06:25 2.0K 
[   ]fuzimpl1__t3_fuzimpl12024-07-28 08:29 20K 
[   ]fuzimpl1__t3_fuzimpl1.vout2024-08-03 07:48 2.0K 
[   ]fuzimpl1__t4_fuzimpl12024-07-28 08:30 14K 
[   ]fuzimpl1__t4_fuzimpl1.depv12024-08-03 10:19 243  
[   ]fuzimpl1__t4_fuzimpl1.depvmin12024-08-03 10:24 231  
[   ]fuzimpl1__t4_fuzimpl1.vmin12024-08-03 10:20 1.8K 
[   ]fuzimpl1__t4_fuzimpl1.vmin1out2024-08-03 10:22 14K 
[   ]fuzimpl1__t4_fuzimpl1.vout2024-08-03 07:47 15K 
[   ]fuzimpl1__t5_fuzimpl12024-07-28 08:31 13K 
[   ]fuzimpl1__t5_fuzimpl1.depv12024-08-03 10:19 451  
[   ]fuzimpl1__t5_fuzimpl1.depvmin12024-08-03 10:24 425  
[   ]fuzimpl1__t5_fuzimpl1.vmin12024-08-03 10:20 3.7K 
[   ]fuzimpl1__t5_fuzimpl1.vmin1out2024-08-03 10:21 43K 
[   ]fuzimpl1__t5_fuzimpl1.vout2024-08-03 08:17 46K 
[   ]fuzimpl1__t6_fuzimpl12024-07-28 08:31 13K 
[   ]fuzimpl1__t6_fuzimpl1.depv12024-08-03 10:19 387  
[   ]fuzimpl1__t6_fuzimpl1.depvmin12024-08-03 10:24 387  
[   ]fuzimpl1__t6_fuzimpl1.vmin12024-08-03 10:20 3.3K 
[   ]fuzimpl1__t6_fuzimpl1.vmin1out2024-08-03 10:21 43K 
[   ]fuzimpl1__t6_fuzimpl1.vout2024-08-03 05:10 43K 
[   ]fuzimpl1__t7_fuzimpl12024-07-28 08:32 15K 
[   ]fuzimpl1__t7_fuzimpl1.vout2024-08-03 07:10 3.8K 
[   ]fuzimpl1__t8_fuzimpl12024-07-28 08:33 15K 
[   ]fuzimpl1__t8_fuzimpl1.vout2024-08-03 04:52 3.8K 
[   ]fuzimpl1__t9_fuzimpl12024-07-28 08:34 18K 
[   ]fuzimpl1__t9_fuzimpl1.vout2024-08-03 04:10 4.7K 
[   ]fuzimpl1__t10_fuzimpl12024-07-28 08:36 18K 
[   ]fuzimpl1__t10_fuzimpl1.vout2024-08-03 06:21 4.7K 

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