Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/diff_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_4__t1_diff_42025-09-08 03:27 34K 
[ ]diff_4__t1_diff_4.depv12025-09-15 19:47 331  
[ ]diff_4__t1_diff_4.depvmin12025-09-15 19:52 289  
[ ]diff_4__t1_diff_4.vmin12025-09-15 19:47 2.6K 
[ ]diff_4__t1_diff_4.vmin1out2025-09-15 19:51 21K 
[ ]diff_4__t1_diff_4.vout2025-09-15 19:04 20K 
[ ]diff_4__t2_diff_42025-09-08 03:28 15K 
[ ]diff_4__t2_diff_4.vout2025-09-15 17:56 2.0K 
[ ]diff_4__t3_diff_42025-09-08 03:29 24K 
[ ]diff_4__t3_diff_4.depv12025-09-15 19:47 337  
[ ]diff_4__t3_diff_4.depvmin12025-09-15 19:52 290  
[ ]diff_4__t3_diff_4.vmin12025-09-15 19:47 2.7K 
[ ]diff_4__t3_diff_4.vmin1out2025-09-15 19:48 26K 
[ ]diff_4__t3_diff_4.vout2025-09-15 19:46 27K 
[ ]diff_4__t4_diff_42025-09-08 03:30 48K 
[ ]diff_4__t4_diff_4.vout2025-09-15 13:44 7.3K 
[ ]diff_4__t5_diff_42025-09-08 03:32 42K 
[ ]diff_4__t5_diff_4.vout2025-09-15 16:41 6.8K 
[ ]diff_4__t6_diff_42025-09-08 03:33 52K 
[ ]diff_4__t6_diff_4.vout2025-09-15 19:30 7.3K 
[ ]diff_4__t7_diff_42025-09-08 03:35 85K 
[ ]diff_4__t7_diff_4.vout2025-09-15 16:59 7.3K 
[ ]diff_4__t8_diff_42025-09-08 03:36 127K 
[ ]diff_4__t8_diff_4.vout2025-09-15 17:17 7.3K 
[ ]diff_4__t9_diff_42025-09-08 03:38 127K 
[ ]diff_4__t9_diff_4.vout2025-09-15 16:31 7.3K 
[ ]diff_4__t10_diff_42025-09-08 03:39 131K 
[ ]diff_4__t10_diff_4.vout2025-09-15 19:18 7.3K 
[ ]diff_4__t11_diff_42025-09-08 03:41 327K 
[ ]diff_4__t11_diff_4.vout2025-09-15 16:34 7.3K 
[ ]diff_4__t12_diff_42025-09-08 03:43 327K 
[ ]diff_4__t12_diff_4.vout2025-09-15 17:58 7.3K 
[ ]diff_4__t13_diff_42025-09-08 03:44 327K 
[ ]diff_4__t13_diff_4.vout2025-09-15 14:16 7.3K 
[ ]diff_4__t14_diff_42025-09-08 03:46 131K 
[ ]diff_4__t14_diff_4.vout2025-09-15 18:02 7.3K 
[ ]diff_4__t15_diff_42025-09-08 03:48 173K 
[ ]diff_4__t15_diff_4.vout2025-09-15 18:18 7.3K 
[ ]diff_4__t16_diff_42025-09-08 03:49 173K 
[ ]diff_4__t16_diff_4.vout2025-09-15 17:03 7.3K 
[ ]diff_4__t17_diff_42025-09-08 03:51 173K 
[ ]diff_4__t17_diff_4.vout2025-09-15 19:46 7.3K 
[ ]diff_4__t18_diff_42025-09-08 03:52 171K 
[ ]diff_4__t18_diff_4.vout2025-09-15 19:28 7.3K 
[ ]diff_4__t19_diff_42025-09-08 03:54 326K 
[ ]diff_4__t19_diff_4.vout2025-09-15 16:20 7.3K 
[ ]diff_4__t20_diff_42025-09-08 03:55 326K 
[ ]diff_4__t20_diff_4.vout2025-09-15 18:50 7.3K 
[ ]diff_4__t21_diff_42025-09-08 03:57 327K 
[ ]diff_4__t21_diff_4.vout2025-09-15 16:06 7.3K 
[ ]diff_4__t22_diff_42025-09-08 03:58 50K 
[ ]diff_4__t22_diff_4.vout2025-09-15 16:37 7.8K 
[ ]diff_4__t23_diff_42025-09-08 04:00 43K 
[ ]diff_4__t23_diff_4.vout2025-09-15 19:10 7.8K 
[ ]diff_4__t24_diff_42025-09-08 04:01 43K 
[ ]diff_4__t24_diff_4.vout2025-09-15 16:19 7.8K 
[ ]diff_4__t25_diff_42025-09-08 04:03 48K 
[ ]diff_4__t25_diff_4.vout2025-09-15 15:40 7.8K 
[ ]diff_4__t26_diff_42025-09-08 04:04 50K 
[ ]diff_4__t26_diff_4.vout2025-09-15 16:17 7.8K 
[ ]diff_4__t27_diff_42025-09-08 04:06 43K 
[ ]diff_4__t27_diff_4.vout2025-09-15 19:27 7.8K 
[ ]diff_4__t28_diff_42025-09-08 04:07 43K 
[ ]diff_4__t28_diff_4.vout2025-09-15 16:50 7.8K 
[ ]diff_4__t29_diff_42025-09-08 04:09 48K 
[ ]diff_4__t29_diff_4.vout2025-09-15 17:00 7.8K 
[ ]diff_4__t30_diff_42025-09-08 03:26 46K 
[ ]diff_4__t30_diff_4.vout2025-09-15 15:54 2.0K 
[ ]diff_4__t31_diff_42025-09-08 04:10 53K 
[ ]diff_4__t31_diff_4.vout2025-09-15 16:31 7.3K 
[ ]diff_4__t32_diff_42025-09-08 04:12 53K 
[ ]diff_4__t32_diff_4.vout2025-09-15 19:33 7.3K 
[ ]diff_4__t33_diff_42025-09-08 04:14 96K 
[ ]diff_4__t33_diff_4.vout2025-09-15 18:02 7.3K 
[ ]diff_4__t34_diff_42025-09-08 04:15 29K 
[ ]diff_4__t34_diff_4.vout2025-09-15 18:14 2.0K 
[ ]diff_4__t35_diff_42025-09-08 04:16 28K 
[ ]diff_4__t35_diff_4.vout2025-09-15 13:55 4.1K 
[ ]diff_4__t36_diff_42025-09-08 04:17 41K 
[ ]diff_4__t36_diff_4.vout2025-09-15 17:03 2.0K 
[ ]diff_4__t37_diff_42025-09-08 04:18 29K 
[ ]diff_4__t37_diff_4.vout2025-09-15 16:57 2.0K 
[ ]diff_4__t38_diff_42025-09-08 04:19 28K 
[ ]diff_4__t38_diff_4.vout2025-09-15 15:12 2.0K 
[ ]diff_4__t39_diff_42025-09-08 04:21 38K 
[ ]diff_4__t39_diff_4.vout2025-09-15 19:02 2.0K 
[ ]diff_4__t40_diff_42025-09-08 04:22 29K 
[ ]diff_4__t40_diff_4.vout2025-09-15 19:11 4.7K 
[ ]diff_4__t41_diff_42025-09-08 04:23 38K 
[ ]diff_4__t41_diff_4.vout2025-09-15 14:20 4.7K 
[ ]diff_4__t42_diff_42025-09-08 04:25 28K 
[ ]diff_4__t42_diff_4.vout2025-09-15 16:33 4.1K 
[ ]diff_4__t43_diff_42025-09-08 04:26 41K 
[ ]diff_4__t43_diff_4.vout2025-09-15 17:35 2.0K 
[ ]diff_4__t44_diff_42025-09-08 04:27 28K 
[ ]diff_4__t44_diff_4.vout2025-09-15 13:39 2.0K 
[ ]diff_4__t45_diff_42025-09-08 04:28 29K 
[ ]diff_4__t45_diff_4.vout2025-09-15 16:46 2.0K 
[ ]diff_4__t46_diff_42025-09-08 04:29 38K 
[ ]diff_4__t46_diff_4.vout2025-09-15 19:29 2.0K 
[ ]diff_4__t47_diff_42025-09-08 04:31 29K 
[ ]diff_4__t47_diff_4.vout2025-09-15 18:32 4.7K 
[ ]diff_4__t48_diff_42025-09-08 04:32 38K 
[ ]diff_4__t48_diff_4.vout2025-09-15 19:32 4.7K 
[ ]diff_4__t49_diff_42025-09-08 04:33 39K 
[ ]diff_4__t49_diff_4.vout2025-09-15 13:36 4.1K 
[ ]diff_4__t50_diff_42025-09-08 04:35 72K 
[ ]diff_4__t50_diff_4.vout2025-09-15 13:40 1.1K 
[ ]diff_4__t51_diff_42025-09-08 04:36 62K 
[ ]diff_4__t51_diff_4.vout2025-09-15 15:50 1.1K 
[ ]diff_4__t52_diff_42025-09-08 04:37 62K 
[ ]diff_4__t52_diff_4.vout2025-09-15 17:35 1.1K 
[ ]diff_4__t53_diff_42025-09-08 04:39 43K 
[ ]diff_4__t53_diff_4.vout2025-09-15 15:07 2.0K 
[ ]diff_4__t54_diff_42025-09-08 04:40 40K 
[ ]diff_4__t54_diff_4.vout2025-09-15 17:50 4.7K 
[ ]diff_4__t55_diff_42025-09-08 04:41 78K 
[ ]diff_4__t55_diff_4.vout2025-09-15 14:59 4.7K 
[ ]diff_4__t56_diff_42025-09-08 04:43 83K 
[ ]diff_4__t56_diff_4.vout2025-09-15 15:18 7.8K 
[ ]diff_4__t57_diff_42025-09-08 04:44 46K 
[ ]diff_4__t57_diff_4.vout2025-09-15 19:35 7.8K 
[ ]diff_4__t58_diff_42025-09-08 04:46 46K 
[ ]diff_4__t58_diff_4.vout2025-09-15 14:35 7.8K 
[ ]diff_4__t59_diff_42025-09-08 04:47 74K 
[ ]diff_4__t59_diff_4.vout2025-09-15 16:42 7.8K 
[ ]diff_4__t60_diff_42025-09-08 04:49 83K 
[ ]diff_4__t60_diff_4.vout2025-09-15 17:19 7.8K 
[ ]diff_4__t61_diff_42025-09-08 04:50 46K 
[ ]diff_4__t61_diff_4.vout2025-09-15 16:03 7.8K 
[ ]diff_4__t62_diff_42025-09-08 04:52 46K 
[ ]diff_4__t62_diff_4.vout2025-09-15 14:19 7.8K 
[ ]diff_4__t63_diff_42025-09-08 04:53 74K 
[ ]diff_4__t63_diff_4.vout2025-09-15 19:36 7.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80