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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_2__t1_diff_22025-09-07 23:38 31K 
[ ]diff_2__t1_diff_2.vout2025-09-15 16:23 4.7K 
[ ]diff_2__t2_diff_22025-09-07 23:40 44K 
[ ]diff_2__t2_diff_2.vout2025-09-15 16:09 4.7K 
[ ]diff_2__t3_diff_22025-09-07 23:41 31K 
[ ]diff_2__t3_diff_2.vout2025-09-15 17:25 4.7K 
[ ]diff_2__t4_diff_22025-09-07 23:42 117K 
[ ]diff_2__t4_diff_2.vout2025-09-15 17:22 4.7K 
[ ]diff_2__t5_diff_22025-09-07 23:43 26K 
[ ]diff_2__t5_diff_2.vout2025-09-15 14:49 2.0K 
[ ]diff_2__t6_diff_22025-09-07 23:44 28K 
[ ]diff_2__t6_diff_2.vout2025-09-15 16:15 2.0K 
[ ]diff_2__t7_diff_22025-09-07 23:45 43K 
[ ]diff_2__t7_diff_2.vout2025-09-15 18:02 1.1K 
[ ]diff_2__t8_diff_22025-09-07 23:46 26K 
[ ]diff_2__t8_diff_2.vout2025-09-15 18:26 2.0K 
[ ]diff_2__t9_diff_22025-09-07 23:47 28K 
[ ]diff_2__t9_diff_2.vout2025-09-15 15:53 2.0K 
[ ]diff_2__t10_diff_22025-09-07 23:48 44K 
[ ]diff_2__t10_diff_2.vout2025-09-15 16:51 1.1K 
[ ]diff_2__t11_diff_22025-09-07 23:49 27K 
[ ]diff_2__t11_diff_2.vout2025-09-15 13:45 2.0K 
[ ]diff_2__t12_diff_22025-09-07 23:50 29K 
[ ]diff_2__t12_diff_2.vout2025-09-15 13:47 2.0K 
[ ]diff_2__t13_diff_22025-09-07 23:51 45K 
[ ]diff_2__t13_diff_2.vout2025-09-15 18:21 1.1K 
[ ]diff_2__t14_diff_22025-09-07 23:52 28K 
[ ]diff_2__t14_diff_2.vout2025-09-15 17:10 2.0K 
[ ]diff_2__t15_diff_22025-09-07 23:53 30K 
[ ]diff_2__t15_diff_2.vout2025-09-15 17:45 2.0K 
[ ]diff_2__t16_diff_22025-09-07 23:55 46K 
[ ]diff_2__t16_diff_2.vout2025-09-15 17:23 1.1K 
[ ]diff_2__t17_diff_22025-09-07 23:56 35K 
[ ]diff_2__t17_diff_2.vout2025-09-15 13:42 7.3K 
[ ]diff_2__t18_diff_22025-09-07 23:57 36K 
[ ]diff_2__t18_diff_2.vout2025-09-15 16:25 7.3K 
[ ]diff_2__t19_diff_22025-09-07 23:58 36K 
[ ]diff_2__t19_diff_2.vout2025-09-15 18:22 7.3K 
[ ]diff_2__t20_diff_22025-09-07 23:59 24K 
[ ]diff_2__t20_diff_2.depv12025-09-15 19:47 196  
[ ]diff_2__t20_diff_2.depvmin12025-09-15 19:51 196  
[ ]diff_2__t20_diff_2.vmin12025-09-15 19:47 2.0K 
[ ]diff_2__t20_diff_2.vmin1out2025-09-15 19:51 17K 
[ ]diff_2__t20_diff_2.vout2025-09-15 14:20 19K 
[ ]diff_2__t21_diff_22025-09-08 00:00 33K 
[ ]diff_2__t21_diff_2.vout2025-09-15 14:35 7.8K 
[ ]diff_2__t22_diff_22025-09-08 00:01 24K 
[ ]diff_2__t22_diff_2.vout2025-09-15 18:17 7.3K 
[ ]diff_2__t23_diff_22025-09-08 00:02 25K 
[ ]diff_2__t23_diff_2.vout2025-09-15 18:57 7.3K 
[ ]diff_2__t24_diff_22025-09-08 00:03 28K 
[ ]diff_2__t24_diff_2.vout2025-09-15 14:47 7.8K 
[ ]diff_2__t25_diff_22025-09-08 00:04 31K 
[ ]diff_2__t25_diff_2.vout2025-09-15 17:39 7.8K 
[ ]diff_2__t26_diff_22025-09-08 00:05 69K 
[ ]diff_2__t26_diff_2.vout2025-09-15 19:23 7.8K 
[ ]diff_2__t27_diff_22025-09-08 00:06 34K 
[ ]diff_2__t27_diff_2.vout2025-09-15 14:08 7.3K 
[ ]diff_2__t28_diff_22025-09-08 00:07 35K 
[ ]diff_2__t28_diff_2.vout2025-09-15 18:40 4.7K 
[ ]diff_2__t29_diff_22025-09-08 00:08 27K 
[ ]diff_2__t29_diff_2.vout2025-09-15 14:52 6.8K 
[ ]diff_2__t30_diff_22025-09-08 00:09 28K 
[ ]diff_2__t30_diff_2.vout2025-09-15 18:25 6.8K 
[ ]diff_2__t31_diff_22025-09-08 00:10 38K 
[ ]diff_2__t31_diff_2.vout2025-09-15 16:34 2.0K 
[ ]diff_2__t32_diff_22025-09-08 00:11 38K 
[ ]diff_2__t32_diff_2.vout2025-09-15 19:30 2.0K 
[ ]diff_2__t33_diff_22025-09-08 00:13 111K 
[ ]diff_2__t33_diff_2.vout2025-09-15 18:50 1.1K 
[ ]diff_2__t34_diff_22025-09-08 00:14 34K 
[ ]diff_2__t34_diff_2.vout2025-09-15 14:38 6.8K 
[ ]diff_2__t35_diff_22025-09-08 00:15 35K 
[ ]diff_2__t35_diff_2.vout2025-09-15 17:02 4.7K 
[ ]diff_2__t36_diff_22025-09-08 00:16 36K 
[ ]diff_2__t36_diff_2.vout2025-09-15 16:40 6.8K 
[ ]diff_2__t37_diff_22025-09-08 00:17 37K 
[ ]diff_2__t37_diff_2.vout2025-09-15 19:33 6.8K 
[ ]diff_2__t38_diff_22025-09-07 23:36 27K 
[ ]diff_2__t38_diff_2.depv12025-09-15 19:47 88  
[ ]diff_2__t38_diff_2.depvmin12025-09-15 19:51 88  
[ ]diff_2__t38_diff_2.vmin12025-09-15 19:47 894  
[ ]diff_2__t38_diff_2.vmin1out2025-09-15 19:48 11K 
[ ]diff_2__t38_diff_2.vout2025-09-15 19:05 10K 
[ ]diff_2__t39_diff_22025-09-07 23:37 26K 
[ ]diff_2__t39_diff_2.depv12025-09-15 19:47 64  
[ ]diff_2__t39_diff_2.depvmin12025-09-15 19:51 64  
[ ]diff_2__t39_diff_2.vmin12025-09-15 19:47 833  
[ ]diff_2__t39_diff_2.vmin1out2025-09-15 19:47 10K 
[ ]diff_2__t39_diff_2.vout2025-09-15 17:04 9.7K 
[ ]diff_2__t40_diff_22025-09-08 00:18 112K 
[ ]diff_2__t40_diff_2.vout2025-09-15 13:38 2.0K 
[ ]diff_2__t41_diff_22025-09-08 00:19 29K 
[ ]diff_2__t41_diff_2.vout2025-09-15 15:17 2.0K 
[ ]diff_2__t42_diff_22025-09-08 00:20 38K 
[ ]diff_2__t42_diff_2.vout2025-09-15 14:11 2.0K 
[ ]diff_2__t43_diff_22025-09-08 00:21 69K 
[ ]diff_2__t43_diff_2.vout2025-09-15 14:33 1.1K 
[ ]diff_2__t44_diff_22025-09-08 00:22 112K 
[ ]diff_2__t44_diff_2.vout2025-09-15 15:50 1.1K 
[ ]diff_2__t45_diff_22025-09-08 00:23 30K 
[ ]diff_2__t45_diff_2.vout2025-09-15 19:29 2.0K 
[ ]diff_2__t46_diff_22025-09-08 00:24 112K 
[ ]diff_2__t46_diff_2.vout2025-09-15 18:04 1.1K 
[ ]diff_2__t47_diff_22025-09-08 00:25 112K 
[ ]diff_2__t47_diff_2.vout2025-09-15 15:42 1.1K 
[ ]diff_2__t48_diff_22025-09-08 00:27 112K 
[ ]diff_2__t48_diff_2.vout2025-09-15 19:41 1.1K 
[ ]diff_2__t49_diff_22025-09-08 00:28 39K 
[ ]diff_2__t49_diff_2.vout2025-09-15 18:12 2.0K 
[ ]diff_2__t50_diff_22025-09-08 00:29 76K 
[ ]diff_2__t50_diff_2.vout2025-09-15 18:49 2.0K 
[ ]diff_2__t51_diff_22025-09-08 00:30 76K 
[ ]diff_2__t51_diff_2.vout2025-09-15 18:11 2.0K 
[ ]diff_2__t52_diff_22025-09-08 00:31 76K 
[ ]diff_2__t52_diff_2.vout2025-09-15 19:17 2.0K 
[ ]diff_2__t53_diff_22025-09-08 00:32 39K 
[ ]diff_2__t53_diff_2.vout2025-09-15 14:05 2.0K 
[ ]diff_2__t54_diff_22025-09-08 00:33 76K 
[ ]diff_2__t54_diff_2.vout2025-09-15 17:23 2.0K 
[ ]diff_2__t55_diff_22025-09-08 00:34 76K 
[ ]diff_2__t55_diff_2.vout2025-09-15 13:54 2.0K 
[ ]diff_2__t56_diff_22025-09-08 00:36 75K 
[ ]diff_2__t56_diff_2.vout2025-09-15 15:55 1.1K 
[ ]diff_2__t57_diff_22025-09-08 00:37 39K 
[ ]diff_2__t57_diff_2.vout2025-09-15 14:49 2.0K 
[ ]diff_2__t58_diff_22025-09-08 00:38 75K 
[ ]diff_2__t58_diff_2.vout2025-09-15 16:22 2.0K 
[ ]diff_2__t59_diff_22025-09-08 00:39 75K 
[ ]diff_2__t59_diff_2.vout2025-09-15 16:28 1.2K 
[ ]diff_2__t60_diff_22025-09-08 00:40 75K 
[ ]diff_2__t60_diff_2.vout2025-09-15 14:44 1.1K 
[ ]diff_2__t61_diff_22025-09-08 00:41 113K 
[ ]diff_2__t61_diff_2.vout2025-09-15 15:39 1.2K 
[ ]diff_2__t62_diff_22025-09-08 00:42 249K 
[ ]diff_2__t62_diff_2.vout2025-09-15 19:08 1.1K 
[ ]diff_2__t63_diff_22025-09-08 00:43 144K 
[ ]diff_2__t63_diff_2.vout2025-09-15 14:33 1.2K 
[ ]diff_2__t64_diff_22025-09-08 00:44 144K 
[ ]diff_2__t64_diff_2.vout2025-09-15 14:57 1.1K 
[ ]diff_2__t65_diff_22025-09-08 00:45 113K 
[ ]diff_2__t65_diff_2.vout2025-09-15 18:25 1.2K 
[ ]diff_2__t66_diff_22025-09-08 00:46 249K 
[ ]diff_2__t66_diff_2.vout2025-09-15 15:19 1.1K 
[ ]diff_2__t67_diff_22025-09-08 00:48 393K 
[ ]diff_2__t67_diff_2.vout2025-09-15 17:32 1.1K 
[ ]diff_2__t68_diff_22025-09-08 00:49 284K 
[ ]diff_2__t68_diff_2.vout2025-09-15 15:04 1.1K 
[ ]diff_2__t69_diff_22025-09-08 00:50 32K 
[ ]diff_2__t69_diff_2.vout2025-09-15 17:24 7.3K 
[ ]diff_2__t70_diff_22025-09-08 00:51 39K 
[ ]diff_2__t70_diff_2.vout2025-09-15 17:44 7.3K 
[ ]diff_2__t71_diff_22025-09-08 00:52 37K 
[ ]diff_2__t71_diff_2.vout2025-09-15 16:06 7.3K 
[ ]diff_2__t72_diff_22025-09-08 00:54 72K 
[ ]diff_2__t72_diff_2.vout2025-09-15 19:33 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80