Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf1/fib_num

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fib_num__l7_fib_num2023-06-27 17:15 124K 
[   ]fib_num__l8_fib_num2023-06-27 17:15 41K 
[   ]fib_num__l9_fib_num2023-06-27 17:15 29K 
[   ]fib_num__l12_fib_num2023-06-27 17:15 22K 
[   ]fib_num__l26_fib_num2023-06-27 17:15 41K 
[   ]fib_num__t2_fib_num2023-06-27 17:15 46K 
[   ]fib_num__t4_fib_num2023-06-27 17:15 101K 
[   ]fib_num__t5_fib_num2023-06-27 17:15 42K 
[   ]fib_num__t7_fib_num2023-06-27 17:15 520K 
[   ]fib_num__t11_fib_num2023-06-27 17:15 548K 

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