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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fib_num__l4_fib_num2017-01-13 17:42 34K 
[   ]fib_num__l5_fib_num2017-01-13 17:42 30K 
[   ]fib_num__l6_fib_num2017-01-13 17:42 32K 
[   ]fib_num__l7_fib_num2017-01-13 17:42 152K 
[   ]fib_num__l8_fib_num2017-01-13 17:42 57K 
[   ]fib_num__l9_fib_num2017-01-13 17:43 43K 
[   ]fib_num__l10_fib_num2017-01-13 17:43 34K 
[   ]fib_num__l12_fib_num2017-01-13 17:43 33K 
[   ]fib_num__l17_fib_num2017-01-13 17:43 542K 
[   ]fib_num__l18_fib_num2017-01-13 17:42 29K 
[   ]fib_num__l19_fib_num2017-01-13 17:42 29K 
[   ]fib_num__l20_fib_num2017-01-13 17:43 38K 
[   ]fib_num__l21_fib_num2017-01-13 17:43 420K 
[   ]fib_num__l22_fib_num2017-01-13 17:42 418K 
[   ]fib_num__l23_fib_num2017-01-13 17:43 420K 
[   ]fib_num__l24_fib_num2017-01-13 17:43 541K 
[   ]fib_num__l26_fib_num2017-01-13 17:43 60K 
[   ]fib_num__l27_fib_num2017-01-13 17:43 425K 
[   ]fib_num__s1_fib_num2017-01-13 17:42 35K 
[   ]fib_num__s2_fib_num2017-01-13 17:42 24K 
[   ]fib_num__t1_fib_num2017-01-13 17:42 27K 
[   ]fib_num__t2_fib_num2017-01-13 17:42 65K 
[   ]fib_num__t3_fib_num2017-01-13 17:42 39K 
[   ]fib_num__t4_fib_num2017-01-13 17:42 126K 
[   ]fib_num__t5_fib_num2017-01-13 17:42 62K 
[   ]fib_num__t6_fib_num2017-01-13 17:42 248K 
[   ]fib_num__t7_fib_num2017-01-13 17:42 596K 
[   ]fib_num__t8_fib_num2017-01-13 17:42 508K 
[   ]fib_num__t9_fib_num2017-01-13 17:42 115K 
[   ]fib_num__t10_fib_num2017-01-13 17:42 110K 
[   ]fib_num__t11_fib_num2017-01-13 17:42 674K 

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