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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_4__t1_diff_42024-07-28 18:47 34K 
[ ]diff_4__t1_diff_4.depv12024-08-03 10:19 331  
[ ]diff_4__t1_diff_4.depvmin12024-08-03 10:24 289  
[ ]diff_4__t1_diff_4.vmin12024-08-03 10:19 2.6K 
[ ]diff_4__t1_diff_4.vmin1out2024-08-03 10:20 21K 
[ ]diff_4__t1_diff_4.vout2024-08-03 05:06 20K 
[ ]diff_4__t2_diff_42024-07-28 18:48 15K 
[ ]diff_4__t2_diff_4.vout2024-08-03 05:04 2.0K 
[ ]diff_4__t3_diff_42024-07-28 18:49 24K 
[ ]diff_4__t3_diff_4.depv12024-08-03 10:19 337  
[ ]diff_4__t3_diff_4.depvmin12024-08-03 10:24 290  
[ ]diff_4__t3_diff_4.vmin12024-08-03 10:19 2.7K 
[ ]diff_4__t3_diff_4.vmin1out2024-08-03 10:23 26K 
[ ]diff_4__t3_diff_4.vout2024-08-03 08:10 27K 
[ ]diff_4__t4_diff_42024-07-28 18:50 48K 
[ ]diff_4__t4_diff_4.vout2024-08-03 05:17 7.3K 
[ ]diff_4__t5_diff_42024-07-28 18:51 42K 
[ ]diff_4__t5_diff_4.vout2024-08-03 04:19 6.8K 
[ ]diff_4__t6_diff_42024-07-28 18:53 52K 
[ ]diff_4__t6_diff_4.vout2024-08-03 04:52 7.3K 
[ ]diff_4__t7_diff_42024-07-28 18:54 85K 
[ ]diff_4__t7_diff_4.vout2024-08-03 06:45 7.3K 
[ ]diff_4__t8_diff_42024-07-28 18:56 127K 
[ ]diff_4__t8_diff_4.vout2024-08-03 06:40 7.3K 
[ ]diff_4__t9_diff_42024-07-28 18:57 127K 
[ ]diff_4__t9_diff_4.vout2024-08-03 10:08 7.3K 
[ ]diff_4__t10_diff_42024-07-28 18:59 128K 
[ ]diff_4__t10_diff_4.vout2024-08-03 09:48 7.3K 
[ ]diff_4__t11_diff_42024-07-28 19:01 314K 
[ ]diff_4__t11_diff_4.vout2024-08-03 08:46 7.3K 
[ ]diff_4__t12_diff_42024-07-28 19:02 314K 
[ ]diff_4__t12_diff_4.vout2024-08-03 04:43 7.3K 
[ ]diff_4__t13_diff_42024-07-28 19:04 314K 
[ ]diff_4__t13_diff_4.vout2024-08-03 06:58 7.3K 
[ ]diff_4__t14_diff_42024-07-28 19:05 128K 
[ ]diff_4__t14_diff_4.vout2024-08-03 06:34 7.3K 
[ ]diff_4__t15_diff_42024-07-28 19:07 168K 
[ ]diff_4__t15_diff_4.vout2024-08-03 04:18 7.3K 
[ ]diff_4__t16_diff_42024-07-28 19:09 168K 
[ ]diff_4__t16_diff_4.vout2024-08-03 07:19 7.3K 
[ ]diff_4__t17_diff_42024-07-28 19:10 168K 
[ ]diff_4__t17_diff_4.vout2024-08-03 04:18 7.3K 
[ ]diff_4__t18_diff_42024-07-28 19:12 166K 
[ ]diff_4__t18_diff_4.vout2024-08-03 07:12 7.3K 
[ ]diff_4__t19_diff_42024-07-28 19:13 314K 
[ ]diff_4__t19_diff_4.vout2024-08-03 09:33 7.3K 
[ ]diff_4__t20_diff_42024-07-28 19:15 314K 
[ ]diff_4__t20_diff_4.vout2024-08-03 08:38 7.2K 
[ ]diff_4__t21_diff_42024-07-28 19:16 314K 
[ ]diff_4__t21_diff_4.vout2024-08-03 04:07 6.3K 
[ ]diff_4__t22_diff_42024-07-28 19:18 50K 
[ ]diff_4__t22_diff_4.vout2024-08-03 10:00 7.8K 
[ ]diff_4__t23_diff_42024-07-28 19:19 43K 
[ ]diff_4__t23_diff_4.vout2024-08-03 08:02 7.8K 
[ ]diff_4__t24_diff_42024-07-28 19:21 43K 
[ ]diff_4__t24_diff_4.vout2024-08-03 09:03 7.8K 
[ ]diff_4__t25_diff_42024-07-28 19:22 48K 
[ ]diff_4__t25_diff_4.vout2024-08-03 07:29 7.8K 
[ ]diff_4__t26_diff_42024-07-28 19:23 50K 
[ ]diff_4__t26_diff_4.vout2024-08-03 05:59 7.8K 
[ ]diff_4__t27_diff_42024-07-28 19:25 43K 
[ ]diff_4__t27_diff_4.vout2024-08-03 09:55 7.8K 
[ ]diff_4__t28_diff_42024-07-28 19:26 43K 
[ ]diff_4__t28_diff_4.vout2024-08-03 04:44 7.8K 
[ ]diff_4__t29_diff_42024-07-28 19:28 48K 
[ ]diff_4__t29_diff_4.vout2024-08-03 06:25 7.8K 
[ ]diff_4__t30_diff_42024-07-28 18:46 46K 
[ ]diff_4__t30_diff_4.vout2024-08-03 08:17 2.0K 
[ ]diff_4__t31_diff_42024-07-28 19:30 53K 
[ ]diff_4__t31_diff_4.vout2024-08-03 08:16 7.3K 
[ ]diff_4__t32_diff_42024-07-28 19:31 53K 
[ ]diff_4__t32_diff_4.vout2024-08-03 09:02 7.3K 
[ ]diff_4__t33_diff_42024-07-28 19:33 95K 
[ ]diff_4__t33_diff_4.vout2024-08-03 09:42 7.3K 
[ ]diff_4__t34_diff_42024-07-28 19:34 29K 
[ ]diff_4__t34_diff_4.vout2024-08-03 08:02 2.0K 
[ ]diff_4__t35_diff_42024-07-28 19:35 28K 
[ ]diff_4__t35_diff_4.vout2024-08-03 08:06 4.1K 
[ ]diff_4__t36_diff_42024-07-28 19:36 41K 
[ ]diff_4__t36_diff_4.vout2024-08-03 08:24 2.0K 
[ ]diff_4__t37_diff_42024-07-28 19:38 29K 
[ ]diff_4__t37_diff_4.vout2024-08-03 07:58 2.0K 
[ ]diff_4__t38_diff_42024-07-28 19:39 28K 
[ ]diff_4__t38_diff_4.vout2024-08-03 09:56 2.0K 
[ ]diff_4__t39_diff_42024-07-28 19:40 38K 
[ ]diff_4__t39_diff_4.vout2024-08-03 06:10 2.0K 
[ ]diff_4__t40_diff_42024-07-28 19:41 29K 
[ ]diff_4__t40_diff_4.vout2024-08-03 08:48 4.7K 
[ ]diff_4__t41_diff_42024-07-28 19:43 38K 
[ ]diff_4__t41_diff_4.vout2024-08-03 08:40 4.7K 
[ ]diff_4__t42_diff_42024-07-28 19:44 28K 
[ ]diff_4__t42_diff_4.vout2024-08-03 06:08 4.1K 
[ ]diff_4__t43_diff_42024-07-28 19:45 41K 
[ ]diff_4__t43_diff_4.vout2024-08-03 08:28 2.0K 
[ ]diff_4__t44_diff_42024-07-28 19:46 28K 
[ ]diff_4__t44_diff_4.vout2024-08-03 05:40 2.0K 
[ ]diff_4__t45_diff_42024-07-28 19:47 29K 
[ ]diff_4__t45_diff_4.vout2024-08-03 04:38 2.0K 
[ ]diff_4__t46_diff_42024-07-28 19:48 38K 
[ ]diff_4__t46_diff_4.vout2024-08-03 10:05 2.0K 
[ ]diff_4__t47_diff_42024-07-28 19:50 29K 
[ ]diff_4__t47_diff_4.vout2024-08-03 05:12 4.7K 
[ ]diff_4__t48_diff_42024-07-28 19:51 38K 
[ ]diff_4__t48_diff_4.vout2024-08-03 04:50 4.7K 
[ ]diff_4__t49_diff_42024-07-28 19:52 39K 
[ ]diff_4__t49_diff_4.vout2024-08-03 05:27 4.1K 
[ ]diff_4__t50_diff_42024-07-28 19:54 72K 
[ ]diff_4__t50_diff_4.vout2024-08-03 07:18 1.1K 
[ ]diff_4__t51_diff_42024-07-28 19:55 62K 
[ ]diff_4__t51_diff_4.vout2024-08-03 06:40 1.2K 
[ ]diff_4__t52_diff_42024-07-28 19:56 62K 
[ ]diff_4__t52_diff_4.vout2024-08-03 06:57 1.1K 
[ ]diff_4__t53_diff_42024-07-28 19:57 43K 
[ ]diff_4__t53_diff_4.vout2024-08-03 08:42 2.0K 
[ ]diff_4__t54_diff_42024-07-28 19:58 40K 
[ ]diff_4__t54_diff_4.vout2024-08-03 05:28 4.7K 
[ ]diff_4__t55_diff_42024-07-28 20:00 77K 
[ ]diff_4__t55_diff_4.vout2024-08-03 08:47 4.7K 
[ ]diff_4__t56_diff_42024-07-28 20:01 83K 
[ ]diff_4__t56_diff_4.vout2024-08-03 06:05 7.8K 
[ ]diff_4__t57_diff_42024-07-28 20:03 46K 
[ ]diff_4__t57_diff_4.vout2024-08-03 04:38 7.8K 
[ ]diff_4__t58_diff_42024-07-28 20:04 46K 
[ ]diff_4__t58_diff_4.vout2024-08-03 06:41 7.8K 
[ ]diff_4__t59_diff_42024-07-28 20:06 74K 
[ ]diff_4__t59_diff_4.vout2024-08-03 04:44 7.8K 
[ ]diff_4__t60_diff_42024-07-28 20:07 83K 
[ ]diff_4__t60_diff_4.vout2024-08-03 08:03 7.8K 
[ ]diff_4__t61_diff_42024-07-28 20:09 46K 
[ ]diff_4__t61_diff_4.vout2024-08-03 07:00 7.8K 
[ ]diff_4__t62_diff_42024-07-28 20:10 46K 
[ ]diff_4__t62_diff_4.vout2024-08-03 04:42 7.8K 
[ ]diff_4__t63_diff_42024-07-28 20:12 74K 
[ ]diff_4__t63_diff_4.vout2024-08-03 08:11 7.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80