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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num3__t55_fib_num3.vout2021-07-25 19:22 2.0K 
[ ]fib_num3__t55_fib_num32021-07-18 07:59 22K 
[ ]fib_num3__t54_fib_num3.vout2021-07-25 20:03 2.0K 
[ ]fib_num3__t54_fib_num32021-07-18 07:59 408K 
[ ]fib_num3__t53_fib_num3.vout2021-07-25 18:23 2.0K 
[ ]fib_num3__t53_fib_num32021-07-18 07:59 29K 
[ ]fib_num3__t52_fib_num3.vout2021-07-25 15:39 2.0K 
[ ]fib_num3__t52_fib_num32021-07-18 07:58 32K 
[ ]fib_num3__t51_fib_num3.vout2021-07-25 16:42 2.0K 
[ ]fib_num3__t51_fib_num32021-07-18 07:58 33K 
[ ]fib_num3__t50_fib_num3.vout2021-07-25 16:17 2.0K 
[ ]fib_num3__t50_fib_num32021-07-18 07:58 30K 
[ ]fib_num3__t49_fib_num3.vout2021-07-25 14:54 2.0K 
[ ]fib_num3__t49_fib_num32021-07-18 07:57 34K 
[ ]fib_num3__t48_fib_num3.vout2021-07-25 15:38 2.0K 
[ ]fib_num3__t48_fib_num32021-07-18 07:57 20K 
[ ]fib_num3__t47_fib_num3.vout2021-07-25 16:27 2.0K 
[ ]fib_num3__t47_fib_num32021-07-18 07:57 111K 
[ ]fib_num3__t46_fib_num3.vout2021-07-25 18:37 2.0K 
[ ]fib_num3__t46_fib_num32021-07-18 07:56 21K 
[ ]fib_num3__t45_fib_num3.vout2021-07-25 16:47 2.0K 
[ ]fib_num3__t45_fib_num32021-07-18 07:56 38K 
[ ]fib_num3__t44_fib_num3.vout2021-07-25 19:39 1.1K 
[ ]fib_num3__t44_fib_num32021-07-18 07:56 66K 
[ ]fib_num3__t43_fib_num3.vout2021-07-25 14:30 2.0K 
[ ]fib_num3__t43_fib_num32021-07-18 07:56 70K 
[ ]fib_num3__t42_fib_num3.vout2021-07-25 17:01 2.0K 
[ ]fib_num3__t42_fib_num32021-07-18 07:55 44K 
[ ]fib_num3__t41_fib_num3.vout2021-07-25 17:16 2.0K 
[ ]fib_num3__t41_fib_num32021-07-18 07:55 32K 
[ ]fib_num3__t40_fib_num3.vout2021-07-25 17:10 2.0K 
[ ]fib_num3__t40_fib_num32021-07-18 07:55 23K 
[ ]fib_num3__t39_fib_num3.vout2021-07-25 16:41 2.0K 
[ ]fib_num3__t39_fib_num32021-07-18 07:54 22K 
[ ]fib_num3__t38_fib_num3.vout2021-07-25 19:50 2.0K 
[ ]fib_num3__t38_fib_num32021-07-18 07:54 21K 
[ ]fib_num3__t37_fib_num3.vout2021-07-25 18:05 2.0K 
[ ]fib_num3__t37_fib_num32021-07-18 07:54 20K 
[ ]fib_num3__t36_fib_num3.vout2021-07-25 15:04 2.0K 
[ ]fib_num3__t36_fib_num32021-07-18 07:53 20K 
[ ]fib_num3__t35_fib_num3.vout2021-07-25 17:51 2.0K 
[ ]fib_num3__t35_fib_num32021-07-18 07:53 19K 
[ ]fib_num3__t34_fib_num3.vout2021-07-25 18:12 2.0K 
[ ]fib_num3__t34_fib_num32021-07-18 07:53 19K 
[ ]fib_num3__t33_fib_num3.vout2021-07-25 20:12 2.0K 
[ ]fib_num3__t33_fib_num32021-07-18 07:52 24K 
[ ]fib_num3__t32_fib_num3.vout2021-07-25 15:56 7.3K 
[ ]fib_num3__t32_fib_num32021-07-18 07:52 22K 
[ ]fib_num3__t31_fib_num3.vout2021-07-25 14:38 2.0K 
[ ]fib_num3__t31_fib_num32021-07-18 07:52 25K 
[ ]fib_num3__t30_fib_num3.vout2021-07-25 20:16 1.1K 
[ ]fib_num3__t30_fib_num32021-07-18 07:52 495K 
[ ]fib_num3__t29_fib_num3.vout2021-07-25 17:47 2.0K 
[ ]fib_num3__t29_fib_num32021-07-18 07:51 297K 
[ ]fib_num3__t28_fib_num3.vout2021-07-25 18:13 2.0K 
[ ]fib_num3__t28_fib_num32021-07-18 07:51 61K 
[ ]fib_num3__t27_fib_num3.vout2021-07-25 17:38 2.0K 
[ ]fib_num3__t27_fib_num32021-07-18 07:50 71K 
[ ]fib_num3__t26_fib_num3.vout2021-07-25 17:08 2.0K 
[ ]fib_num3__t26_fib_num32021-07-18 07:50 160K 
[ ]fib_num3__t25_fib_num3.vout2021-07-25 14:54 2.0K 
[ ]fib_num3__t25_fib_num32021-07-18 07:50 44K 
[ ]fib_num3__t24_fib_num3.vout2021-07-25 14:36 2.0K 
[ ]fib_num3__t24_fib_num32021-07-18 07:49 51K 
[ ]fib_num3__t23_fib_num3.vout2021-07-25 18:20 2.0K 
[ ]fib_num3__t23_fib_num32021-07-18 07:49 49K 
[ ]fib_num3__t22_fib_num3.vout2021-07-25 20:03 2.0K 
[ ]fib_num3__t22_fib_num32021-07-18 07:49 44K 
[ ]fib_num3__t21_fib_num3.vout2021-07-25 18:53 2.0K 
[ ]fib_num3__t21_fib_num32021-07-18 07:49 241K 
[ ]fib_num3__t20_fib_num3.vout2021-07-25 19:25 2.0K 
[ ]fib_num3__t20_fib_num32021-07-18 07:48 38K 
[ ]fib_num3__t19_fib_num3.vout2021-07-25 14:52 1.1K 
[ ]fib_num3__t19_fib_num32021-07-18 07:48 65K 
[ ]fib_num3__t18_fib_num3.vout2021-07-25 17:35 2.0K 
[ ]fib_num3__t18_fib_num32021-07-18 07:48 135K 
[ ]fib_num3__t17_fib_num3.vout2021-07-25 19:23 2.0K 
[ ]fib_num3__t17_fib_num32021-07-18 07:47 38K 
[ ]fib_num3__t16_fib_num3.vout2021-07-25 17:44 9.3K 
[ ]fib_num3__t16_fib_num3.vmin1out2021-07-25 21:00 8.5K 
[ ]fib_num3__t16_fib_num3.vmin12021-07-25 20:57 1.2K 
[ ]fib_num3__t16_fib_num3.depvmin12021-07-25 21:03 265  
[ ]fib_num3__t16_fib_num3.depv12021-07-25 20:57 265  
[ ]fib_num3__t16_fib_num32021-07-18 07:47 22K 
[ ]fib_num3__t15_fib_num3.vout2021-07-25 17:42 6.6K 
[ ]fib_num3__t15_fib_num3.vmin1out2021-07-25 20:57 6.2K 
[ ]fib_num3__t15_fib_num3.vmin12021-07-25 20:57 965  
[ ]fib_num3__t15_fib_num3.depvmin12021-07-25 21:03 215  
[ ]fib_num3__t15_fib_num3.depv12021-07-25 20:57 215  
[ ]fib_num3__t15_fib_num32021-07-18 07:47 22K 
[ ]fib_num3__t14_fib_num3.vout2021-07-25 18:56 11K 
[ ]fib_num3__t14_fib_num3.vmin1out2021-07-25 21:00 11K 
[ ]fib_num3__t14_fib_num3.vmin12021-07-25 20:57 1.5K 
[ ]fib_num3__t14_fib_num3.depvmin12021-07-25 21:03 302  
[ ]fib_num3__t14_fib_num3.depv12021-07-25 20:57 302  
[ ]fib_num3__t14_fib_num32021-07-18 07:46 19K 
[ ]fib_num3__t13_fib_num3.vout2021-07-25 19:58 2.0K 
[ ]fib_num3__t13_fib_num32021-07-18 07:46 19K 
[ ]fib_num3__t12_fib_num3.vout2021-07-25 19:56 2.0K 
[ ]fib_num3__t12_fib_num32021-07-18 07:46 19K 
[ ]fib_num3__t11_fib_num3.vout2021-07-25 15:05 11K 
[ ]fib_num3__t11_fib_num32021-07-18 07:45 22K 
[ ]fib_num3__t10_fib_num3.vout2021-07-25 15:07 2.0K 
[ ]fib_num3__t10_fib_num32021-07-18 07:45 381K 
[ ]fib_num3__t9_fib_num3.vout2021-07-25 20:03 2.0K 
[ ]fib_num3__t9_fib_num32021-07-18 07:45 381K 
[ ]fib_num3__t8_fib_num3.vout2021-07-25 18:33 8.8K 
[ ]fib_num3__t8_fib_num3.vmin1out2021-07-25 21:00 8.2K 
[ ]fib_num3__t8_fib_num3.vmin12021-07-25 20:57 953  
[ ]fib_num3__t8_fib_num3.depvmin12021-07-25 21:03 87  
[ ]fib_num3__t8_fib_num3.depv12021-07-25 20:57 87  
[ ]fib_num3__t8_fib_num32021-07-18 07:45 13K 
[ ]fib_num3__t7_fib_num3.vout2021-07-25 15:30 2.0K 
[ ]fib_num3__t7_fib_num32021-07-18 07:44 22K 
[ ]fib_num3__t6_fib_num3.vout2021-07-25 17:47 2.0K 
[ ]fib_num3__t6_fib_num32021-07-18 07:44 16K 
[ ]fib_num3__t5_fib_num3.vout2021-07-25 15:52 2.0K 
[ ]fib_num3__t5_fib_num32021-07-18 07:44 23K 
[ ]fib_num3__t4_fib_num3.vout2021-07-25 16:46 2.0K 
[ ]fib_num3__t4_fib_num32021-07-18 07:44 16K 
[ ]fib_num3__t3_fib_num3.vout2021-07-25 17:56 9.7K 
[ ]fib_num3__t3_fib_num3.vmin1out2021-07-25 21:02 9.8K 
[ ]fib_num3__t3_fib_num3.vmin12021-07-25 20:57 937  
[ ]fib_num3__t3_fib_num3.depvmin12021-07-25 21:03 146  
[ ]fib_num3__t3_fib_num3.depv12021-07-25 20:57 146  
[ ]fib_num3__t3_fib_num32021-07-18 07:43 14K 
[ ]fib_num3__t2_fib_num3.vout2021-07-25 14:29 9.9K 
[ ]fib_num3__t2_fib_num3.vmin1out2021-07-25 21:02 12K 
[ ]fib_num3__t2_fib_num3.vmin12021-07-25 20:57 1.3K 
[ ]fib_num3__t2_fib_num3.depvmin12021-07-25 21:03 157  
[ ]fib_num3__t2_fib_num3.depv12021-07-25 20:57 157  
[ ]fib_num3__t2_fib_num32021-07-18 07:43 20K 
[ ]fib_num3__t1_fib_num3.vout2021-07-25 14:24 8.7K 
[ ]fib_num3__t1_fib_num3.vmin1out2021-07-25 21:00 8.5K 
[ ]fib_num3__t1_fib_num3.vmin12021-07-25 20:57 655  
[ ]fib_num3__t1_fib_num3.depvmin12021-07-25 21:03 83  
[ ]fib_num3__t1_fib_num3.depv12021-07-25 20:57 83  
[ ]fib_num3__t1_fib_num32021-07-18 07:43 11K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80