Index of /~mptp/mml5.63.1382/MPTP2/problems_small/diff_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_3__t1_diff_32021-07-18 00:12 44K 
[ ]diff_3__t1_diff_3.vout2021-07-25 15:10 2.0K 
[ ]diff_3__t2_diff_32021-07-18 00:13 40K 
[ ]diff_3__t2_diff_3.vout2021-07-25 18:24 2.0K 
[ ]diff_3__t3_diff_32021-07-18 00:13 76K 
[ ]diff_3__t3_diff_3.vout2021-07-25 19:50 1.1K 
[ ]diff_3__t4_diff_32021-07-18 00:14 34K 
[ ]diff_3__t4_diff_3.vout2021-07-25 17:44 2.0K 
[ ]diff_3__t5_diff_32021-07-18 00:14 34K 
[ ]diff_3__t5_diff_3.vout2021-07-25 15:08 2.0K 
[ ]diff_3__t6_diff_32021-07-18 00:14 36K 
[ ]diff_3__t6_diff_3.vout2021-07-25 14:37 2.0K 
[ ]diff_3__t7_diff_32021-07-18 00:15 29K 
[ ]diff_3__t7_diff_3.vout2021-07-25 17:11 4.7K 
[ ]diff_3__t8_diff_32021-07-18 00:15 34K 
[ ]diff_3__t8_diff_3.vout2021-07-25 20:16 2.0K 
[ ]diff_3__t9_diff_32021-07-18 00:16 34K 
[ ]diff_3__t9_diff_3.vout2021-07-25 16:38 2.0K 
[ ]diff_3__t10_diff_32021-07-18 00:16 36K 
[ ]diff_3__t10_diff_3.vout2021-07-25 19:28 2.0K 
[ ]diff_3__t11_diff_32021-07-18 00:16 30K 
[ ]diff_3__t11_diff_3.vout2021-07-25 14:38 4.7K 
[ ]diff_3__t12_diff_32021-07-18 00:17 33K 
[ ]diff_3__t12_diff_3.vout2021-07-25 15:32 4.7K 
[ ]diff_3__t13_diff_32021-07-18 00:17 35K 
[ ]diff_3__t13_diff_3.vout2021-07-25 19:15 2.0K 
[ ]diff_3__t14_diff_32021-07-18 00:18 35K 
[ ]diff_3__t14_diff_3.vout2021-07-25 18:41 2.0K 
[ ]diff_3__t15_diff_32021-07-18 00:18 36K 
[ ]diff_3__t15_diff_3.vout2021-07-25 16:41 2.0K 
[ ]diff_3__t16_diff_32021-07-18 00:19 42K 
[ ]diff_3__t16_diff_3.vout2021-07-25 14:30 4.7K 
[ ]diff_3__t17_diff_32021-07-18 00:19 44K 
[ ]diff_3__t17_diff_3.vout2021-07-25 15:20 4.7K 
[ ]diff_3__t18_diff_32021-07-18 00:20 51K 
[ ]diff_3__t18_diff_3.vout2021-07-25 17:10 4.7K 
[ ]diff_3__t19_diff_32021-07-18 00:20 52K 
[ ]diff_3__t19_diff_3.vout2021-07-25 19:22 4.7K 
[ ]diff_3__t20_diff_32021-07-18 00:20 44K 
[ ]diff_3__t20_diff_3.vout2021-07-25 15:57 2.0K 
[ ]diff_3__t21_diff_32021-07-18 00:21 46K 
[ ]diff_3__t21_diff_3.vout2021-07-25 15:19 4.1K 
[ ]diff_3__t22_diff_32021-07-18 00:21 74K 
[ ]diff_3__t22_diff_3.vout2021-07-25 15:43 1.1K 
[ ]diff_3__t23_diff_32021-07-18 00:22 76K 
[ ]diff_3__t23_diff_3.vout2021-07-25 17:18 4.1K 
[ ]diff_3__t24_diff_32021-07-18 00:22 172K 
[ ]diff_3__t24_diff_3.vout2021-07-25 14:57 4.7K 
[ ]diff_3__t25_diff_32021-07-18 00:23 45K 
[ ]diff_3__t25_diff_3.vout2021-07-25 17:29 1.1K 
[ ]diff_3__t26_diff_32021-07-18 00:23 49K 
[ ]diff_3__t26_diff_3.vout2021-07-25 15:03 1.1K 
[ ]diff_3__t27_diff_32021-07-18 00:23 48K 
[ ]diff_3__t27_diff_3.vout2021-07-25 20:40 1.1K 
[ ]diff_3__t28_diff_32021-07-18 00:24 49K 
[ ]diff_3__t28_diff_3.vout2021-07-25 17:59 1.1K 
[ ]diff_3__t29_diff_32021-07-18 00:24 48K 
[ ]diff_3__t29_diff_3.vout2021-07-25 17:02 1.1K 
[ ]diff_3__t30_diff_32021-07-18 00:25 48K 
[ ]diff_3__t30_diff_3.vout2021-07-25 15:13 1.1K 
[ ]diff_3__t31_diff_32021-07-18 00:25 41K 
[ ]diff_3__t31_diff_3.vout2021-07-25 16:44 4.7K 
[ ]diff_3__t32_diff_32021-07-18 00:26 41K 
[ ]diff_3__t32_diff_3.vout2021-07-25 18:47 7.3K 
[ ]diff_3__t33_diff_32021-07-18 00:26 158K 
[ ]diff_3__t33_diff_3.vout2021-07-25 19:03 4.7K 
[ ]diff_3__t34_diff_32021-07-18 00:26 53K 
[ ]diff_3__t34_diff_3.vout2021-07-25 17:12 4.7K 
[ ]diff_3__t35_diff_32021-07-18 00:27 106K 
[ ]diff_3__t35_diff_3.vout2021-07-25 19:42 4.7K 
[ ]diff_3__t36_diff_32021-07-18 00:27 45K 
[ ]diff_3__t36_diff_3.depv12021-07-25 20:57 161  
[ ]diff_3__t36_diff_3.depvmin12021-07-25 21:03 161  
[ ]diff_3__t36_diff_3.vmin12021-07-25 20:57 1.7K 
[ ]diff_3__t36_diff_3.vmin1out2021-07-25 21:01 19K 
[ ]diff_3__t36_diff_3.vout2021-07-25 20:10 25K 
[ ]diff_3__t37_diff_32021-07-18 00:28 47K 
[ ]diff_3__t37_diff_3.vout2021-07-25 16:41 4.7K 
[ ]diff_3__t38_diff_32021-07-18 00:28 174K 
[ ]diff_3__t38_diff_3.vout2021-07-25 19:07 4.7K 
[ ]diff_3__t39_diff_32021-07-18 00:29 31K 
[ ]diff_3__t39_diff_3.depv12021-07-25 20:57 33  
[ ]diff_3__t39_diff_3.depvmin12021-07-25 21:03 33  
[ ]diff_3__t39_diff_3.vmin12021-07-25 20:57 934  
[ ]diff_3__t39_diff_3.vmin1out2021-07-25 20:59 10K 
[ ]diff_3__t39_diff_3.vout2021-07-25 18:24 11K 
[ ]diff_3__t40_diff_32021-07-18 00:29 31K 
[ ]diff_3__t40_diff_3.depv12021-07-25 20:57 33  
[ ]diff_3__t40_diff_3.depvmin12021-07-25 21:03 33  
[ ]diff_3__t40_diff_3.vmin12021-07-25 20:57 934  
[ ]diff_3__t40_diff_3.vmin1out2021-07-25 20:59 10K 
[ ]diff_3__t40_diff_3.vout2021-07-25 18:08 11K 
[ ]diff_3__t41_diff_32021-07-18 00:29 45K 
[ ]diff_3__t41_diff_3.vout2021-07-25 20:19 2.0K 
[ ]diff_3__t42_diff_32021-07-18 00:30 39K 
[ ]diff_3__t42_diff_3.vout2021-07-25 17:10 6.8K 
[ ]diff_3__t43_diff_32021-07-18 00:30 40K 
[ ]diff_3__t43_diff_3.vout2021-07-25 17:48 7.3K 
[ ]diff_3__t44_diff_32021-07-18 00:30 41K 
[ ]diff_3__t44_diff_3.vout2021-07-25 20:33 7.3K 
[ ]diff_3__t45_diff_32021-07-18 00:31 44K 
[ ]diff_3__t45_diff_3.vout2021-07-25 20:23 2.0K 
[ ]diff_3__t46_diff_32021-07-18 00:31 54K 
[ ]diff_3__t46_diff_3.vout2021-07-25 18:02 1.1K 
[ ]diff_3__t47_diff_32021-07-18 00:32 166K 
[ ]diff_3__t47_diff_3.vout2021-07-25 16:01 1.1K 
[ ]diff_3__t48_diff_32021-07-18 00:32 41K 
[ ]diff_3__t48_diff_3.vout2021-07-25 15:41 6.8K 
[ ]diff_3__t49_diff_32021-07-18 00:33 42K 
[ ]diff_3__t49_diff_3.vout2021-07-25 17:02 7.3K 
[ ]diff_3__t50_diff_32021-07-18 00:33 45K 
[ ]diff_3__t50_diff_3.vout2021-07-25 16:41 6.8K 
[ ]diff_3__t51_diff_32021-07-18 00:33 45K 
[ ]diff_3__t51_diff_3.vout2021-07-25 15:14 6.8K 
[ ]diff_3__t52_diff_32021-07-18 00:34 127K 
[ ]diff_3__t52_diff_3.vout2021-07-25 15:27 2.0K 
[ ]diff_3__t53_diff_32021-07-18 00:34 344K 
[ ]diff_3__t53_diff_3.vout2021-07-25 16:45 1.1K 
[ ]diff_3__t54_diff_32021-07-18 00:35 147K 
[ ]diff_3__t54_diff_3.vout2021-07-25 15:24 1.1K 
[ ]diff_3__t55_diff_32021-07-18 00:35 147K 
[ ]diff_3__t55_diff_3.vout2021-07-25 15:47 1.1K 
[ ]diff_3__t56_diff_32021-07-18 00:36 147K 
[ ]diff_3__t56_diff_3.vout2021-07-25 18:45 1.1K 
[ ]diff_3__t57_diff_32021-07-18 00:36 512K 
[ ]diff_3__t57_diff_3.vout2021-07-25 14:26 1.1K 
[ ]diff_3__t58_diff_32021-07-18 00:36 304K 
[ ]diff_3__t58_diff_3.vout2021-07-25 18:14 1.1K 
[ ]diff_3__t59_diff_32021-07-18 00:37 304K 
[ ]diff_3__t59_diff_3.vout2021-07-25 17:01 1.1K 
[ ]diff_3__t60_diff_32021-07-18 00:37 304K 
[ ]diff_3__t60_diff_3.vout2021-07-25 19:35 1.1K 
[ ]diff_3__t61_diff_32021-07-18 00:38 164K 
[ ]diff_3__t61_diff_3.vout2021-07-25 19:26 2.0K 
[ ]diff_3__t62_diff_32021-07-18 00:38 169K 
[ ]diff_3__t62_diff_3.vout2021-07-25 15:16 2.0K 
[ ]diff_3__t63_diff_32021-07-18 00:39 169K 
[ ]diff_3__t63_diff_3.vout2021-07-25 17:42 2.0K 
[ ]diff_3__t64_diff_32021-07-18 00:39 169K 
[ ]diff_3__t64_diff_3.vout2021-07-25 19:13 2.0K 
[ ]diff_3__t65_diff_32021-07-18 00:40 71K 
[ ]diff_3__t65_diff_3.vout2021-07-25 17:34 6.8K 
[ ]diff_3__t66_diff_32021-07-18 00:40 76K 
[ ]diff_3__t66_diff_3.vout2021-07-25 16:13 2.0K 
[ ]diff_3__t67_diff_32021-07-18 00:40 76K 
[ ]diff_3__t67_diff_3.vout2021-07-25 20:51 2.0K 
[ ]diff_3__t68_diff_32021-07-18 00:41 76K 
[ ]diff_3__t68_diff_3.vout2021-07-25 15:08 2.0K 
[ ]diff_3__t69_diff_32021-07-18 00:41 418K 
[ ]diff_3__t69_diff_3.vout2021-07-25 17:33 6.8K 
[ ]diff_3__t70_diff_32021-07-18 00:42 395K 
[ ]diff_3__t70_diff_3.vout2021-07-25 17:31 2.0K 
[ ]diff_3__t71_diff_32021-07-18 00:42 396K 
[ ]diff_3__t71_diff_3.vout2021-07-25 18:33 2.0K 
[ ]diff_3__t72_diff_32021-07-18 00:43 396K 
[ ]diff_3__t72_diff_3.vout2021-07-25 16:13 2.0K 
[ ]diff_3__t73_diff_32021-07-18 00:43 391K 
[ ]diff_3__t73_diff_3.vout2021-07-25 15:10 6.8K 
[ ]diff_3__t74_diff_32021-07-18 00:44 396K 
[ ]diff_3__t74_diff_3.vout2021-07-25 16:05 2.0K 
[ ]diff_3__t75_diff_32021-07-18 00:44 396K 
[ ]diff_3__t75_diff_3.vout2021-07-25 19:00 2.0K 
[ ]diff_3__t76_diff_32021-07-18 00:45 396K 
[ ]diff_3__t76_diff_3.vout2021-07-25 20:22 2.0K 
[ ]diff_3__t77_diff_32021-07-18 00:45 55K 
[ ]diff_3__t77_diff_3.vout2021-07-25 18:42 7.3K 
[ ]diff_3__t78_diff_32021-07-18 00:46 60K 
[ ]diff_3__t78_diff_3.vout2021-07-25 15:16 6.8K 
[ ]diff_3__t79_diff_32021-07-18 00:46 60K 
[ ]diff_3__t79_diff_3.vout2021-07-25 17:34 6.8K 
[ ]diff_3__t80_diff_32021-07-18 00:47 90K 
[ ]diff_3__t80_diff_3.vout2021-07-25 16:38 6.8K 
[ ]diff_3__t81_diff_32021-07-18 00:47 54K 
[ ]diff_3__t81_diff_3.vout2021-07-25 16:17 6.8K 
[ ]diff_3__t82_diff_32021-07-18 00:48 59K 
[ ]diff_3__t82_diff_3.vout2021-07-25 16:56 6.8K 
[ ]diff_3__t83_diff_32021-07-18 00:48 59K 
[ ]diff_3__t83_diff_3.vout2021-07-25 16:34 6.8K 
[ ]diff_3__t84_diff_32021-07-18 00:49 90K 
[ ]diff_3__t84_diff_3.vout2021-07-25 14:59 6.8K 
[ ]diff_3__t85_diff_32021-07-18 00:50 55K 
[ ]diff_3__t85_diff_3.vout2021-07-25 14:24 6.8K 
[ ]diff_3__t86_diff_32021-07-18 00:50 60K 
[ ]diff_3__t86_diff_3.vout2021-07-25 15:48 6.8K 
[ ]diff_3__t87_diff_32021-07-18 00:51 60K 
[ ]diff_3__t87_diff_3.vout2021-07-25 19:49 6.8K 
[ ]diff_3__t88_diff_32021-07-18 00:51 90K 
[ ]diff_3__t88_diff_3.vout2021-07-25 18:23 6.8K 
[ ]diff_3__t89_diff_32021-07-18 00:52 54K 
[ ]diff_3__t89_diff_3.vout2021-07-25 16:13 6.8K 
[ ]diff_3__t90_diff_32021-07-18 00:53 59K 
[ ]diff_3__t90_diff_3.vout2021-07-25 15:45 6.8K 
[ ]diff_3__t91_diff_32021-07-18 00:53 59K 
[ ]diff_3__t91_diff_3.vout2021-07-25 15:25 6.8K 
[ ]diff_3__t92_diff_32021-07-18 00:54 90K 
[ ]diff_3__t92_diff_3.vout2021-07-25 18:02 6.8K 
[ ]diff_3__t93_diff_32021-07-18 00:54 56K 
[ ]diff_3__t93_diff_3.vout2021-07-25 20:15 6.8K 
[ ]diff_3__t94_diff_32021-07-18 00:55 91K 
[ ]diff_3__t94_diff_3.vout2021-07-25 20:43 6.8K 
[ ]diff_3__t95_diff_32021-07-18 00:55 132K 
[ ]diff_3__t95_diff_3.vout2021-07-25 17:38 7.3K 
[ ]diff_3__t96_diff_32021-07-18 00:56 132K 
[ ]diff_3__t96_diff_3.vout2021-07-25 17:39 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80