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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff_2__t4_ndiff_22024-07-28 00:18 38K 
[   ]ndiff_2__t4_ndiff_2.vout2024-08-03 05:04 6.2K 
[   ]ndiff_2__t5_ndiff_22024-07-28 00:20 52K 
[   ]ndiff_2__t5_ndiff_2.vout2024-08-03 07:28 6.8K 
[   ]ndiff_2__t6_ndiff_22024-07-28 00:22 59K 
[   ]ndiff_2__t6_ndiff_2.vout2024-08-03 07:13 7.3K 
[   ]ndiff_2__t7_ndiff_22024-07-28 00:24 50K 
[   ]ndiff_2__t7_ndiff_2.vout2024-08-03 05:10 6.8K 
[   ]ndiff_2__t8_ndiff_22024-07-28 00:26 67K 
[   ]ndiff_2__t8_ndiff_2.vout2024-08-03 04:18 6.8K 
[   ]ndiff_2__t9_ndiff_22024-07-28 00:28 64K 
[   ]ndiff_2__t9_ndiff_2.vout2024-08-03 10:02 6.8K 
[   ]ndiff_2__t10_ndiff_22024-07-28 00:30 75K 
[   ]ndiff_2__t10_ndiff_2.vout2024-08-03 07:35 6.8K 
[   ]ndiff_2__t11_ndiff_22024-07-28 00:32 89K 
[   ]ndiff_2__t11_ndiff_2.vout2024-08-03 06:06 6.8K 
[   ]ndiff_2__t12_ndiff_22024-07-28 00:34 45K 
[   ]ndiff_2__t12_ndiff_2.vout2024-08-03 05:01 1.1K 

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