Index of /~mptp/1147/mptp/problems/fib_num

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fib_num__l4_fib_num2023-06-28 00:34 23K 
[   ]fib_num__l5_fib_num2023-06-28 00:34 21K 
[   ]fib_num__l6_fib_num2023-06-28 00:34 22K 
[   ]fib_num__l7_fib_num2023-06-28 00:34 132K 
[   ]fib_num__l8_fib_num2023-06-28 00:34 42K 
[   ]fib_num__l9_fib_num2023-06-28 00:34 30K 
[   ]fib_num__l10_fib_num2023-06-28 00:34 23K 
[   ]fib_num__l12_fib_num2023-06-28 00:34 22K 
[   ]fib_num__l17_fib_num2023-06-28 00:34 510K 
[   ]fib_num__l18_fib_num2023-06-28 00:34 20K 
[   ]fib_num__l19_fib_num2023-06-28 00:34 20K 
[   ]fib_num__l20_fib_num2023-06-28 00:34 27K 
[   ]fib_num__l21_fib_num2023-06-28 00:34 392K 
[   ]fib_num__l22_fib_num2023-06-28 00:34 390K 
[   ]fib_num__l23_fib_num2023-06-28 00:34 392K 
[   ]fib_num__l24_fib_num2023-06-28 00:34 509K 
[   ]fib_num__l26_fib_num2023-06-28 00:34 42K 
[   ]fib_num__l27_fib_num2023-06-28 00:34 396K 
[   ]fib_num__s1_fib_num2023-06-28 00:34 24K 
[   ]fib_num__s2_fib_num2023-06-28 00:34 16K 
[   ]fib_num__t1_fib_num2023-06-28 00:34 18K 
[   ]fib_num__t2_fib_num2023-06-28 00:34 47K 
[   ]fib_num__t3_fib_num2023-06-28 00:34 27K 
[   ]fib_num__t4_fib_num2023-06-28 00:34 107K 
[   ]fib_num__t5_fib_num2023-06-28 00:34 43K 
[   ]fib_num__t6_fib_num2023-06-28 00:34 225K 
[   ]fib_num__t7_fib_num2023-06-28 00:34 561K 
[   ]fib_num__t8_fib_num2023-06-28 00:34 477K 
[   ]fib_num__t9_fib_num2023-06-28 00:34 75K 
[   ]fib_num__t10_fib_num2023-06-28 00:34 71K 
[   ]fib_num__t11_fib_num2023-06-28 00:34 582K 

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