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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fib_num__l7_fib_num2023-06-27 16:44 122K 
[   ]fib_num__l8_fib_num2023-06-27 16:44 40K 
[   ]fib_num__l9_fib_num2023-06-27 16:44 29K 
[   ]fib_num__l12_fib_num2023-06-27 16:44 22K 
[   ]fib_num__l26_fib_num2023-06-27 16:44 41K 
[   ]fib_num__t2_fib_num2023-06-27 16:44 46K 
[   ]fib_num__t4_fib_num2023-06-27 16:44 99K 
[   ]fib_num__t5_fib_num2023-06-27 16:44 42K 
[   ]fib_num__t7_fib_num2023-06-27 16:44 509K 
[   ]fib_num__t11_fib_num2023-06-27 16:44 538K 

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