Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fib_num

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num__t10_fib_num.vout2021-07-25 20:02 4.1K 
[ ]fib_num__t10_fib_num2021-07-18 11:22 45K 
[ ]fib_num__t9_fib_num.vout2021-07-25 16:41 4.7K 
[ ]fib_num__t9_fib_num2021-07-18 11:21 47K 
[ ]fib_num__t8_fib_num.vout2021-07-25 14:25 1.1K 
[ ]fib_num__t8_fib_num2021-07-18 11:21 287K 
[ ]fib_num__t7_fib_num.vout2021-07-25 19:09 2.0K 
[ ]fib_num__t7_fib_num2021-07-18 11:21 343K 
[ ]fib_num__t6_fib_num.vout2021-07-25 19:35 7.3K 
[ ]fib_num__t6_fib_num2021-07-18 11:20 128K 
[ ]fib_num__t5_fib_num.vout2021-07-25 17:11 7.3K 
[ ]fib_num__t5_fib_num2021-07-18 11:20 25K 
[ ]fib_num__t4_fib_num.vout2021-07-25 20:39 2.0K 
[ ]fib_num__t4_fib_num2021-07-18 11:20 60K 
[ ]fib_num__t3_fib_num.vout2021-07-25 16:25 2.0K 
[ ]fib_num__t3_fib_num2021-07-18 11:20 14K 
[ ]fib_num__t2_fib_num.vout2021-07-25 19:15 6.8K 
[ ]fib_num__t2_fib_num2021-07-18 11:19 27K 
[ ]fib_num__t1_fib_num.vout2021-07-25 15:23 7.1K 
[ ]fib_num__t1_fib_num2021-07-18 11:19 11K 
[ ]fib_num__l27_fib_num.vout2021-07-25 18:47 2.0K 
[ ]fib_num__l27_fib_num2021-07-18 11:25 238K 
[ ]fib_num__l26_fib_num.vout2021-07-25 17:42 2.0K 
[ ]fib_num__l26_fib_num2021-07-18 11:25 23K 
[ ]fib_num__l24_fib_num.vout2021-07-25 15:34 2.0K 
[ ]fib_num__l24_fib_num2021-07-18 11:24 313K 
[ ]fib_num__l23_fib_num.vout2021-07-25 17:21 2.0K 
[ ]fib_num__l23_fib_num2021-07-18 11:24 237K 
[ ]fib_num__l22_fib_num.vout2021-07-25 15:02 11K 
[ ]fib_num__l22_fib_num.vmin1out2021-07-25 21:00 12K 
[ ]fib_num__l22_fib_num.vmin12021-07-25 20:57 1.5K 
[ ]fib_num__l22_fib_num.depvmin12021-07-25 21:03 208  
[ ]fib_num__l22_fib_num.depv12021-07-25 20:57 208  
[ ]fib_num__l22_fib_num2021-07-18 11:19 236K 
[ ]fib_num__l21_fib_num.vout2021-07-25 16:16 2.0K 
[ ]fib_num__l21_fib_num2021-07-18 11:24 237K 
[ ]fib_num__l20_fib_num.vout2021-07-25 20:31 2.0K 
[ ]fib_num__l20_fib_num2021-07-18 11:23 14K 
[ ]fib_num__l19_fib_num.vout2021-07-25 19:21 9.3K 
[ ]fib_num__l19_fib_num.vmin1out2021-07-25 21:01 9.7K 
[ ]fib_num__l19_fib_num.vmin12021-07-25 20:57 1.3K 
[ ]fib_num__l19_fib_num.depvmin12021-07-25 21:03 217  
[ ]fib_num__l19_fib_num.depv12021-07-25 20:57 217  
[ ]fib_num__l19_fib_num2021-07-18 11:19 10K 
[ ]fib_num__l18_fib_num.vout2021-07-25 20:55 7.9K 
[ ]fib_num__l18_fib_num.vmin1out2021-07-25 21:02 8.8K 
[ ]fib_num__l18_fib_num.vmin12021-07-25 20:57 1.2K 
[ ]fib_num__l18_fib_num.depvmin12021-07-25 21:03 203  
[ ]fib_num__l18_fib_num.depv12021-07-25 20:57 203  
[ ]fib_num__l18_fib_num2021-07-18 11:18 11K 
[ ]fib_num__l17_fib_num.vout2021-07-25 17:39 11K 
[ ]fib_num__l17_fib_num2021-07-18 11:23 314K 
[ ]fib_num__l12_fib_num.vout2021-07-25 19:24 2.0K 
[ ]fib_num__l12_fib_num2021-07-18 11:23 12K 
[ ]fib_num__l10_fib_num.vout2021-07-25 19:25 11K 
[ ]fib_num__l10_fib_num.vmin1out2021-07-25 21:00 9.6K 
[ ]fib_num__l10_fib_num.vmin12021-07-25 20:57 1.6K 
[ ]fib_num__l10_fib_num.depvmin12021-07-25 21:03 227  
[ ]fib_num__l10_fib_num.depv12021-07-25 20:57 247  
[ ]fib_num__l10_fib_num2021-07-18 11:23 13K 
[ ]fib_num__l9_fib_num.vout2021-07-25 14:52 2.0K 
[ ]fib_num__l9_fib_num2021-07-18 11:23 17K 
[ ]fib_num__l8_fib_num.vout2021-07-25 17:00 2.0K 
[ ]fib_num__l8_fib_num2021-07-18 11:22 23K 
[ ]fib_num__l7_fib_num.vout2021-07-25 20:20 2.0K 
[ ]fib_num__l7_fib_num2021-07-18 11:22 75K 
[ ]fib_num__l6_fib_num.vout2021-07-25 15:09 3.6K 
[ ]fib_num__l6_fib_num.vmin1out2021-07-25 21:02 3.9K 
[ ]fib_num__l6_fib_num.vmin12021-07-25 20:57 577  
[ ]fib_num__l6_fib_num.depvmin12021-07-25 21:03 140  
[ ]fib_num__l6_fib_num.depv12021-07-25 20:57 140  
[ ]fib_num__l6_fib_num2021-07-18 11:18 12K 
[ ]fib_num__l5_fib_num.vout2021-07-25 14:35 8.8K 
[ ]fib_num__l5_fib_num.vmin1out2021-07-25 21:01 7.9K 
[ ]fib_num__l5_fib_num.vmin12021-07-25 20:57 1.0K 
[ ]fib_num__l5_fib_num.depvmin12021-07-25 21:03 155  
[ ]fib_num__l5_fib_num.depv12021-07-25 20:57 155  
[ ]fib_num__l5_fib_num2021-07-18 11:18 11K 
[ ]fib_num__l4_fib_num.vout2021-07-25 14:59 6.5K 
[ ]fib_num__l4_fib_num.vmin1out2021-07-25 20:58 6.0K 
[ ]fib_num__l4_fib_num.vmin12021-07-25 20:57 880  
[ ]fib_num__l4_fib_num.depvmin12021-07-25 21:03 164  
[ ]fib_num__l4_fib_num.depv12021-07-25 20:57 164  
[ ]fib_num__l4_fib_num2021-07-18 11:18 13K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80