Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fib_num

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fib_num__l4_fib_num2025-09-12 18:19 21K 
[   ]fib_num__l5_fib_num2025-09-12 18:20 18K 
[   ]fib_num__l6_fib_num2025-09-12 18:20 19K 
[   ]fib_num__l7_fib_num2025-09-12 18:37 135K 
[   ]fib_num__l8_fib_num2025-09-12 18:38 39K 
[   ]fib_num__l9_fib_num2025-09-12 18:39 28K 
[   ]fib_num__l10_fib_num2025-09-12 18:40 20K 
[   ]fib_num__l12_fib_num2025-09-12 18:41 19K 
[   ]fib_num__l17_fib_num2025-09-12 18:42 678K 
[   ]fib_num__l18_fib_num2025-09-12 18:21 17K 
[   ]fib_num__l19_fib_num2025-09-12 18:22 17K 
[   ]fib_num__l20_fib_num2025-09-12 18:43 24K 
[   ]fib_num__l21_fib_num2025-09-12 18:44 489K 
[   ]fib_num__l22_fib_num2025-09-12 18:23 487K 
[   ]fib_num__l23_fib_num2025-09-12 18:45 489K 
[   ]fib_num__l24_fib_num2025-09-12 18:46 676K 
[   ]fib_num__l26_fib_num2025-09-12 18:47 38K 
[   ]fib_num__l27_fib_num2025-09-12 18:48 491K 
[   ]fib_num__s1_fib_num2025-09-12 18:24 21K 
[   ]fib_num__s2_fib_num2025-09-12 18:25 7.4K 
[   ]fib_num__t1_fib_num2025-09-12 18:25 7.0K 
[   ]fib_num__t2_fib_num2025-09-12 18:26 44K 
[   ]fib_num__t3_fib_num2025-09-12 18:27 23K 
[   ]fib_num__t4_fib_num2025-09-12 18:28 106K 
[   ]fib_num__t5_fib_num2025-09-12 18:29 40K 
[   ]fib_num__t6_fib_num2025-09-12 18:31 239K 
[   ]fib_num__t7_fib_num2025-09-12 18:32 769K 
[   ]fib_num__t8_fib_num2025-09-12 18:33 610K 
[   ]fib_num__t9_fib_num2025-09-12 18:35 79K 
[   ]fib_num__t10_fib_num2025-09-12 18:36 76K 

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