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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num3__t1_fib_num32024-07-27 22:05 10K 
[ ]fib_num3__t1_fib_num3.depv12024-08-03 10:19 83  
[ ]fib_num3__t1_fib_num3.depvmin12024-08-03 10:24 83  
[ ]fib_num3__t1_fib_num3.vmin12024-08-03 10:20 655  
[ ]fib_num3__t1_fib_num3.vmin1out2024-08-03 10:23 8.5K 
[ ]fib_num3__t1_fib_num3.vout2024-08-03 07:40 8.7K 
[ ]fib_num3__t2_fib_num32024-07-27 22:06 20K 
[ ]fib_num3__t2_fib_num3.depv12024-08-03 10:19 199  
[ ]fib_num3__t2_fib_num3.depvmin12024-08-03 10:24 199  
[ ]fib_num3__t2_fib_num3.vmin12024-08-03 10:20 1.6K 
[ ]fib_num3__t2_fib_num3.vmin1out2024-08-03 10:21 16K 
[ ]fib_num3__t2_fib_num3.vout2024-08-03 09:53 13K 
[ ]fib_num3__t3_fib_num32024-07-27 22:06 14K 
[ ]fib_num3__t3_fib_num3.depv12024-08-03 10:19 146  
[ ]fib_num3__t3_fib_num3.depvmin12024-08-03 10:24 146  
[ ]fib_num3__t3_fib_num3.vmin12024-08-03 10:20 937  
[ ]fib_num3__t3_fib_num3.vmin1out2024-08-03 10:21 9.8K 
[ ]fib_num3__t3_fib_num3.vout2024-08-03 10:04 9.7K 
[ ]fib_num3__t4_fib_num32024-07-27 22:07 15K 
[ ]fib_num3__t4_fib_num3.vout2024-08-03 07:52 2.0K 
[ ]fib_num3__t5_fib_num32024-07-27 22:08 22K 
[ ]fib_num3__t5_fib_num3.vout2024-08-03 08:16 2.0K 
[ ]fib_num3__t6_fib_num32024-07-27 22:09 15K 
[ ]fib_num3__t6_fib_num3.vout2024-08-03 06:48 2.0K 
[ ]fib_num3__t7_fib_num32024-07-27 22:10 21K 
[ ]fib_num3__t7_fib_num3.vout2024-08-03 10:14 2.0K 
[ ]fib_num3__t8_fib_num32024-07-27 22:11 12K 
[ ]fib_num3__t8_fib_num3.depv12024-08-03 10:19 87  
[ ]fib_num3__t8_fib_num3.depvmin12024-08-03 10:24 87  
[ ]fib_num3__t8_fib_num3.vmin12024-08-03 10:20 953  
[ ]fib_num3__t8_fib_num3.vmin1out2024-08-03 10:21 8.2K 
[ ]fib_num3__t8_fib_num3.vout2024-08-03 05:27 8.8K 
[ ]fib_num3__t9_fib_num32024-07-27 22:12 466K 
[ ]fib_num3__t9_fib_num3.vout2024-08-03 09:03 2.0K 
[ ]fib_num3__t10_fib_num32024-07-27 22:13 466K 
[ ]fib_num3__t10_fib_num3.vout2024-08-03 06:34 2.0K 
[ ]fib_num3__t11_fib_num32024-07-27 22:14 21K 
[ ]fib_num3__t11_fib_num3.vout2024-08-03 09:11 11K 
[ ]fib_num3__t12_fib_num32024-07-27 22:15 18K 
[ ]fib_num3__t12_fib_num3.vout2024-08-03 08:42 2.0K 
[ ]fib_num3__t13_fib_num32024-07-27 22:16 19K 
[ ]fib_num3__t13_fib_num3.vout2024-08-03 07:10 2.0K 
[ ]fib_num3__t14_fib_num32024-07-27 22:17 19K 
[ ]fib_num3__t14_fib_num3.depv12024-08-03 10:19 252  
[ ]fib_num3__t14_fib_num3.depvmin12024-08-03 10:24 252  
[ ]fib_num3__t14_fib_num3.vmin12024-08-03 10:20 1.2K 
[ ]fib_num3__t14_fib_num3.vmin1out2024-08-03 10:23 9.1K 
[ ]fib_num3__t14_fib_num3.vout2024-08-03 10:11 8.8K 
[ ]fib_num3__t15_fib_num32024-07-27 22:18 21K 
[ ]fib_num3__t15_fib_num3.depv12024-08-03 10:19 215  
[ ]fib_num3__t15_fib_num3.depvmin12024-08-03 10:24 215  
[ ]fib_num3__t15_fib_num3.vmin12024-08-03 10:20 965  
[ ]fib_num3__t15_fib_num3.vmin1out2024-08-03 10:23 6.2K 
[ ]fib_num3__t15_fib_num3.vout2024-08-03 08:27 6.6K 
[ ]fib_num3__t16_fib_num32024-07-27 22:19 22K 
[ ]fib_num3__t16_fib_num3.depv12024-08-03 10:19 265  
[ ]fib_num3__t16_fib_num3.depvmin12024-08-03 10:24 265  
[ ]fib_num3__t16_fib_num3.vmin12024-08-03 10:20 1.2K 
[ ]fib_num3__t16_fib_num3.vmin1out2024-08-03 10:20 8.5K 
[ ]fib_num3__t16_fib_num3.vout2024-08-03 09:49 9.3K 
[ ]fib_num3__t17_fib_num32024-07-27 22:20 37K 
[ ]fib_num3__t17_fib_num3.vout2024-08-03 08:29 2.0K 
[ ]fib_num3__t18_fib_num32024-07-27 22:21 138K 
[ ]fib_num3__t18_fib_num3.vout2024-08-03 05:21 2.0K 
[ ]fib_num3__t19_fib_num32024-07-27 22:22 65K 
[ ]fib_num3__t19_fib_num3.vout2024-08-03 10:05 2.0K 
[ ]fib_num3__t20_fib_num32024-07-27 22:23 37K 
[ ]fib_num3__t20_fib_num3.vout2024-08-03 06:09 2.0K 
[ ]fib_num3__t21_fib_num32024-07-27 22:25 266K 
[ ]fib_num3__t21_fib_num3.vout2024-08-03 04:34 2.0K 
[ ]fib_num3__t22_fib_num32024-07-27 22:26 44K 
[ ]fib_num3__t22_fib_num3.vout2024-08-03 07:40 2.0K 
[ ]fib_num3__t23_fib_num32024-07-27 22:27 49K 
[ ]fib_num3__t23_fib_num3.vout2024-08-03 04:10 2.0K 
[ ]fib_num3__t24_fib_num32024-07-27 22:28 51K 
[ ]fib_num3__t24_fib_num3.vout2024-08-03 09:39 2.0K 
[ ]fib_num3__t25_fib_num32024-07-27 22:29 43K 
[ ]fib_num3__t25_fib_num3.vout2024-08-03 06:32 2.0K 
[ ]fib_num3__t26_fib_num32024-07-27 22:30 167K 
[ ]fib_num3__t26_fib_num3.vout2024-08-03 05:38 2.0K 
[ ]fib_num3__t27_fib_num32024-07-27 22:31 70K 
[ ]fib_num3__t27_fib_num3.vout2024-08-03 07:51 2.0K 
[ ]fib_num3__t28_fib_num32024-07-27 22:33 61K 
[ ]fib_num3__t28_fib_num3.vout2024-08-03 05:37 2.0K 
[ ]fib_num3__t29_fib_num32024-07-27 22:34 341K 
[ ]fib_num3__t29_fib_num3.vout2024-08-03 06:52 2.0K 
[ ]fib_num3__t30_fib_num32024-07-27 22:35 619K 
[ ]fib_num3__t30_fib_num3.vout2024-08-03 06:49 1.1K 
[ ]fib_num3__t31_fib_num32024-07-27 22:36 25K 
[ ]fib_num3__t31_fib_num3.vout2024-08-03 05:39 2.0K 
[ ]fib_num3__t32_fib_num32024-07-27 22:37 22K 
[ ]fib_num3__t32_fib_num3.vout2024-08-03 09:03 7.3K 
[ ]fib_num3__t33_fib_num32024-07-27 22:38 24K 
[ ]fib_num3__t33_fib_num3.vout2024-08-03 10:13 2.0K 
[ ]fib_num3__t34_fib_num32024-07-27 22:39 19K 
[ ]fib_num3__t34_fib_num3.vout2024-08-03 07:38 2.0K 
[ ]fib_num3__t35_fib_num32024-07-27 22:40 19K 
[ ]fib_num3__t35_fib_num3.vout2024-08-03 05:40 2.0K 
[ ]fib_num3__t36_fib_num32024-07-27 22:41 19K 
[ ]fib_num3__t36_fib_num3.vout2024-08-03 08:20 2.0K 
[ ]fib_num3__t37_fib_num32024-07-27 22:42 20K 
[ ]fib_num3__t37_fib_num3.vout2024-08-03 08:36 2.0K 
[ ]fib_num3__t38_fib_num32024-07-27 22:44 20K 
[ ]fib_num3__t38_fib_num3.vout2024-08-03 05:43 2.0K 
[ ]fib_num3__t39_fib_num32024-07-27 22:45 22K 
[ ]fib_num3__t39_fib_num3.vout2024-08-03 06:34 2.0K 
[ ]fib_num3__t40_fib_num32024-07-27 22:46 22K 
[ ]fib_num3__t40_fib_num3.vout2024-08-03 04:58 2.0K 
[ ]fib_num3__t41_fib_num32024-07-27 22:47 32K 
[ ]fib_num3__t41_fib_num3.vout2024-08-03 09:56 2.0K 
[ ]fib_num3__t42_fib_num32024-07-27 22:48 44K 
[ ]fib_num3__t42_fib_num3.vout2024-08-03 04:12 2.0K 
[ ]fib_num3__t43_fib_num32024-07-27 22:49 70K 
[ ]fib_num3__t43_fib_num3.vout2024-08-03 07:10 2.0K 
[ ]fib_num3__t44_fib_num32024-07-27 22:50 66K 
[ ]fib_num3__t44_fib_num3.vout2024-08-03 06:28 1.1K 
[ ]fib_num3__t45_fib_num32024-07-27 22:51 37K 
[ ]fib_num3__t45_fib_num3.vout2024-08-03 05:56 2.0K 
[ ]fib_num3__t46_fib_num32024-07-27 22:52 21K 
[ ]fib_num3__t46_fib_num3.vout2024-08-03 09:50 2.0K 
[ ]fib_num3__t47_fib_num32024-07-27 22:53 112K 
[ ]fib_num3__t47_fib_num3.vout2024-08-03 04:43 2.0K 
[ ]fib_num3__t48_fib_num32024-07-27 22:54 20K 
[ ]fib_num3__t48_fib_num3.vout2024-08-03 06:53 2.0K 
[ ]fib_num3__t49_fib_num32024-07-27 22:55 33K 
[ ]fib_num3__t49_fib_num3.vout2024-08-03 08:41 2.0K 
[ ]fib_num3__t50_fib_num32024-07-27 22:56 29K 
[ ]fib_num3__t50_fib_num3.vout2024-08-03 08:04 2.0K 
[ ]fib_num3__t51_fib_num32024-07-27 22:58 33K 
[ ]fib_num3__t51_fib_num3.vout2024-08-03 07:38 2.0K 
[ ]fib_num3__t52_fib_num32024-07-27 22:59 31K 
[ ]fib_num3__t52_fib_num3.vout2024-08-03 09:37 2.0K 
[ ]fib_num3__t53_fib_num32024-07-27 23:00 29K 
[ ]fib_num3__t53_fib_num3.vout2024-08-03 09:28 2.0K 
[ ]fib_num3__t54_fib_num32024-07-27 23:01 490K 
[ ]fib_num3__t54_fib_num3.vout2024-08-03 05:01 2.0K 
[ ]fib_num3__t55_fib_num32024-07-27 23:02 21K 
[ ]fib_num3__t55_fib_num3.vout2024-08-03 06:58 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80