Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fib_num

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num__l4_fib_num2024-07-28 22:25 12K 
[ ]fib_num__l4_fib_num.depv12024-08-03 10:19 164  
[ ]fib_num__l4_fib_num.depvmin12024-08-03 10:24 164  
[ ]fib_num__l4_fib_num.vmin12024-08-03 10:20 880  
[ ]fib_num__l4_fib_num.vmin1out2024-08-03 10:20 6.0K 
[ ]fib_num__l4_fib_num.vout2024-08-03 09:05 6.5K 
[ ]fib_num__l5_fib_num2024-07-28 22:25 10K 
[ ]fib_num__l5_fib_num.depv12024-08-03 10:19 155  
[ ]fib_num__l5_fib_num.depvmin12024-08-03 10:24 155  
[ ]fib_num__l5_fib_num.vmin12024-08-03 10:20 1.0K 
[ ]fib_num__l5_fib_num.vmin1out2024-08-03 10:23 7.9K 
[ ]fib_num__l5_fib_num.vout2024-08-03 09:52 8.8K 
[ ]fib_num__l6_fib_num2024-07-28 22:26 11K 
[ ]fib_num__l6_fib_num.depv12024-08-03 10:19 140  
[ ]fib_num__l6_fib_num.depvmin12024-08-03 10:24 140  
[ ]fib_num__l6_fib_num.vmin12024-08-03 10:20 577  
[ ]fib_num__l6_fib_num.vmin1out2024-08-03 10:23 3.9K 
[ ]fib_num__l6_fib_num.vout2024-08-03 09:46 3.6K 
[ ]fib_num__l7_fib_num2024-07-28 22:38 75K 
[ ]fib_num__l7_fib_num.vout2024-08-03 06:39 2.0K 
[ ]fib_num__l8_fib_num2024-07-28 22:39 23K 
[ ]fib_num__l8_fib_num.vout2024-08-03 06:32 2.0K 
[ ]fib_num__l9_fib_num2024-07-28 22:40 17K 
[ ]fib_num__l9_fib_num.vout2024-08-03 08:05 2.0K 
[ ]fib_num__l10_fib_num2024-07-28 22:41 12K 
[ ]fib_num__l10_fib_num.depv12024-08-03 10:19 237  
[ ]fib_num__l10_fib_num.depvmin12024-08-03 10:24 217  
[ ]fib_num__l10_fib_num.vmin12024-08-03 10:20 1.5K 
[ ]fib_num__l10_fib_num.vmin1out2024-08-03 10:23 9.1K 
[ ]fib_num__l10_fib_num.vout2024-08-03 10:10 11K 
[ ]fib_num__l12_fib_num2024-07-28 22:41 11K 
[ ]fib_num__l12_fib_num.vout2024-08-03 06:01 2.0K 
[ ]fib_num__l17_fib_num2024-07-28 22:42 355K 
[ ]fib_num__l17_fib_num.vout2024-08-03 05:21 11K 
[ ]fib_num__l18_fib_num2024-07-28 22:27 10K 
[ ]fib_num__l18_fib_num.depv12024-08-03 10:19 203  
[ ]fib_num__l18_fib_num.depvmin12024-08-03 10:24 203  
[ ]fib_num__l18_fib_num.vmin12024-08-03 10:20 1.2K 
[ ]fib_num__l18_fib_num.vmin1out2024-08-03 10:20 8.9K 
[ ]fib_num__l18_fib_num.vout2024-08-03 09:12 7.8K 
[ ]fib_num__l19_fib_num2024-07-28 22:27 10K 
[ ]fib_num__l19_fib_num.depv12024-08-03 10:19 225  
[ ]fib_num__l19_fib_num.depvmin12024-08-03 10:24 181  
[ ]fib_num__l19_fib_num.vmin12024-08-03 10:20 1.4K 
[ ]fib_num__l19_fib_num.vmin1out2024-08-03 10:22 8.9K 
[ ]fib_num__l19_fib_num.vout2024-08-03 07:31 11K 
[ ]fib_num__l20_fib_num2024-07-28 22:43 14K 
[ ]fib_num__l20_fib_num.depv12024-08-03 10:19 274  
[ ]fib_num__l20_fib_num.depvmin12024-08-03 10:24 274  
[ ]fib_num__l20_fib_num.vmin12024-08-03 10:20 1.6K 
[ ]fib_num__l20_fib_num.vmin1out2024-08-03 10:22 13K 
[ ]fib_num__l20_fib_num.vout2024-08-03 06:01 17K 
[ ]fib_num__l21_fib_num2024-07-28 22:44 257K 
[ ]fib_num__l21_fib_num.vout2024-08-03 09:22 2.0K 
[ ]fib_num__l22_fib_num2024-07-28 22:28 256K 
[ ]fib_num__l22_fib_num.depv12024-08-03 10:19 169  
[ ]fib_num__l22_fib_num.depvmin12024-08-03 10:24 169  
[ ]fib_num__l22_fib_num.vmin12024-08-03 10:20 1.4K 
[ ]fib_num__l22_fib_num.vmin1out2024-08-03 10:23 11K 
[ ]fib_num__l22_fib_num.vout2024-08-03 06:44 10K 
[ ]fib_num__l23_fib_num2024-07-28 22:45 257K 
[ ]fib_num__l23_fib_num.vout2024-08-03 04:32 2.0K 
[ ]fib_num__l24_fib_num2024-07-28 22:45 355K 
[ ]fib_num__l24_fib_num.vout2024-08-03 10:14 2.0K 
[ ]fib_num__l26_fib_num2024-07-28 22:46 23K 
[ ]fib_num__l26_fib_num.vout2024-08-03 09:59 2.0K 
[ ]fib_num__l27_fib_num2024-07-28 22:47 258K 
[ ]fib_num__l27_fib_num.vout2024-08-03 04:20 2.0K 
[ ]fib_num__t1_fib_num2024-07-28 22:29 4.1K 
[ ]fib_num__t1_fib_num.depv12024-08-03 10:19 128  
[ ]fib_num__t1_fib_num.depvmin12024-08-03 10:24 128  
[ ]fib_num__t1_fib_num.vmin12024-08-03 10:20 1.5K 
[ ]fib_num__t1_fib_num.vmin1out2024-08-03 10:20 30K 
[ ]fib_num__t1_fib_num.vout2024-08-03 06:42 30K 
[ ]fib_num__t2_fib_num2024-07-28 22:30 27K 
[ ]fib_num__t2_fib_num.vout2024-08-03 06:51 6.8K 
[ ]fib_num__t3_fib_num2024-07-28 22:30 14K 
[ ]fib_num__t3_fib_num.vout2024-08-03 07:16 2.0K 
[ ]fib_num__t4_fib_num2024-07-28 22:31 59K 
[ ]fib_num__t4_fib_num.vout2024-08-03 04:10 2.0K 
[ ]fib_num__t5_fib_num2024-07-28 22:32 24K 
[ ]fib_num__t5_fib_num.vout2024-08-03 09:40 7.3K 
[ ]fib_num__t6_fib_num2024-07-28 22:33 131K 
[ ]fib_num__t6_fib_num.vout2024-08-03 06:36 6.8K 
[ ]fib_num__t7_fib_num2024-07-28 22:34 404K 
[ ]fib_num__t7_fib_num.vout2024-08-03 10:17 2.0K 
[ ]fib_num__t8_fib_num2024-07-28 22:35 321K 
[ ]fib_num__t8_fib_num.vout2024-08-03 05:51 1.1K 
[ ]fib_num__t9_fib_num2024-07-28 22:36 49K 
[ ]fib_num__t9_fib_num.vout2024-08-03 08:43 4.7K 
[ ]fib_num__t10_fib_num2024-07-28 22:38 48K 
[ ]fib_num__t10_fib_num.vout2024-08-03 04:42 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80