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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num2__l29_fib_num22024-07-28 00:12 39K 
[ ]fib_num2__l29_fib_num2.vout2024-08-03 04:14 2.0K 
[ ]fib_num2__t1_fib_num22024-07-27 22:29 46K 
[ ]fib_num2__t1_fib_num2.vout2024-08-03 09:19 1.1K 
[ ]fib_num2__t2_fib_num22024-07-27 22:30 31K 
[ ]fib_num2__t2_fib_num2.depv12024-08-03 10:19 105  
[ ]fib_num2__t2_fib_num2.depvmin12024-08-03 10:24 105  
[ ]fib_num2__t2_fib_num2.vmin12024-08-03 10:20 752  
[ ]fib_num2__t2_fib_num2.vmin1out2024-08-03 10:22 6.5K 
[ ]fib_num2__t2_fib_num2.vout2024-08-03 08:09 6.8K 
[ ]fib_num2__t3_fib_num22024-07-27 22:32 31K 
[ ]fib_num2__t3_fib_num2.depv12024-08-03 10:19 93  
[ ]fib_num2__t3_fib_num2.depvmin12024-08-03 10:24 93  
[ ]fib_num2__t3_fib_num2.vmin12024-08-03 10:20 594  
[ ]fib_num2__t3_fib_num2.vmin1out2024-08-03 10:21 5.0K 
[ ]fib_num2__t3_fib_num2.vout2024-08-03 05:06 5.9K 
[ ]fib_num2__t4_fib_num22024-07-27 22:33 38K 
[ ]fib_num2__t4_fib_num2.vout2024-08-03 06:34 1.1K 
[ ]fib_num2__t5_fib_num22024-07-27 22:34 33K 
[ ]fib_num2__t5_fib_num2.vout2024-08-03 08:56 2.0K 
[ ]fib_num2__t6_fib_num22024-07-27 22:36 35K 
[ ]fib_num2__t6_fib_num2.vout2024-08-03 07:29 4.7K 
[ ]fib_num2__t7_fib_num22024-07-27 22:37 101K 
[ ]fib_num2__t7_fib_num2.vout2024-08-03 07:50 4.7K 
[ ]fib_num2__t8_fib_num22024-07-27 22:39 38K 
[ ]fib_num2__t8_fib_num2.vout2024-08-03 06:13 4.7K 
[ ]fib_num2__t9_fib_num22024-07-27 22:40 54K 
[ ]fib_num2__t9_fib_num2.vout2024-08-03 08:45 4.7K 
[ ]fib_num2__t10_fib_num22024-07-27 22:41 38K 
[ ]fib_num2__t10_fib_num2.vout2024-08-03 08:40 4.7K 
[ ]fib_num2__t11_fib_num22024-07-27 22:43 31K 
[ ]fib_num2__t11_fib_num2.depv12024-08-03 10:19 83  
[ ]fib_num2__t11_fib_num2.depvmin12024-08-03 10:24 83  
[ ]fib_num2__t11_fib_num2.vmin12024-08-03 10:20 830  
[ ]fib_num2__t11_fib_num2.vmin1out2024-08-03 10:20 10K 
[ ]fib_num2__t11_fib_num2.vout2024-08-03 05:21 13K 
[ ]fib_num2__t12_fib_num22024-07-27 22:44 33K 
[ ]fib_num2__t12_fib_num2.depv12024-08-03 10:19 88  
[ ]fib_num2__t12_fib_num2.depvmin12024-08-03 10:24 88  
[ ]fib_num2__t12_fib_num2.vmin12024-08-03 10:20 1.2K 
[ ]fib_num2__t12_fib_num2.vmin1out2024-08-03 10:21 14K 
[ ]fib_num2__t12_fib_num2.vout2024-08-03 05:46 14K 
[ ]fib_num2__t13_fib_num22024-07-27 22:26 45K 
[ ]fib_num2__t13_fib_num2.depv12024-08-03 10:19 94  
[ ]fib_num2__t13_fib_num2.depvmin12024-08-03 10:24 94  
[ ]fib_num2__t13_fib_num2.vmin12024-08-03 10:20 800  
[ ]fib_num2__t13_fib_num2.vmin1out2024-08-03 10:21 6.3K 
[ ]fib_num2__t13_fib_num2.vout2024-08-03 04:39 6.6K 
[ ]fib_num2__t14_fib_num22024-07-27 22:46 49K 
[ ]fib_num2__t14_fib_num2.vout2024-08-03 09:23 4.7K 
[ ]fib_num2__t15_fib_num22024-07-27 22:47 44K 
[ ]fib_num2__t15_fib_num2.vout2024-08-03 08:26 3.7K 
[ ]fib_num2__t16_fib_num22024-07-27 22:49 70K 
[ ]fib_num2__t16_fib_num2.vout2024-08-03 06:33 3.7K 
[ ]fib_num2__t17_fib_num22024-07-27 22:50 40K 
[ ]fib_num2__t17_fib_num2.depv12024-08-03 10:19 293  
[ ]fib_num2__t17_fib_num2.depvmin12024-08-03 10:24 257  
[ ]fib_num2__t17_fib_num2.vmin12024-08-03 10:20 2.1K 
[ ]fib_num2__t17_fib_num2.vmin1out2024-08-03 10:22 23K 
[ ]fib_num2__t17_fib_num2.vout2024-08-03 05:23 26K 
[ ]fib_num2__t18_fib_num22024-07-27 22:52 49K 
[ ]fib_num2__t18_fib_num2.vout2024-08-03 08:31 7.3K 
[ ]fib_num2__t19_fib_num22024-07-27 22:53 46K 
[ ]fib_num2__t19_fib_num2.vout2024-08-03 05:26 6.8K 
[ ]fib_num2__t20_fib_num22024-07-27 22:55 45K 
[ ]fib_num2__t20_fib_num2.vout2024-08-03 08:24 7.4K 
[ ]fib_num2__t21_fib_num22024-07-27 22:56 31K 
[ ]fib_num2__t21_fib_num2.depv12024-08-03 10:19 202  
[ ]fib_num2__t21_fib_num2.depvmin12024-08-03 10:24 202  
[ ]fib_num2__t21_fib_num2.vmin12024-08-03 10:20 1.1K 
[ ]fib_num2__t21_fib_num2.vmin1out2024-08-03 10:22 8.3K 
[ ]fib_num2__t21_fib_num2.vout2024-08-03 06:46 8.6K 
[ ]fib_num2__t22_fib_num22024-07-27 22:57 37K 
[ ]fib_num2__t22_fib_num2.depv12024-08-03 10:19 165  
[ ]fib_num2__t22_fib_num2.depvmin12024-08-03 10:24 165  
[ ]fib_num2__t22_fib_num2.vmin12024-08-03 10:20 813  
[ ]fib_num2__t22_fib_num2.vmin1out2024-08-03 10:23 5.4K 
[ ]fib_num2__t22_fib_num2.vout2024-08-03 08:33 6.1K 
[ ]fib_num2__t23_fib_num22024-07-27 22:59 32K 
[ ]fib_num2__t23_fib_num2.depv12024-08-03 10:19 215  
[ ]fib_num2__t23_fib_num2.depvmin12024-08-03 10:24 215  
[ ]fib_num2__t23_fib_num2.vmin12024-08-03 10:20 1.0K 
[ ]fib_num2__t23_fib_num2.vmin1out2024-08-03 10:22 6.9K 
[ ]fib_num2__t23_fib_num2.vout2024-08-03 06:52 7.4K 
[ ]fib_num2__t24_fib_num22024-07-27 23:00 54K 
[ ]fib_num2__t24_fib_num2.vout2024-08-03 06:17 2.0K 
[ ]fib_num2__t25_fib_num22024-07-27 23:01 31K 
[ ]fib_num2__t25_fib_num2.vout2024-08-03 06:54 2.0K 
[ ]fib_num2__t26_fib_num22024-07-27 23:03 45K 
[ ]fib_num2__t26_fib_num2.vout2024-08-03 08:06 2.0K 
[ ]fib_num2__t27_fib_num22024-07-27 23:04 50K 
[ ]fib_num2__t27_fib_num2.vout2024-08-03 06:30 2.0K 
[ ]fib_num2__t28_fib_num22024-07-27 23:06 40K 
[ ]fib_num2__t28_fib_num2.vout2024-08-03 09:47 2.0K 
[ ]fib_num2__t29_fib_num22024-07-27 23:07 37K 
[ ]fib_num2__t29_fib_num2.vout2024-08-03 09:13 2.0K 
[ ]fib_num2__t30_fib_num22024-07-27 23:08 37K 
[ ]fib_num2__t30_fib_num2.vout2024-08-03 06:40 1.1K 
[ ]fib_num2__t31_fib_num22024-07-27 23:10 127K 
[ ]fib_num2__t31_fib_num2.vout2024-08-03 09:42 2.0K 
[ ]fib_num2__t32_fib_num22024-07-27 23:11 56K 
[ ]fib_num2__t32_fib_num2.vout2024-08-03 06:42 1.1K 
[ ]fib_num2__t33_fib_num22024-07-27 23:13 281K 
[ ]fib_num2__t33_fib_num2.depv12024-08-03 10:19 755  
[ ]fib_num2__t33_fib_num2.depvmin12024-08-03 10:24 569  
[ ]fib_num2__t33_fib_num2.vmin12024-08-03 10:20 5.5K 
[ ]fib_num2__t33_fib_num2.vmin1out2024-08-03 10:21 44K 
[ ]fib_num2__t33_fib_num2.vout2024-08-03 05:27 57K 
[ ]fib_num2__t34_fib_num22024-07-27 23:15 467K 
[ ]fib_num2__t34_fib_num2.vout2024-08-03 04:32 9.9K 
[ ]fib_num2__t35_fib_num22024-07-27 23:16 37K 
[ ]fib_num2__t35_fib_num2.vout2024-08-03 06:21 4.7K 
[ ]fib_num2__t36_fib_num22024-07-27 23:17 465K 
[ ]fib_num2__t36_fib_num2.vout2024-08-03 09:07 10K 
[ ]fib_num2__t37_fib_num22024-07-27 23:19 157K 
[ ]fib_num2__t37_fib_num2.vout2024-08-03 05:00 4.7K 
[ ]fib_num2__t38_fib_num22024-07-27 23:21 353K 
[ ]fib_num2__t38_fib_num2.vout2024-08-03 05:13 2.0K 
[ ]fib_num2__t39_fib_num22024-07-27 23:22 185K 
[ ]fib_num2__t39_fib_num2.vout2024-08-03 05:16 2.0K 
[ ]fib_num2__t40_fib_num22024-07-27 23:24 51K 
[ ]fib_num2__t40_fib_num2.vout2024-08-03 04:23 2.0K 
[ ]fib_num2__t41_fib_num22024-07-27 23:25 40K 
[ ]fib_num2__t41_fib_num2.vout2024-08-03 05:32 2.0K 
[ ]fib_num2__t42_fib_num22024-07-27 23:26 31K 
[ ]fib_num2__t42_fib_num2.depv12024-08-03 10:19 48  
[ ]fib_num2__t42_fib_num2.depvmin12024-08-03 10:24 48  
[ ]fib_num2__t42_fib_num2.vmin12024-08-03 10:20 643  
[ ]fib_num2__t42_fib_num2.vmin1out2024-08-03 10:22 10K 
[ ]fib_num2__t42_fib_num2.vout2024-08-03 09:44 10K 
[ ]fib_num2__t43_fib_num22024-07-27 23:28 42K 
[ ]fib_num2__t43_fib_num2.vout2024-08-03 07:12 2.0K 
[ ]fib_num2__t44_fib_num22024-07-27 23:29 41K 
[ ]fib_num2__t44_fib_num2.vout2024-08-03 08:20 7.9K 
[ ]fib_num2__t45_fib_num22024-07-27 23:31 38K 
[ ]fib_num2__t45_fib_num2.vout2024-08-03 08:02 2.0K 
[ ]fib_num2__t46_fib_num22024-07-27 23:32 38K 
[ ]fib_num2__t46_fib_num2.vout2024-08-03 06:43 2.0K 
[ ]fib_num2__t47_fib_num22024-07-27 23:34 34K 
[ ]fib_num2__t47_fib_num2.depv12024-08-03 10:19 291  
[ ]fib_num2__t47_fib_num2.depvmin12024-08-03 10:24 291  
[ ]fib_num2__t47_fib_num2.vmin12024-08-03 10:20 2.0K 
[ ]fib_num2__t47_fib_num2.vmin1out2024-08-03 10:22 22K 
[ ]fib_num2__t47_fib_num2.vout2024-08-03 08:51 29K 
[ ]fib_num2__t48_fib_num22024-07-27 23:35 39K 
[ ]fib_num2__t48_fib_num2.vout2024-08-03 06:49 4.7K 
[ ]fib_num2__t49_fib_num22024-07-27 23:36 65K 
[ ]fib_num2__t49_fib_num2.vout2024-08-03 04:45 7.3K 
[ ]fib_num2__t50_fib_num22024-07-27 23:38 32K 
[ ]fib_num2__t50_fib_num2.vout2024-08-03 04:55 4.7K 
[ ]fib_num2__t51_fib_num22024-07-27 23:39 86K 
[ ]fib_num2__t51_fib_num2.depv12024-08-03 10:19 175  
[ ]fib_num2__t51_fib_num2.depvmin12024-08-03 10:24 175  
[ ]fib_num2__t51_fib_num2.vmin12024-08-03 10:20 1.2K 
[ ]fib_num2__t51_fib_num2.vmin1out2024-08-03 10:22 15K 
[ ]fib_num2__t51_fib_num2.vout2024-08-03 07:24 14K 
[ ]fib_num2__t52_fib_num22024-07-27 23:41 86K 
[ ]fib_num2__t52_fib_num2.vout2024-08-03 08:13 7.3K 
[ ]fib_num2__t53_fib_num22024-07-27 22:28 64K 
[ ]fib_num2__t53_fib_num2.vout2024-08-03 04:37 10K 
[ ]fib_num2__t54_fib_num22024-07-27 23:42 63K 
[ ]fib_num2__t54_fib_num2.vout2024-08-03 04:12 5.9K 
[ ]fib_num2__t55_fib_num22024-07-27 23:44 139K 
[ ]fib_num2__t55_fib_num2.vout2024-08-03 05:20 9.5K 
[ ]fib_num2__t56_fib_num22024-07-27 23:46 91K 
[ ]fib_num2__t56_fib_num2.vout2024-08-03 04:35 5.9K 
[ ]fib_num2__t57_fib_num22024-07-27 23:48 54K 
[ ]fib_num2__t57_fib_num2.vout2024-08-03 05:06 7.3K 
[ ]fib_num2__t58_fib_num22024-07-27 23:50 67K 
[ ]fib_num2__t58_fib_num2.vout2024-08-03 04:19 7.3K 
[ ]fib_num2__t59_fib_num22024-07-27 23:52 110K 
[ ]fib_num2__t59_fib_num2.vout2024-08-03 09:08 4.2K 
[ ]fib_num2__t60_fib_num22024-07-27 23:54 79K 
[ ]fib_num2__t60_fib_num2.vout2024-08-03 06:57 9.5K 
[ ]fib_num2__t61_fib_num22024-07-27 23:56 91K 
[ ]fib_num2__t61_fib_num2.vout2024-08-03 04:50 5.9K 
[ ]fib_num2__t62_fib_num22024-07-27 23:57 56K 
[ ]fib_num2__t62_fib_num2.vout2024-08-03 07:26 7.3K 
[ ]fib_num2__t63_fib_num22024-07-27 23:59 68K 
[ ]fib_num2__t63_fib_num2.vout2024-08-03 07:42 7.3K 
[ ]fib_num2__t64_fib_num22024-07-28 00:01 119K 
[ ]fib_num2__t64_fib_num2.vout2024-08-03 07:41 3.7K 
[ ]fib_num2__t65_fib_num22024-07-28 00:03 118K 
[ ]fib_num2__t65_fib_num2.vout2024-08-03 04:53 4.8K 
[ ]fib_num2__t66_fib_num22024-07-28 00:05 81K 
[ ]fib_num2__t66_fib_num2.vout2024-08-03 04:35 3.7K 
[ ]fib_num2__t67_fib_num22024-07-28 00:06 32K 
[ ]fib_num2__t67_fib_num2.vout2024-08-03 09:11 2.0K 
[ ]fib_num2__t68_fib_num22024-07-28 00:08 39K 
[ ]fib_num2__t68_fib_num2.vout2024-08-03 09:43 7.3K 
[ ]fib_num2__t69_fib_num22024-07-28 00:09 167K 
[ ]fib_num2__t69_fib_num2.vout2024-08-03 05:12 6.8K 
[ ]fib_num2__t70_fib_num22024-07-28 00:11 189K 
[ ]fib_num2__t70_fib_num2.vout2024-08-03 04:41 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80