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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]conaffm__t1_conaffm2024-07-27 09:04 14K 
[   ]conaffm__t1_conaffm.vout2024-08-03 05:10 4.1K 
[   ]conaffm__t2_conaffm2024-07-27 09:03 1.0K 
[   ]conaffm__t2_conaffm.vout2024-08-03 08:29 887  
[   ]conaffm__t3_conaffm2024-07-27 09:05 14K 
[   ]conaffm__t3_conaffm.vout2024-08-03 07:07 4.1K 
[   ]conaffm__t4_conaffm2024-07-27 09:06 12K 
[   ]conaffm__t4_conaffm.vout2024-08-03 09:54 4.1K 
[   ]conaffm__t5_conaffm2024-07-27 09:07 13K 
[   ]conaffm__t5_conaffm.vout2024-08-03 09:07 4.1K 
[   ]conaffm__t6_conaffm2024-07-27 09:08 14K 
[   ]conaffm__t6_conaffm.vout2024-08-03 07:15 4.1K 

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