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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_3__t1_diff_32024-07-28 09:33 47K 
[ ]diff_3__t1_diff_3.vout2024-08-03 08:58 1.1K 
[ ]diff_3__t2_diff_32024-07-28 09:34 43K 
[ ]diff_3__t2_diff_3.vout2024-08-03 04:35 1.1K 
[ ]diff_3__t3_diff_32024-07-28 09:36 79K 
[ ]diff_3__t3_diff_3.vout2024-08-03 08:07 1.1K 
[ ]diff_3__t4_diff_32024-07-28 09:37 37K 
[ ]diff_3__t4_diff_3.vout2024-08-03 10:04 1.1K 
[ ]diff_3__t5_diff_32024-07-28 09:38 37K 
[ ]diff_3__t5_diff_3.vout2024-08-03 10:13 1.1K 
[ ]diff_3__t6_diff_32024-07-28 09:40 39K 
[ ]diff_3__t6_diff_3.vout2024-08-03 06:39 1.5K 
[ ]diff_3__t7_diff_32024-07-28 09:41 32K 
[ ]diff_3__t7_diff_3.vout2024-08-03 06:00 4.7K 
[ ]diff_3__t8_diff_32024-07-28 09:42 37K 
[ ]diff_3__t8_diff_3.vout2024-08-03 09:46 1.0K 
[ ]diff_3__t9_diff_32024-07-28 09:43 37K 
[ ]diff_3__t9_diff_3.vout2024-08-03 09:51 1.1K 
[ ]diff_3__t10_diff_32024-07-28 09:45 39K 
[ ]diff_3__t10_diff_3.vout2024-08-03 09:58 1.5K 
[ ]diff_3__t11_diff_32024-07-28 09:46 33K 
[ ]diff_3__t11_diff_3.vout2024-08-03 08:28 4.7K 
[ ]diff_3__t12_diff_32024-07-28 09:47 36K 
[ ]diff_3__t12_diff_3.vout2024-08-03 04:26 4.7K 
[ ]diff_3__t13_diff_32024-07-28 09:49 37K 
[ ]diff_3__t13_diff_3.vout2024-08-03 06:20 1.1K 
[ ]diff_3__t14_diff_32024-07-28 09:50 37K 
[ ]diff_3__t14_diff_3.vout2024-08-03 04:36 1.1K 
[ ]diff_3__t15_diff_32024-07-28 09:51 39K 
[ ]diff_3__t15_diff_3.vout2024-08-03 08:11 1.5K 
[ ]diff_3__t16_diff_32024-07-28 09:53 44K 
[ ]diff_3__t16_diff_3.vout2024-08-03 04:40 4.7K 
[ ]diff_3__t17_diff_32024-07-28 09:54 47K 
[ ]diff_3__t17_diff_3.vout2024-08-03 04:10 4.7K 
[ ]diff_3__t18_diff_32024-07-28 09:56 54K 
[ ]diff_3__t18_diff_3.vout2024-08-03 06:30 4.7K 
[ ]diff_3__t19_diff_32024-07-28 09:57 55K 
[ ]diff_3__t19_diff_3.vout2024-08-03 09:17 4.7K 
[ ]diff_3__t20_diff_32024-07-28 09:58 47K 
[ ]diff_3__t20_diff_3.vout2024-08-03 07:25 1.1K 
[ ]diff_3__t21_diff_32024-07-28 10:00 49K 
[ ]diff_3__t21_diff_3.vout2024-08-03 07:13 4.1K 
[ ]diff_3__t22_diff_32024-07-28 10:01 78K 
[ ]diff_3__t22_diff_3.vout2024-08-03 07:24 1.1K 
[ ]diff_3__t23_diff_32024-07-28 10:02 79K 
[ ]diff_3__t23_diff_3.vout2024-08-03 04:35 4.1K 
[ ]diff_3__t24_diff_32024-07-28 10:04 183K 
[ ]diff_3__t24_diff_3.vout2024-08-03 07:51 4.7K 
[ ]diff_3__t25_diff_32024-07-28 10:05 47K 
[ ]diff_3__t25_diff_3.vout2024-08-03 09:19 1.1K 
[ ]diff_3__t26_diff_32024-07-28 10:06 52K 
[ ]diff_3__t26_diff_3.vout2024-08-03 05:30 1.1K 
[ ]diff_3__t27_diff_32024-07-28 10:08 50K 
[ ]diff_3__t27_diff_3.vout2024-08-03 07:53 1.1K 
[ ]diff_3__t28_diff_32024-07-28 10:09 52K 
[ ]diff_3__t28_diff_3.vout2024-08-03 09:39 1.1K 
[ ]diff_3__t29_diff_32024-07-28 10:11 50K 
[ ]diff_3__t29_diff_3.vout2024-08-03 06:02 1.1K 
[ ]diff_3__t30_diff_32024-07-28 10:12 51K 
[ ]diff_3__t30_diff_3.vout2024-08-03 09:27 1.1K 
[ ]diff_3__t31_diff_32024-07-28 10:13 44K 
[ ]diff_3__t31_diff_3.vout2024-08-03 07:33 4.7K 
[ ]diff_3__t32_diff_32024-07-28 10:15 44K 
[ ]diff_3__t32_diff_3.vout2024-08-03 08:40 7.3K 
[ ]diff_3__t33_diff_32024-07-28 10:16 164K 
[ ]diff_3__t33_diff_3.vout2024-08-03 09:36 4.7K 
[ ]diff_3__t34_diff_32024-07-28 10:18 56K 
[ ]diff_3__t34_diff_3.vout2024-08-03 07:17 4.7K 
[ ]diff_3__t35_diff_32024-07-28 10:19 110K 
[ ]diff_3__t35_diff_3.vout2024-08-03 07:25 4.7K 
[ ]diff_3__t36_diff_32024-07-28 10:20 48K 
[ ]diff_3__t36_diff_3.depv12024-08-03 10:19 161  
[ ]diff_3__t36_diff_3.depvmin12024-08-03 10:24 161  
[ ]diff_3__t36_diff_3.vmin12024-08-03 10:19 1.7K 
[ ]diff_3__t36_diff_3.vmin1out2024-08-03 10:21 19K 
[ ]diff_3__t36_diff_3.vout2024-08-03 06:47 25K 
[ ]diff_3__t37_diff_32024-07-28 10:22 50K 
[ ]diff_3__t37_diff_3.vout2024-08-03 08:49 4.7K 
[ ]diff_3__t38_diff_32024-07-28 10:23 183K 
[ ]diff_3__t38_diff_3.vout2024-08-03 07:37 4.7K 
[ ]diff_3__t39_diff_32024-07-28 10:24 34K 
[ ]diff_3__t39_diff_3.depv12024-08-03 10:19 33  
[ ]diff_3__t39_diff_3.depvmin12024-08-03 10:24 33  
[ ]diff_3__t39_diff_3.vmin12024-08-03 10:19 934  
[ ]diff_3__t39_diff_3.vmin1out2024-08-03 10:23 10K 
[ ]diff_3__t39_diff_3.vout2024-08-03 06:03 11K 
[ ]diff_3__t40_diff_32024-07-28 10:25 34K 
[ ]diff_3__t40_diff_3.depv12024-08-03 10:19 33  
[ ]diff_3__t40_diff_3.depvmin12024-08-03 10:24 33  
[ ]diff_3__t40_diff_3.vmin12024-08-03 10:19 934  
[ ]diff_3__t40_diff_3.vmin1out2024-08-03 10:23 10K 
[ ]diff_3__t40_diff_3.vout2024-08-03 09:33 11K 
[ ]diff_3__t41_diff_32024-07-28 10:27 48K 
[ ]diff_3__t41_diff_3.vout2024-08-03 06:17 2.0K 
[ ]diff_3__t42_diff_32024-07-28 10:28 42K 
[ ]diff_3__t42_diff_3.vout2024-08-03 04:17 6.8K 
[ ]diff_3__t43_diff_32024-07-28 10:29 43K 
[ ]diff_3__t43_diff_3.vout2024-08-03 08:44 7.3K 
[ ]diff_3__t44_diff_32024-07-28 10:30 44K 
[ ]diff_3__t44_diff_3.vout2024-08-03 08:28 7.3K 
[ ]diff_3__t45_diff_32024-07-28 10:32 47K 
[ ]diff_3__t45_diff_3.vout2024-08-03 07:55 1.1K 
[ ]diff_3__t46_diff_32024-07-28 10:33 57K 
[ ]diff_3__t46_diff_3.vout2024-08-03 09:30 1.2K 
[ ]diff_3__t47_diff_32024-07-28 10:34 177K 
[ ]diff_3__t47_diff_3.vout2024-08-03 06:41 1.1K 
[ ]diff_3__t48_diff_32024-07-28 10:35 44K 
[ ]diff_3__t48_diff_3.vout2024-08-03 05:49 6.8K 
[ ]diff_3__t49_diff_32024-07-28 10:37 45K 
[ ]diff_3__t49_diff_3.vout2024-08-03 05:09 6.8K 
[ ]diff_3__t50_diff_32024-07-28 10:38 48K 
[ ]diff_3__t50_diff_3.vout2024-08-03 04:51 6.8K 
[ ]diff_3__t51_diff_32024-07-28 10:39 48K 
[ ]diff_3__t51_diff_3.vout2024-08-03 09:42 6.8K 
[ ]diff_3__t52_diff_32024-07-28 10:41 133K 
[ ]diff_3__t52_diff_3.vout2024-08-03 06:10 2.0K 
[ ]diff_3__t53_diff_32024-07-28 10:42 409K 
[ ]diff_3__t53_diff_3.vout2024-08-03 05:20 1.1K 
[ ]diff_3__t54_diff_32024-07-28 10:43 152K 
[ ]diff_3__t54_diff_3.vout2024-08-03 09:17 1.0K 
[ ]diff_3__t55_diff_32024-07-28 10:45 152K 
[ ]diff_3__t55_diff_3.vout2024-08-03 05:37 1.1K 
[ ]diff_3__t56_diff_32024-07-28 10:46 152K 
[ ]diff_3__t56_diff_3.vout2024-08-03 05:39 1.1K 
[ ]diff_3__t57_diff_32024-07-28 10:47 633K 
[ ]diff_3__t57_diff_3.vout2024-08-03 04:31 1.1K 
[ ]diff_3__t58_diff_32024-07-28 10:49 355K 
[ ]diff_3__t58_diff_3.vout2024-08-03 04:55 1.1K 
[ ]diff_3__t59_diff_32024-07-28 10:50 355K 
[ ]diff_3__t59_diff_3.vout2024-08-03 04:33 1.1K 
[ ]diff_3__t60_diff_32024-07-28 10:52 355K 
[ ]diff_3__t60_diff_3.vout2024-08-03 05:51 1.1K 
[ ]diff_3__t61_diff_32024-07-28 10:53 174K 
[ ]diff_3__t61_diff_3.vout2024-08-03 07:59 2.0K 
[ ]diff_3__t62_diff_32024-07-28 10:54 179K 
[ ]diff_3__t62_diff_3.vout2024-08-03 08:39 2.0K 
[ ]diff_3__t63_diff_32024-07-28 10:56 179K 
[ ]diff_3__t63_diff_3.vout2024-08-03 06:32 2.0K 
[ ]diff_3__t64_diff_32024-07-28 10:57 179K 
[ ]diff_3__t64_diff_3.vout2024-08-03 04:21 2.0K 
[ ]diff_3__t65_diff_32024-07-28 10:58 74K 
[ ]diff_3__t65_diff_3.vout2024-08-03 04:15 6.8K 
[ ]diff_3__t66_diff_32024-07-28 11:00 79K 
[ ]diff_3__t66_diff_3.vout2024-08-03 10:07 2.0K 
[ ]diff_3__t67_diff_32024-07-28 11:01 79K 
[ ]diff_3__t67_diff_3.vout2024-08-03 05:15 2.0K 
[ ]diff_3__t68_diff_32024-07-28 11:02 79K 
[ ]diff_3__t68_diff_3.vout2024-08-03 06:43 2.0K 
[ ]diff_3__t69_diff_32024-07-28 11:04 501K 
[ ]diff_3__t69_diff_3.vout2024-08-03 08:16 6.8K 
[ ]diff_3__t70_diff_32024-07-28 11:05 469K 
[ ]diff_3__t70_diff_3.vout2024-08-03 07:16 2.0K 
[ ]diff_3__t71_diff_32024-07-28 11:07 469K 
[ ]diff_3__t71_diff_3.vout2024-08-03 08:35 2.0K 
[ ]diff_3__t72_diff_32024-07-28 11:08 469K 
[ ]diff_3__t72_diff_3.vout2024-08-03 04:44 2.0K 
[ ]diff_3__t73_diff_32024-07-28 11:10 464K 
[ ]diff_3__t73_diff_3.vout2024-08-03 09:21 6.8K 
[ ]diff_3__t74_diff_32024-07-28 11:11 469K 
[ ]diff_3__t74_diff_3.vout2024-08-03 10:05 2.0K 
[ ]diff_3__t75_diff_32024-07-28 11:13 469K 
[ ]diff_3__t75_diff_3.vout2024-08-03 07:56 2.0K 
[ ]diff_3__t76_diff_32024-07-28 11:14 469K 
[ ]diff_3__t76_diff_3.vout2024-08-03 10:17 2.0K 
[ ]diff_3__t77_diff_32024-07-28 11:16 57K 
[ ]diff_3__t77_diff_3.vout2024-08-03 05:26 7.3K 
[ ]diff_3__t78_diff_32024-07-28 11:17 62K 
[ ]diff_3__t78_diff_3.vout2024-08-03 09:04 7.3K 
[ ]diff_3__t79_diff_32024-07-28 11:19 62K 
[ ]diff_3__t79_diff_3.vout2024-08-03 05:45 6.8K 
[ ]diff_3__t80_diff_32024-07-28 11:20 93K 
[ ]diff_3__t80_diff_3.vout2024-08-03 08:02 6.8K 
[ ]diff_3__t81_diff_32024-07-28 11:22 57K 
[ ]diff_3__t81_diff_3.vout2024-08-03 06:55 6.8K 
[ ]diff_3__t82_diff_32024-07-28 11:23 62K 
[ ]diff_3__t82_diff_3.vout2024-08-03 09:37 7.3K 
[ ]diff_3__t83_diff_32024-07-28 11:25 62K 
[ ]diff_3__t83_diff_3.vout2024-08-03 08:36 7.3K 
[ ]diff_3__t84_diff_32024-07-28 11:26 93K 
[ ]diff_3__t84_diff_3.vout2024-08-03 07:10 6.8K 
[ ]diff_3__t85_diff_32024-07-28 11:28 57K 
[ ]diff_3__t85_diff_3.vout2024-08-03 05:19 6.8K 
[ ]diff_3__t86_diff_32024-07-28 11:29 62K 
[ ]diff_3__t86_diff_3.vout2024-08-03 04:25 7.3K 
[ ]diff_3__t87_diff_32024-07-28 11:31 62K 
[ ]diff_3__t87_diff_3.vout2024-08-03 06:38 6.8K 
[ ]diff_3__t88_diff_32024-07-28 11:32 93K 
[ ]diff_3__t88_diff_3.vout2024-08-03 08:11 6.8K 
[ ]diff_3__t89_diff_32024-07-28 11:34 57K 
[ ]diff_3__t89_diff_3.vout2024-08-03 08:12 6.8K 
[ ]diff_3__t90_diff_32024-07-28 11:35 62K 
[ ]diff_3__t90_diff_3.vout2024-08-03 06:58 7.3K 
[ ]diff_3__t91_diff_32024-07-28 11:37 62K 
[ ]diff_3__t91_diff_3.vout2024-08-03 07:22 6.8K 
[ ]diff_3__t92_diff_32024-07-28 11:38 93K 
[ ]diff_3__t92_diff_3.vout2024-08-03 08:38 6.8K 
[ ]diff_3__t93_diff_32024-07-28 11:40 59K 
[ ]diff_3__t93_diff_3.vout2024-08-03 10:16 6.8K 
[ ]diff_3__t94_diff_32024-07-28 11:41 94K 
[ ]diff_3__t94_diff_3.vout2024-08-03 05:13 6.8K 
[ ]diff_3__t95_diff_32024-07-28 11:43 136K 
[ ]diff_3__t95_diff_3.vout2024-08-03 04:29 7.3K 
[ ]diff_3__t96_diff_32024-07-28 11:45 136K 
[ ]diff_3__t96_diff_3.vout2024-08-03 05:26 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80