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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_4__t1_fdiff_42024-07-27 10:32 42K 
[ ]fdiff_4__t1_fdiff_4.vout2024-08-03 04:26 6.8K 
[ ]fdiff_4__t2_fdiff_42024-07-27 10:33 42K 
[ ]fdiff_4__t2_fdiff_4.vout2024-08-03 07:57 6.8K 
[ ]fdiff_4__t3_fdiff_42024-07-27 10:35 45K 
[ ]fdiff_4__t3_fdiff_4.vout2024-08-03 08:30 6.8K 
[ ]fdiff_4__t4_fdiff_42024-07-27 10:36 52K 
[ ]fdiff_4__t4_fdiff_4.vout2024-08-03 06:54 6.8K 
[ ]fdiff_4__t5_fdiff_42024-07-27 10:37 94K 
[ ]fdiff_4__t5_fdiff_4.vout2024-08-03 10:01 6.8K 
[ ]fdiff_4__t6_fdiff_42024-07-27 10:38 94K 
[ ]fdiff_4__t6_fdiff_4.vout2024-08-03 04:11 7.3K 
[ ]fdiff_4__t7_fdiff_42024-07-27 10:40 93K 
[ ]fdiff_4__t7_fdiff_4.vout2024-08-03 05:15 6.8K 
[ ]fdiff_4__t8_fdiff_42024-07-27 10:41 52K 
[ ]fdiff_4__t8_fdiff_4.vout2024-08-03 06:07 6.8K 
[ ]fdiff_4__t9_fdiff_42024-07-27 10:42 52K 
[ ]fdiff_4__t9_fdiff_4.vout2024-08-03 09:43 6.8K 
[ ]fdiff_4__t10_fdiff_42024-07-27 10:44 52K 
[ ]fdiff_4__t10_fdiff_4.vout2024-08-03 09:22 6.8K 
[ ]fdiff_4__t11_fdiff_42024-07-27 10:45 52K 
[ ]fdiff_4__t11_fdiff_4.vout2024-08-03 09:09 6.8K 
[ ]fdiff_4__t12_fdiff_42024-07-27 10:46 41K 
[ ]fdiff_4__t12_fdiff_4.vout2024-08-03 04:27 6.8K 
[ ]fdiff_4__t13_fdiff_42024-07-27 10:47 50K 
[ ]fdiff_4__t13_fdiff_4.vout2024-08-03 09:35 7.3K 
[ ]fdiff_4__t14_fdiff_42024-07-27 10:49 40K 
[ ]fdiff_4__t14_fdiff_4.vout2024-08-03 09:31 4.7K 
[ ]fdiff_4__t15_fdiff_42024-07-27 10:50 42K 
[ ]fdiff_4__t15_fdiff_4.vout2024-08-03 06:21 7.3K 
[ ]fdiff_4__t16_fdiff_42024-07-27 10:51 40K 
[ ]fdiff_4__t16_fdiff_4.vout2024-08-03 09:37 4.7K 
[ ]fdiff_4__t17_fdiff_42024-07-27 10:52 30K 
[ ]fdiff_4__t17_fdiff_4.vout2024-08-03 08:42 6.8K 
[ ]fdiff_4__t18_fdiff_42024-07-27 10:53 45K 
[ ]fdiff_4__t18_fdiff_4.vout2024-08-03 10:09 6.8K 
[ ]fdiff_4__t19_fdiff_42024-07-27 10:55 145K 
[ ]fdiff_4__t19_fdiff_4.vout2024-08-03 05:41 6.8K 
[ ]fdiff_4__t20_fdiff_42024-07-27 10:56 38K 
[ ]fdiff_4__t20_fdiff_4.vout2024-08-03 04:42 6.8K 
[ ]fdiff_4__t21_fdiff_42024-07-27 10:57 41K 
[ ]fdiff_4__t21_fdiff_4.vout2024-08-03 05:42 6.8K 
[ ]fdiff_4__t25_fdiff_42024-07-27 10:58 45K 
[ ]fdiff_4__t25_fdiff_4.vout2024-08-03 09:17 6.8K 
[ ]fdiff_4__t27_fdiff_42024-07-27 10:59 124K 
[ ]fdiff_4__t27_fdiff_4.vout2024-08-03 04:36 6.8K 
[ ]fdiff_4__t28_fdiff_42024-07-27 11:01 36K 
[ ]fdiff_4__t28_fdiff_4.vout2024-08-03 09:33 6.8K 
[ ]fdiff_4__t29_fdiff_42024-07-27 11:02 482K 
[ ]fdiff_4__t29_fdiff_4.vout2024-08-03 04:54 6.8K 
[ ]fdiff_4__t30_fdiff_42024-07-27 11:03 126K 
[ ]fdiff_4__t30_fdiff_4.vout2024-08-03 08:26 6.8K 
[ ]fdiff_4__t31_fdiff_42024-07-27 11:04 209K 
[ ]fdiff_4__t31_fdiff_4.vout2024-08-03 09:23 7.3K 
[ ]fdiff_4__t32_fdiff_42024-07-27 11:05 126K 
[ ]fdiff_4__t32_fdiff_4.vout2024-08-03 09:21 6.8K 
[ ]fdiff_4__t33_fdiff_42024-07-27 11:06 210K 
[ ]fdiff_4__t33_fdiff_4.vout2024-08-03 05:59 6.8K 
[ ]fdiff_4__t34_fdiff_42024-07-27 11:08 131K 
[ ]fdiff_4__t34_fdiff_4.vout2024-08-03 05:01 6.8K 
[ ]fdiff_4__t35_fdiff_42024-07-27 11:09 215K 
[ ]fdiff_4__t35_fdiff_4.vout2024-08-03 06:22 6.8K 
[ ]fdiff_4__t36_fdiff_42024-07-27 11:10 133K 
[ ]fdiff_4__t36_fdiff_4.vout2024-08-03 10:03 7.3K 
[ ]fdiff_4__t37_fdiff_42024-07-27 11:11 28K 
[ ]fdiff_4__t37_fdiff_4.vout2024-08-03 10:05 6.8K 
[ ]fdiff_4__t38_fdiff_42024-07-27 11:13 31K 
[ ]fdiff_4__t38_fdiff_4.vout2024-08-03 07:36 6.8K 
[ ]fdiff_4__t39_fdiff_42024-07-27 11:14 36K 
[ ]fdiff_4__t39_fdiff_4.vout2024-08-03 05:47 6.7K 
[ ]fdiff_4__t40_fdiff_42024-07-27 11:15 36K 
[ ]fdiff_4__t40_fdiff_4.depv12024-08-03 10:19 202  
[ ]fdiff_4__t40_fdiff_4.depvmin12024-08-03 10:24 180  
[ ]fdiff_4__t40_fdiff_4.vmin12024-08-03 10:20 3.6K 
[ ]fdiff_4__t40_fdiff_4.vmin1out2024-08-03 10:21 42K 
[ ]fdiff_4__t40_fdiff_4.vout2024-08-03 08:48 52K 
[ ]fdiff_4__t41_fdiff_42024-07-27 11:16 37K 
[ ]fdiff_4__t41_fdiff_4.vout2024-08-03 04:36 2.0K 
[ ]fdiff_4__t42_fdiff_42024-07-27 11:17 34K 
[ ]fdiff_4__t42_fdiff_4.depv12024-08-03 10:19 390  
[ ]fdiff_4__t42_fdiff_4.depvmin12024-08-03 10:24 317  
[ ]fdiff_4__t42_fdiff_4.vmin12024-08-03 10:20 4.9K 
[ ]fdiff_4__t42_fdiff_4.vmin1out2024-08-03 10:21 65K 
[ ]fdiff_4__t42_fdiff_4.vout2024-08-03 06:33 67K 
[ ]fdiff_4__t43_fdiff_42024-07-27 11:18 21K 
[ ]fdiff_4__t43_fdiff_4.depv12024-08-03 10:19 340  
[ ]fdiff_4__t43_fdiff_4.depvmin12024-08-03 10:24 267  
[ ]fdiff_4__t43_fdiff_4.vmin12024-08-03 10:20 4.4K 
[ ]fdiff_4__t43_fdiff_4.vmin1out2024-08-03 10:21 58K 
[ ]fdiff_4__t43_fdiff_4.vout2024-08-03 04:17 61K 
[ ]fdiff_4__t44_fdiff_42024-07-27 11:19 31K 
[ ]fdiff_4__t44_fdiff_4.vout2024-08-03 07:29 7.3K 
[ ]fdiff_4__t45_fdiff_42024-07-27 11:20 28K 
[ ]fdiff_4__t45_fdiff_4.vout2024-08-03 05:34 7.3K 
[ ]fdiff_4__t46_fdiff_42024-07-27 11:22 33K 
[ ]fdiff_4__t46_fdiff_4.vout2024-08-03 06:31 7.3K 
[ ]fdiff_4__t47_fdiff_42024-07-27 11:23 31K 
[ ]fdiff_4__t47_fdiff_4.vout2024-08-03 05:17 7.3K 
[ ]fdiff_4__t48_fdiff_42024-07-27 11:24 38K 
[ ]fdiff_4__t48_fdiff_4.vout2024-08-03 08:55 8.4K 
[ ]fdiff_4__t49_fdiff_42024-07-27 11:25 34K 
[ ]fdiff_4__t49_fdiff_4.vout2024-08-03 09:47 8.4K 
[ ]fdiff_4__t50_fdiff_42024-07-27 11:26 93K 
[ ]fdiff_4__t50_fdiff_4.vout2024-08-03 08:10 7.3K 
[ ]fdiff_4__t51_fdiff_42024-07-27 11:28 93K 
[ ]fdiff_4__t51_fdiff_4.vout2024-08-03 08:50 7.3K 
[ ]fdiff_4__t52_fdiff_42024-07-27 11:29 93K 
[ ]fdiff_4__t52_fdiff_4.vout2024-08-03 07:43 7.3K 
[ ]fdiff_4__t53_fdiff_42024-07-27 11:30 95K 
[ ]fdiff_4__t53_fdiff_4.vout2024-08-03 07:04 7.3K 
[ ]fdiff_4__t54_fdiff_42024-07-27 11:31 32K 
[ ]fdiff_4__t54_fdiff_4.vout2024-08-03 08:35 7.8K 
[ ]fdiff_4__t55_fdiff_42024-07-27 11:33 34K 
[ ]fdiff_4__t55_fdiff_4.vout2024-08-03 05:03 7.3K 
[ ]fdiff_4__t56_fdiff_42024-07-27 11:34 104K 
[ ]fdiff_4__t56_fdiff_4.vout2024-08-03 05:54 6.8K 
[ ]fdiff_4__t57_fdiff_42024-07-27 11:36 62K 
[ ]fdiff_4__t57_fdiff_4.vout2024-08-03 06:31 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80