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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ftacell1__l5_ftacell12024-07-28 15:17 27K 
[ ]ftacell1__l5_ftacell1.vout2024-08-03 08:02 8.4K 
[ ]ftacell1__l6_ftacell12024-07-28 15:19 25K 
[ ]ftacell1__l6_ftacell1.depv12024-08-03 10:19 100  
[ ]ftacell1__l6_ftacell1.depvmin12024-08-03 10:24 50  
[ ]ftacell1__l6_ftacell1.vmin12024-08-03 10:20 1.5K 
[ ]ftacell1__l6_ftacell1.vmin1out2024-08-03 10:21 6.5K 
[ ]ftacell1__l6_ftacell1.vout2024-08-03 06:15 17K 
[ ]ftacell1__l17_ftacell12024-07-28 15:21 58K 
[ ]ftacell1__l17_ftacell1.vout2024-08-03 05:37 4.7K 
[ ]ftacell1__l18_ftacell12024-07-28 15:23 95K 
[ ]ftacell1__l18_ftacell1.vout2024-08-03 09:39 4.7K 
[ ]ftacell1__l19_ftacell12024-07-28 15:26 99K 
[ ]ftacell1__l19_ftacell1.vout2024-08-03 04:29 4.7K 
[ ]ftacell1__l20_ftacell12024-07-28 15:28 97K 
[ ]ftacell1__l20_ftacell1.vout2024-08-03 05:14 4.7K 
[ ]ftacell1__l21_ftacell12024-07-28 15:31 59K 
[ ]ftacell1__l21_ftacell1.vout2024-08-03 06:58 4.7K 
[ ]ftacell1__l22_ftacell12024-07-28 15:33 95K 
[ ]ftacell1__l22_ftacell1.vout2024-08-03 07:04 4.7K 
[ ]ftacell1__l23_ftacell12024-07-28 15:35 142K 
[ ]ftacell1__l23_ftacell1.vout2024-08-03 05:49 4.7K 
[ ]ftacell1__l24_ftacell12024-07-28 15:38 140K 
[ ]ftacell1__l24_ftacell1.vout2024-08-03 05:23 4.7K 
[ ]ftacell1__l31_ftacell12024-07-28 15:39 32K 
[ ]ftacell1__l31_ftacell1.vout2024-08-03 09:04 8.4K 
[ ]ftacell1__l32_ftacell12024-07-28 15:41 28K 
[ ]ftacell1__l32_ftacell1.depv12024-08-03 10:19 155  
[ ]ftacell1__l32_ftacell1.depvmin12024-08-03 10:24 103  
[ ]ftacell1__l32_ftacell1.vmin12024-08-03 10:20 2.2K 
[ ]ftacell1__l32_ftacell1.vmin1out2024-08-03 10:23 9.2K 
[ ]ftacell1__l32_ftacell1.vout2024-08-03 06:33 21K 
[ ]ftacell1__l43_ftacell12024-07-28 15:43 66K 
[ ]ftacell1__l43_ftacell1.vout2024-08-03 06:49 4.7K 
[ ]ftacell1__l44_ftacell12024-07-28 15:46 102K 
[ ]ftacell1__l44_ftacell1.vout2024-08-03 06:42 4.7K 
[ ]ftacell1__l45_ftacell12024-07-28 15:48 105K 
[ ]ftacell1__l45_ftacell1.vout2024-08-03 08:10 4.7K 
[ ]ftacell1__l46_ftacell12024-07-28 15:51 104K 
[ ]ftacell1__l46_ftacell1.vout2024-08-03 05:26 4.7K 
[ ]ftacell1__l47_ftacell12024-07-28 15:53 67K 
[ ]ftacell1__l47_ftacell1.vout2024-08-03 04:59 7.3K 
[ ]ftacell1__l48_ftacell12024-07-28 15:56 102K 
[ ]ftacell1__l48_ftacell1.vout2024-08-03 05:15 4.7K 
[ ]ftacell1__l49_ftacell12024-07-28 15:58 148K 
[ ]ftacell1__l49_ftacell1.vout2024-08-03 10:17 4.7K 
[ ]ftacell1__l50_ftacell12024-07-28 16:01 146K 
[ ]ftacell1__l50_ftacell1.vout2024-08-03 05:50 4.7K 
[ ]ftacell1__l57_ftacell12024-07-28 16:02 31K 
[ ]ftacell1__l57_ftacell1.vout2024-08-03 05:54 8.4K 
[ ]ftacell1__l58_ftacell12024-07-28 16:04 28K 
[ ]ftacell1__l58_ftacell1.depv12024-08-03 10:19 155  
[ ]ftacell1__l58_ftacell1.depvmin12024-08-03 10:24 103  
[ ]ftacell1__l58_ftacell1.vmin12024-08-03 10:20 2.2K 
[ ]ftacell1__l58_ftacell1.vmin1out2024-08-03 10:22 9.1K 
[ ]ftacell1__l58_ftacell1.vout2024-08-03 05:07 21K 
[ ]ftacell1__l69_ftacell12024-07-28 16:06 66K 
[ ]ftacell1__l69_ftacell1.vout2024-08-03 04:10 4.7K 
[ ]ftacell1__l70_ftacell12024-07-28 16:08 102K 
[ ]ftacell1__l70_ftacell1.vout2024-08-03 07:05 4.7K 
[ ]ftacell1__l71_ftacell12024-07-28 16:11 105K 
[ ]ftacell1__l71_ftacell1.vout2024-08-03 06:00 4.7K 
[ ]ftacell1__l72_ftacell12024-07-28 16:14 104K 
[ ]ftacell1__l72_ftacell1.vout2024-08-03 08:21 4.7K 
[ ]ftacell1__l73_ftacell12024-07-28 16:16 65K 
[ ]ftacell1__l73_ftacell1.vout2024-08-03 05:16 4.7K 
[ ]ftacell1__l74_ftacell12024-07-28 16:18 102K 
[ ]ftacell1__l74_ftacell1.vout2024-08-03 07:11 4.7K 
[ ]ftacell1__l75_ftacell12024-07-28 16:21 148K 
[ ]ftacell1__l75_ftacell1.vout2024-08-03 06:56 4.7K 
[ ]ftacell1__l76_ftacell12024-07-28 16:24 146K 
[ ]ftacell1__l76_ftacell1.vout2024-08-03 06:04 4.7K 
[ ]ftacell1__l83_ftacell12024-07-28 16:25 27K 
[ ]ftacell1__l83_ftacell1.vout2024-08-03 06:27 8.4K 
[ ]ftacell1__l84_ftacell12024-07-28 16:27 25K 
[ ]ftacell1__l84_ftacell1.depv12024-08-03 10:19 105  
[ ]ftacell1__l84_ftacell1.depvmin12024-08-03 10:24 53  
[ ]ftacell1__l84_ftacell1.vmin12024-08-03 10:20 1.5K 
[ ]ftacell1__l84_ftacell1.vmin1out2024-08-03 10:20 6.6K 
[ ]ftacell1__l84_ftacell1.vout2024-08-03 09:43 17K 
[ ]ftacell1__l95_ftacell12024-07-28 16:29 59K 
[ ]ftacell1__l95_ftacell1.vout2024-08-03 09:52 7.3K 
[ ]ftacell1__l96_ftacell12024-07-28 16:31 95K 
[ ]ftacell1__l96_ftacell1.vout2024-08-03 04:33 4.7K 
[ ]ftacell1__l97_ftacell12024-07-28 16:33 100K 
[ ]ftacell1__l97_ftacell1.vout2024-08-03 07:38 4.7K 
[ ]ftacell1__l98_ftacell12024-07-28 16:36 98K 
[ ]ftacell1__l98_ftacell1.vout2024-08-03 08:18 4.7K 
[ ]ftacell1__l99_ftacell12024-07-28 16:38 61K 
[ ]ftacell1__l99_ftacell1.vout2024-08-03 08:47 7.3K 
[ ]ftacell1__l100_ftacell12024-07-28 16:40 95K 
[ ]ftacell1__l100_ftacell1.vout2024-08-03 04:26 4.7K 
[ ]ftacell1__l101_ftacell12024-07-28 16:43 143K 
[ ]ftacell1__l101_ftacell1.vout2024-08-03 04:18 4.7K 
[ ]ftacell1__l102_ftacell12024-07-28 16:45 141K 
[ ]ftacell1__l102_ftacell1.vout2024-08-03 08:45 4.7K 
[ ]ftacell1__t1_ftacell12024-07-28 14:06 32K 
[ ]ftacell1__t1_ftacell1.vout2024-08-03 08:29 10K 
[ ]ftacell1__t2_ftacell12024-07-28 14:08 27K 
[ ]ftacell1__t2_ftacell1.depv12024-08-03 10:19 128  
[ ]ftacell1__t2_ftacell1.depvmin12024-08-03 10:24 128  
[ ]ftacell1__t2_ftacell1.vmin12024-08-03 10:20 2.0K 
[ ]ftacell1__t2_ftacell1.vmin1out2024-08-03 10:21 38K 
[ ]ftacell1__t2_ftacell1.vout2024-08-03 06:02 42K 
[ ]ftacell1__t3_ftacell12024-07-28 14:10 35K 
[ ]ftacell1__t3_ftacell1.vout2024-08-03 06:08 4.7K 
[ ]ftacell1__t4_ftacell12024-07-28 14:11 30K 
[ ]ftacell1__t4_ftacell1.vout2024-08-03 06:00 8.4K 
[ ]ftacell1__t5_ftacell12024-07-28 14:13 31K 
[ ]ftacell1__t5_ftacell1.vout2024-08-03 07:14 6.3K 
[ ]ftacell1__t6_ftacell12024-07-28 14:15 28K 
[ ]ftacell1__t6_ftacell1.depv12024-08-03 10:19 134  
[ ]ftacell1__t6_ftacell1.depvmin12024-08-03 10:24 134  
[ ]ftacell1__t6_ftacell1.vmin12024-08-03 10:20 2.5K 
[ ]ftacell1__t6_ftacell1.vmin1out2024-08-03 10:20 60K 
[ ]ftacell1__t6_ftacell1.vout2024-08-03 06:10 52K 
[ ]ftacell1__t7_ftacell12024-07-28 14:17 104K 
[ ]ftacell1__t7_ftacell1.vout2024-08-03 04:26 4.7K 
[ ]ftacell1__t8_ftacell12024-07-28 14:20 108K 
[ ]ftacell1__t8_ftacell1.vout2024-08-03 08:47 4.7K 
[ ]ftacell1__t9_ftacell12024-07-28 13:58 137K 
[ ]ftacell1__t9_ftacell1.depv12024-08-03 10:19 125  
[ ]ftacell1__t9_ftacell1.depvmin12024-08-03 10:24 99  
[ ]ftacell1__t9_ftacell1.vmin12024-08-03 10:20 5.3K 
[ ]ftacell1__t9_ftacell1.vmin1out2024-08-03 10:22 118K 
[ ]ftacell1__t9_ftacell1.vout2024-08-03 10:09 92K 
[ ]ftacell1__t10_ftacell12024-07-28 14:22 56K 
[ ]ftacell1__t10_ftacell1.vout2024-08-03 07:58 5.8K 
[ ]ftacell1__t11_ftacell12024-07-28 14:24 36K 
[ ]ftacell1__t11_ftacell1.vout2024-08-03 05:46 10K 
[ ]ftacell1__t12_ftacell12024-07-28 14:25 30K 
[ ]ftacell1__t12_ftacell1.depv12024-08-03 10:19 212  
[ ]ftacell1__t12_ftacell1.depvmin12024-08-03 10:24 95  
[ ]ftacell1__t12_ftacell1.vmin12024-08-03 10:20 3.2K 
[ ]ftacell1__t12_ftacell1.vmin1out2024-08-03 10:21 9.6K 
[ ]ftacell1__t12_ftacell1.vout2024-08-03 04:19 50K 
[ ]ftacell1__t13_ftacell12024-07-28 14:27 38K 
[ ]ftacell1__t13_ftacell1.vout2024-08-03 09:37 4.7K 
[ ]ftacell1__t14_ftacell12024-07-28 14:29 34K 
[ ]ftacell1__t14_ftacell1.vout2024-08-03 10:14 8.4K 
[ ]ftacell1__t15_ftacell12024-07-28 14:31 35K 
[ ]ftacell1__t15_ftacell1.vout2024-08-03 04:17 6.3K 
[ ]ftacell1__t16_ftacell12024-07-28 14:32 31K 
[ ]ftacell1__t16_ftacell1.depv12024-08-03 10:19 190  
[ ]ftacell1__t16_ftacell1.depvmin12024-08-03 10:24 190  
[ ]ftacell1__t16_ftacell1.vmin12024-08-03 10:20 3.2K 
[ ]ftacell1__t16_ftacell1.vmin1out2024-08-03 10:23 64K 
[ ]ftacell1__t16_ftacell1.vout2024-08-03 05:54 56K 
[ ]ftacell1__t17_ftacell12024-07-28 14:35 110K 
[ ]ftacell1__t17_ftacell1.vout2024-08-03 04:40 4.7K 
[ ]ftacell1__t18_ftacell12024-07-28 14:37 114K 
[ ]ftacell1__t18_ftacell1.vout2024-08-03 04:52 4.7K 
[ ]ftacell1__t19_ftacell12024-07-28 14:00 143K 
[ ]ftacell1__t19_ftacell1.depv12024-08-03 10:19 115  
[ ]ftacell1__t19_ftacell1.depvmin12024-08-03 10:24 115  
[ ]ftacell1__t19_ftacell1.vmin12024-08-03 10:20 5.4K 
[ ]ftacell1__t19_ftacell1.vmin1out2024-08-03 10:23 120K 
[ ]ftacell1__t19_ftacell1.vout2024-08-03 05:59 92K 
[ ]ftacell1__t20_ftacell12024-07-28 14:40 63K 
[ ]ftacell1__t20_ftacell1.vout2024-08-03 08:58 5.8K 
[ ]ftacell1__t21_ftacell12024-07-28 14:42 36K 
[ ]ftacell1__t21_ftacell1.vout2024-08-03 10:05 10K 
[ ]ftacell1__t22_ftacell12024-07-28 14:43 30K 
[ ]ftacell1__t22_ftacell1.depv12024-08-03 10:19 213  
[ ]ftacell1__t22_ftacell1.depvmin12024-08-03 10:24 96  
[ ]ftacell1__t22_ftacell1.vmin12024-08-03 10:20 3.2K 
[ ]ftacell1__t22_ftacell1.vmin1out2024-08-03 10:23 9.6K 
[ ]ftacell1__t22_ftacell1.vout2024-08-03 09:42 50K 
[ ]ftacell1__t23_ftacell12024-07-28 14:45 38K 
[ ]ftacell1__t23_ftacell1.vout2024-08-03 09:38 4.7K 
[ ]ftacell1__t24_ftacell12024-07-28 14:47 34K 
[ ]ftacell1__t24_ftacell1.vout2024-08-03 09:57 8.4K 
[ ]ftacell1__t25_ftacell12024-07-28 14:49 35K 
[ ]ftacell1__t25_ftacell1.vout2024-08-03 06:41 6.3K 
[ ]ftacell1__t26_ftacell12024-07-28 14:50 31K 
[ ]ftacell1__t26_ftacell1.depv12024-08-03 10:19 191  
[ ]ftacell1__t26_ftacell1.depvmin12024-08-03 10:24 191  
[ ]ftacell1__t26_ftacell1.vmin12024-08-03 10:20 3.3K 
[ ]ftacell1__t26_ftacell1.vmin1out2024-08-03 10:21 64K 
[ ]ftacell1__t26_ftacell1.vout2024-08-03 04:08 56K 
[ ]ftacell1__t27_ftacell12024-07-28 14:53 110K 
[ ]ftacell1__t27_ftacell1.vout2024-08-03 08:01 4.7K 
[ ]ftacell1__t28_ftacell12024-07-28 14:56 114K 
[ ]ftacell1__t28_ftacell1.vout2024-08-03 08:48 4.7K 
[ ]ftacell1__t29_ftacell12024-07-28 14:03 143K 
[ ]ftacell1__t29_ftacell1.depv12024-08-03 10:19 184  
[ ]ftacell1__t29_ftacell1.depvmin12024-08-03 10:24 117  
[ ]ftacell1__t29_ftacell1.vmin12024-08-03 10:20 6.0K 
[ ]ftacell1__t29_ftacell1.vmin1out2024-08-03 10:20 122K 
[ ]ftacell1__t29_ftacell1.vout2024-08-03 06:46 104K 
[ ]ftacell1__t30_ftacell12024-07-28 14:59 63K 
[ ]ftacell1__t30_ftacell1.vout2024-08-03 06:53 5.8K 
[ ]ftacell1__t31_ftacell12024-07-28 15:00 32K 
[ ]ftacell1__t31_ftacell1.vout2024-08-03 08:12 10K 
[ ]ftacell1__t32_ftacell12024-07-28 15:02 27K 
[ ]ftacell1__t32_ftacell1.depv12024-08-03 10:19 133  
[ ]ftacell1__t32_ftacell1.depvmin12024-08-03 10:24 133  
[ ]ftacell1__t32_ftacell1.vmin12024-08-03 10:20 2.0K 
[ ]ftacell1__t32_ftacell1.vmin1out2024-08-03 10:23 39K 
[ ]ftacell1__t32_ftacell1.vout2024-08-03 05:24 43K 
[ ]ftacell1__t33_ftacell12024-07-28 15:03 35K 
[ ]ftacell1__t33_ftacell1.vout2024-08-03 09:41 4.7K 
[ ]ftacell1__t34_ftacell12024-07-28 15:05 30K 
[ ]ftacell1__t34_ftacell1.vout2024-08-03 08:46 8.5K 
[ ]ftacell1__t35_ftacell12024-07-28 15:07 31K 
[ ]ftacell1__t35_ftacell1.vout2024-08-03 09:50 6.3K 
[ ]ftacell1__t36_ftacell12024-07-28 15:09 28K 
[ ]ftacell1__t36_ftacell1.depv12024-08-03 10:19 139  
[ ]ftacell1__t36_ftacell1.depvmin12024-08-03 10:24 139  
[ ]ftacell1__t36_ftacell1.vmin12024-08-03 10:20 2.5K 
[ ]ftacell1__t36_ftacell1.vmin1out2024-08-03 10:20 60K 
[ ]ftacell1__t36_ftacell1.vout2024-08-03 04:58 52K 
[ ]ftacell1__t37_ftacell12024-07-28 15:11 105K 
[ ]ftacell1__t37_ftacell1.vout2024-08-03 06:50 4.7K 
[ ]ftacell1__t38_ftacell12024-07-28 15:14 109K 
[ ]ftacell1__t38_ftacell1.vout2024-08-03 04:32 4.7K 
[ ]ftacell1__t39_ftacell12024-07-28 14:05 138K 
[ ]ftacell1__t39_ftacell1.depv12024-08-03 10:19 147  
[ ]ftacell1__t39_ftacell1.depvmin12024-08-03 10:24 106  
[ ]ftacell1__t39_ftacell1.vmin12024-08-03 10:20 5.9K 
[ ]ftacell1__t39_ftacell1.vmin1out2024-08-03 10:20 132K 
[ ]ftacell1__t39_ftacell1.vout2024-08-03 04:27 104K 
[ ]ftacell1__t40_ftacell12024-07-28 15:16 56K 
[ ]ftacell1__t40_ftacell1.vout2024-08-03 05:06 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80