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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_7__l4_fdiff_72024-07-26 20:01 62K 
[ ]fdiff_7__l4_fdiff_7.vout2024-08-03 09:36 2.0K 
[ ]fdiff_7__l5_fdiff_72024-07-26 20:02 50K 
[ ]fdiff_7__l5_fdiff_7.vout2024-08-03 07:05 2.0K 
[ ]fdiff_7__l34_fdiff_72024-07-26 18:59 6.2K 
[ ]fdiff_7__l34_fdiff_7.depv12024-08-03 10:19 213  
[ ]fdiff_7__l34_fdiff_7.depvmin12024-08-03 10:24 213  
[ ]fdiff_7__l34_fdiff_7.vmin12024-08-03 10:20 1.4K 
[ ]fdiff_7__l34_fdiff_7.vmin1out2024-08-03 10:21 29K 
[ ]fdiff_7__l34_fdiff_7.vout2024-08-03 06:07 20K 
[ ]fdiff_7__t1_fdiff_72024-07-26 19:00 9.7K 
[ ]fdiff_7__t1_fdiff_7.depv12024-08-03 10:19 142  
[ ]fdiff_7__t1_fdiff_7.depvmin12024-08-03 10:24 127  
[ ]fdiff_7__t1_fdiff_7.vmin12024-08-03 10:20 1.0K 
[ ]fdiff_7__t1_fdiff_7.vmin1out2024-08-03 10:20 6.6K 
[ ]fdiff_7__t1_fdiff_7.vout2024-08-03 08:10 6.9K 
[ ]fdiff_7__t2_fdiff_72024-07-26 19:01 55K 
[ ]fdiff_7__t2_fdiff_7.vout2024-08-03 08:02 7.3K 
[ ]fdiff_7__t3_fdiff_72024-07-26 19:01 13K 
[ ]fdiff_7__t3_fdiff_7.depv12024-08-03 10:19 216  
[ ]fdiff_7__t3_fdiff_7.depvmin12024-08-03 10:24 179  
[ ]fdiff_7__t3_fdiff_7.vmin12024-08-03 10:20 1.5K 
[ ]fdiff_7__t3_fdiff_7.vmin1out2024-08-03 10:21 10K 
[ ]fdiff_7__t3_fdiff_7.vout2024-08-03 07:42 11K 
[ ]fdiff_7__t4_fdiff_72024-07-26 19:03 35K 
[ ]fdiff_7__t4_fdiff_7.vout2024-08-03 06:29 7.8K 
[ ]fdiff_7__t5_fdiff_72024-07-26 19:04 35K 
[ ]fdiff_7__t5_fdiff_7.vout2024-08-03 09:10 7.8K 
[ ]fdiff_7__t6_fdiff_72024-07-26 19:05 36K 
[ ]fdiff_7__t6_fdiff_7.vout2024-08-03 08:15 7.3K 
[ ]fdiff_7__t7_fdiff_72024-07-26 19:06 36K 
[ ]fdiff_7__t7_fdiff_7.vout2024-08-03 08:06 7.3K 
[ ]fdiff_7__t8_fdiff_72024-07-26 19:07 38K 
[ ]fdiff_7__t8_fdiff_7.vout2024-08-03 08:18 8.3K 
[ ]fdiff_7__t9_fdiff_72024-07-26 19:08 38K 
[ ]fdiff_7__t9_fdiff_7.vout2024-08-03 09:08 8.4K 
[ ]fdiff_7__t10_fdiff_72024-07-26 19:09 37K 
[ ]fdiff_7__t10_fdiff_7.vout2024-08-03 07:29 8.4K 
[ ]fdiff_7__t11_fdiff_72024-07-26 19:11 37K 
[ ]fdiff_7__t11_fdiff_7.vout2024-08-03 09:44 8.4K 
[ ]fdiff_7__t12_fdiff_72024-07-26 19:12 85K 
[ ]fdiff_7__t12_fdiff_7.vout2024-08-03 08:04 8.4K 
[ ]fdiff_7__t13_fdiff_72024-07-26 19:13 85K 
[ ]fdiff_7__t13_fdiff_7.vout2024-08-03 07:29 8.4K 
[ ]fdiff_7__t14_fdiff_72024-07-26 19:14 42K 
[ ]fdiff_7__t14_fdiff_7.vout2024-08-03 06:38 6.8K 
[ ]fdiff_7__t15_fdiff_72024-07-26 19:15 42K 
[ ]fdiff_7__t15_fdiff_7.vout2024-08-03 08:14 6.8K 
[ ]fdiff_7__t16_fdiff_72024-07-26 19:17 48K 
[ ]fdiff_7__t16_fdiff_7.vout2024-08-03 04:56 7.3K 
[ ]fdiff_7__t17_fdiff_72024-07-26 19:18 48K 
[ ]fdiff_7__t17_fdiff_7.vout2024-08-03 04:19 7.3K 
[ ]fdiff_7__t18_fdiff_72024-07-26 19:19 46K 
[ ]fdiff_7__t18_fdiff_7.vout2024-08-03 09:20 6.8K 
[ ]fdiff_7__t19_fdiff_72024-07-26 19:20 46K 
[ ]fdiff_7__t19_fdiff_7.vout2024-08-03 06:36 6.8K 
[ ]fdiff_7__t20_fdiff_72024-07-26 19:22 140K 
[ ]fdiff_7__t20_fdiff_7.vout2024-08-03 05:21 7.3K 
[ ]fdiff_7__t21_fdiff_72024-07-26 19:23 183K 
[ ]fdiff_7__t21_fdiff_7.vout2024-08-03 05:16 7.3K 
[ ]fdiff_7__t22_fdiff_72024-07-26 19:24 212K 
[ ]fdiff_7__t22_fdiff_7.vout2024-08-03 09:40 7.3K 
[ ]fdiff_7__t23_fdiff_72024-07-26 19:25 138K 
[ ]fdiff_7__t23_fdiff_7.vout2024-08-03 05:37 6.8K 
[ ]fdiff_7__t24_fdiff_72024-07-26 19:27 137K 
[ ]fdiff_7__t24_fdiff_7.vout2024-08-03 04:57 6.8K 
[ ]fdiff_7__t25_fdiff_72024-07-26 19:28 50K 
[ ]fdiff_7__t25_fdiff_7.vout2024-08-03 07:07 6.8K 
[ ]fdiff_7__t26_fdiff_72024-07-26 19:30 51K 
[ ]fdiff_7__t26_fdiff_7.vout2024-08-03 04:31 6.8K 
[ ]fdiff_7__t27_fdiff_72024-07-26 19:31 212K 
[ ]fdiff_7__t27_fdiff_7.vout2024-08-03 06:11 6.8K 
[ ]fdiff_7__t28_fdiff_72024-07-26 19:32 139K 
[ ]fdiff_7__t28_fdiff_7.vout2024-08-03 10:09 6.8K 
[ ]fdiff_7__t29_fdiff_72024-07-26 19:34 138K 
[ ]fdiff_7__t29_fdiff_7.vout2024-08-03 04:50 6.8K 
[ ]fdiff_7__t30_fdiff_72024-07-26 19:35 92K 
[ ]fdiff_7__t30_fdiff_7.vout2024-08-03 05:59 7.8K 
[ ]fdiff_7__t31_fdiff_72024-07-26 19:37 92K 
[ ]fdiff_7__t31_fdiff_7.vout2024-08-03 06:36 7.8K 
[ ]fdiff_7__t32_fdiff_72024-07-26 19:38 28K 
[ ]fdiff_7__t32_fdiff_7.vout2024-08-03 04:21 8.4K 
[ ]fdiff_7__t33_fdiff_72024-07-26 19:39 41K 
[ ]fdiff_7__t33_fdiff_7.vout2024-08-03 07:56 7.8K 
[ ]fdiff_7__t34_fdiff_72024-07-26 19:40 22K 
[ ]fdiff_7__t34_fdiff_7.depv12024-08-03 10:19 263  
[ ]fdiff_7__t34_fdiff_7.depvmin12024-08-03 10:24 181  
[ ]fdiff_7__t34_fdiff_7.vmin12024-08-03 10:20 4.2K 
[ ]fdiff_7__t34_fdiff_7.vmin1out2024-08-03 10:21 55K 
[ ]fdiff_7__t34_fdiff_7.vout2024-08-03 10:16 67K 
[ ]fdiff_7__t35_fdiff_72024-07-26 19:41 26K 
[ ]fdiff_7__t35_fdiff_7.vout2024-08-03 09:19 8.4K 
[ ]fdiff_7__t36_fdiff_72024-07-26 19:42 26K 
[ ]fdiff_7__t36_fdiff_7.vout2024-08-03 07:34 8.4K 
[ ]fdiff_7__t37_fdiff_72024-07-26 19:44 22K 
[ ]fdiff_7__t37_fdiff_7.depv12024-08-03 10:19 183  
[ ]fdiff_7__t37_fdiff_7.depvmin12024-08-03 10:24 183  
[ ]fdiff_7__t37_fdiff_7.vmin12024-08-03 10:20 3.6K 
[ ]fdiff_7__t37_fdiff_7.vmin1out2024-08-03 10:23 52K 
[ ]fdiff_7__t37_fdiff_7.vout2024-08-03 05:04 60K 
[ ]fdiff_7__t38_fdiff_72024-07-26 19:45 23K 
[ ]fdiff_7__t38_fdiff_7.depv12024-08-03 10:19 265  
[ ]fdiff_7__t38_fdiff_7.depvmin12024-08-03 10:24 251  
[ ]fdiff_7__t38_fdiff_7.vmin12024-08-03 10:20 3.7K 
[ ]fdiff_7__t38_fdiff_7.vmin1out2024-08-03 10:20 37K 
[ ]fdiff_7__t38_fdiff_7.vout2024-08-03 07:52 41K 
[ ]fdiff_7__t39_fdiff_72024-07-26 19:46 24K 
[ ]fdiff_7__t39_fdiff_7.vout2024-08-03 05:49 2.0K 
[ ]fdiff_7__t40_fdiff_72024-07-26 19:47 41K 
[ ]fdiff_7__t40_fdiff_7.vout2024-08-03 07:41 7.3K 
[ ]fdiff_7__t41_fdiff_72024-07-26 19:48 41K 
[ ]fdiff_7__t41_fdiff_7.vout2024-08-03 07:53 7.3K 
[ ]fdiff_7__t42_fdiff_72024-07-26 19:50 102K 
[ ]fdiff_7__t42_fdiff_7.vout2024-08-03 08:37 6.2K 
[ ]fdiff_7__t43_fdiff_72024-07-26 19:51 99K 
[ ]fdiff_7__t43_fdiff_7.vout2024-08-03 04:38 6.2K 
[ ]fdiff_7__t44_fdiff_72024-07-26 19:52 25K 
[ ]fdiff_7__t44_fdiff_7.vout2024-08-03 07:32 2.0K 
[ ]fdiff_7__t45_fdiff_72024-07-26 19:53 28K 
[ ]fdiff_7__t45_fdiff_7.vout2024-08-03 09:48 2.0K 
[ ]fdiff_7__t46_fdiff_72024-07-26 19:54 35K 
[ ]fdiff_7__t46_fdiff_7.vout2024-08-03 07:51 2.0K 
[ ]fdiff_7__t47_fdiff_72024-07-26 19:55 35K 
[ ]fdiff_7__t47_fdiff_7.vout2024-08-03 05:11 2.0K 
[ ]fdiff_7__t48_fdiff_72024-07-26 19:57 78K 
[ ]fdiff_7__t48_fdiff_7.vout2024-08-03 05:54 6.8K 
[ ]fdiff_7__t49_fdiff_72024-07-26 19:58 120K 
[ ]fdiff_7__t49_fdiff_7.vout2024-08-03 07:56 6.8K 
[ ]fdiff_7__t50_fdiff_72024-07-26 19:59 70K 
[ ]fdiff_7__t50_fdiff_7.vout2024-08-03 04:40 7.3K 
[ ]fdiff_7__t51_fdiff_72024-07-26 20:01 70K 
[ ]fdiff_7__t51_fdiff_7.vout2024-08-03 06:53 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80