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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_3__t1_diff_32025-09-09 17:56 47K 
[ ]diff_3__t1_diff_3.vout2025-09-15 16:50 1.0K 
[ ]diff_3__t2_diff_32025-09-09 17:58 43K 
[ ]diff_3__t2_diff_3.vout2025-09-15 15:36 1.1K 
[ ]diff_3__t3_diff_32025-09-09 17:59 79K 
[ ]diff_3__t3_diff_3.vout2025-09-15 14:47 1.0K 
[ ]diff_3__t4_diff_32025-09-09 18:00 37K 
[ ]diff_3__t4_diff_3.vout2025-09-15 17:12 1.0K 
[ ]diff_3__t5_diff_32025-09-09 18:02 37K 
[ ]diff_3__t5_diff_3.vout2025-09-15 17:47 1.2K 
[ ]diff_3__t6_diff_32025-09-09 18:03 39K 
[ ]diff_3__t6_diff_3.vout2025-09-15 14:03 1.5K 
[ ]diff_3__t7_diff_32025-09-09 18:04 32K 
[ ]diff_3__t7_diff_3.vout2025-09-15 14:47 4.7K 
[ ]diff_3__t8_diff_32025-09-09 18:06 37K 
[ ]diff_3__t8_diff_3.vout2025-09-15 15:23 1.0K 
[ ]diff_3__t9_diff_32025-09-09 18:07 37K 
[ ]diff_3__t9_diff_3.vout2025-09-15 13:58 1.1K 
[ ]diff_3__t10_diff_32025-09-09 18:08 39K 
[ ]diff_3__t10_diff_3.vout2025-09-15 19:09 1.5K 
[ ]diff_3__t11_diff_32025-09-09 18:10 33K 
[ ]diff_3__t11_diff_3.vout2025-09-15 16:44 4.7K 
[ ]diff_3__t12_diff_32025-09-09 18:11 36K 
[ ]diff_3__t12_diff_3.vout2025-09-15 14:49 4.7K 
[ ]diff_3__t13_diff_32025-09-09 18:12 37K 
[ ]diff_3__t13_diff_3.vout2025-09-15 15:56 1.1K 
[ ]diff_3__t14_diff_32025-09-09 18:13 37K 
[ ]diff_3__t14_diff_3.vout2025-09-15 16:48 1.2K 
[ ]diff_3__t15_diff_32025-09-09 18:15 39K 
[ ]diff_3__t15_diff_3.vout2025-09-15 19:22 1.5K 
[ ]diff_3__t16_diff_32025-09-09 18:16 44K 
[ ]diff_3__t16_diff_3.vout2025-09-15 17:49 4.7K 
[ ]diff_3__t17_diff_32025-09-09 18:18 47K 
[ ]diff_3__t17_diff_3.vout2025-09-15 19:15 4.7K 
[ ]diff_3__t18_diff_32025-09-09 18:19 54K 
[ ]diff_3__t18_diff_3.vout2025-09-15 19:23 4.7K 
[ ]diff_3__t19_diff_32025-09-09 18:21 55K 
[ ]diff_3__t19_diff_3.vout2025-09-15 18:05 4.7K 
[ ]diff_3__t20_diff_32025-09-09 18:22 47K 
[ ]diff_3__t20_diff_3.vout2025-09-15 15:26 1.1K 
[ ]diff_3__t21_diff_32025-09-09 18:23 49K 
[ ]diff_3__t21_diff_3.vout2025-09-15 13:29 4.1K 
[ ]diff_3__t22_diff_32025-09-09 18:24 78K 
[ ]diff_3__t22_diff_3.vout2025-09-15 17:40 1.1K 
[ ]diff_3__t23_diff_32025-09-09 18:26 79K 
[ ]diff_3__t23_diff_3.vout2025-09-15 16:34 4.1K 
[ ]diff_3__t24_diff_32025-09-09 18:27 185K 
[ ]diff_3__t24_diff_3.vout2025-09-15 17:44 4.7K 
[ ]diff_3__t25_diff_32025-09-09 18:29 47K 
[ ]diff_3__t25_diff_3.vout2025-09-15 16:25 1.1K 
[ ]diff_3__t26_diff_32025-09-09 18:30 52K 
[ ]diff_3__t26_diff_3.vout2025-09-15 14:42 1.1K 
[ ]diff_3__t27_diff_32025-09-09 18:32 50K 
[ ]diff_3__t27_diff_3.vout2025-09-15 16:19 1.1K 
[ ]diff_3__t28_diff_32025-09-09 18:33 52K 
[ ]diff_3__t28_diff_3.vout2025-09-15 15:57 1.1K 
[ ]diff_3__t29_diff_32025-09-09 18:34 50K 
[ ]diff_3__t29_diff_3.vout2025-09-15 16:07 1.1K 
[ ]diff_3__t30_diff_32025-09-09 18:36 51K 
[ ]diff_3__t30_diff_3.vout2025-09-15 17:01 1.1K 
[ ]diff_3__t31_diff_32025-09-09 18:37 44K 
[ ]diff_3__t31_diff_3.vout2025-09-15 19:24 4.7K 
[ ]diff_3__t32_diff_32025-09-09 18:38 44K 
[ ]diff_3__t32_diff_3.vout2025-09-15 14:14 7.3K 
[ ]diff_3__t33_diff_32025-09-09 18:40 165K 
[ ]diff_3__t33_diff_3.vout2025-09-15 19:28 4.7K 
[ ]diff_3__t34_diff_32025-09-09 18:41 56K 
[ ]diff_3__t34_diff_3.vout2025-09-15 18:17 4.7K 
[ ]diff_3__t35_diff_32025-09-09 18:43 110K 
[ ]diff_3__t35_diff_3.vout2025-09-15 14:28 4.7K 
[ ]diff_3__t36_diff_32025-09-09 18:44 48K 
[ ]diff_3__t36_diff_3.depv12025-09-15 19:47 161  
[ ]diff_3__t36_diff_3.depvmin12025-09-15 19:52 161  
[ ]diff_3__t36_diff_3.vmin12025-09-15 19:47 1.7K 
[ ]diff_3__t36_diff_3.vmin1out2025-09-15 19:49 19K 
[ ]diff_3__t36_diff_3.vout2025-09-15 14:55 25K 
[ ]diff_3__t37_diff_32025-09-09 18:46 50K 
[ ]diff_3__t37_diff_3.vout2025-09-15 18:37 4.7K 
[ ]diff_3__t38_diff_32025-09-09 18:47 184K 
[ ]diff_3__t38_diff_3.vout2025-09-15 14:43 4.7K 
[ ]diff_3__t39_diff_32025-09-09 18:48 34K 
[ ]diff_3__t39_diff_3.depv12025-09-15 19:47 33  
[ ]diff_3__t39_diff_3.depvmin12025-09-15 19:52 33  
[ ]diff_3__t39_diff_3.vmin12025-09-15 19:47 934  
[ ]diff_3__t39_diff_3.vmin1out2025-09-15 19:50 10K 
[ ]diff_3__t39_diff_3.vout2025-09-15 17:18 11K 
[ ]diff_3__t40_diff_32025-09-09 18:50 34K 
[ ]diff_3__t40_diff_3.depv12025-09-15 19:47 33  
[ ]diff_3__t40_diff_3.depvmin12025-09-15 19:52 33  
[ ]diff_3__t40_diff_3.vmin12025-09-15 19:47 934  
[ ]diff_3__t40_diff_3.vmin1out2025-09-15 19:51 10K 
[ ]diff_3__t40_diff_3.vout2025-09-15 13:42 11K 
[ ]diff_3__t41_diff_32025-09-09 18:51 48K 
[ ]diff_3__t41_diff_3.vout2025-09-15 19:41 2.0K 
[ ]diff_3__t42_diff_32025-09-09 18:52 42K 
[ ]diff_3__t42_diff_3.vout2025-09-15 16:48 6.8K 
[ ]diff_3__t43_diff_32025-09-09 18:53 43K 
[ ]diff_3__t43_diff_3.vout2025-09-15 16:41 7.3K 
[ ]diff_3__t44_diff_32025-09-09 18:55 44K 
[ ]diff_3__t44_diff_3.vout2025-09-15 19:35 7.3K 
[ ]diff_3__t45_diff_32025-09-09 18:56 47K 
[ ]diff_3__t45_diff_3.vout2025-09-15 16:38 1.1K 
[ ]diff_3__t46_diff_32025-09-09 18:57 57K 
[ ]diff_3__t46_diff_3.vout2025-09-15 19:33 1.1K 
[ ]diff_3__t47_diff_32025-09-09 18:59 179K 
[ ]diff_3__t47_diff_3.vout2025-09-15 14:40 1.1K 
[ ]diff_3__t48_diff_32025-09-09 19:00 44K 
[ ]diff_3__t48_diff_3.vout2025-09-15 18:32 6.8K 
[ ]diff_3__t49_diff_32025-09-09 19:02 45K 
[ ]diff_3__t49_diff_3.vout2025-09-15 16:28 6.8K 
[ ]diff_3__t50_diff_32025-09-09 19:03 48K 
[ ]diff_3__t50_diff_3.vout2025-09-15 16:38 6.8K 
[ ]diff_3__t51_diff_32025-09-09 19:05 48K 
[ ]diff_3__t51_diff_3.vout2025-09-15 17:44 7.3K 
[ ]diff_3__t52_diff_32025-09-09 19:06 133K 
[ ]diff_3__t52_diff_3.vout2025-09-15 15:36 2.0K 
[ ]diff_3__t53_diff_32025-09-09 19:08 427K 
[ ]diff_3__t53_diff_3.vout2025-09-15 16:17 1.1K 
[ ]diff_3__t54_diff_32025-09-09 19:09 153K 
[ ]diff_3__t54_diff_3.vout2025-09-15 15:39 1.1K 
[ ]diff_3__t55_diff_32025-09-09 19:10 153K 
[ ]diff_3__t55_diff_3.vout2025-09-15 15:32 1.1K 
[ ]diff_3__t56_diff_32025-09-09 19:12 153K 
[ ]diff_3__t56_diff_3.vout2025-09-15 17:25 1.1K 
[ ]diff_3__t57_diff_32025-09-09 19:13 668K 
[ ]diff_3__t57_diff_3.vout2025-09-15 19:16 1.1K 
[ ]diff_3__t58_diff_32025-09-09 19:15 362K 
[ ]diff_3__t58_diff_3.vout2025-09-15 14:12 1.1K 
[ ]diff_3__t59_diff_32025-09-09 19:16 362K 
[ ]diff_3__t59_diff_3.vout2025-09-15 18:08 1.1K 
[ ]diff_3__t60_diff_32025-09-09 19:18 362K 
[ ]diff_3__t60_diff_3.vout2025-09-15 18:52 1.1K 
[ ]diff_3__t61_diff_32025-09-09 19:19 176K 
[ ]diff_3__t61_diff_3.vout2025-09-15 18:15 2.0K 
[ ]diff_3__t62_diff_32025-09-09 19:20 181K 
[ ]diff_3__t62_diff_3.vout2025-09-15 14:43 2.0K 
[ ]diff_3__t63_diff_32025-09-09 19:22 181K 
[ ]diff_3__t63_diff_3.vout2025-09-15 19:11 2.0K 
[ ]diff_3__t64_diff_32025-09-09 19:23 181K 
[ ]diff_3__t64_diff_3.vout2025-09-15 16:23 2.0K 
[ ]diff_3__t65_diff_32025-09-09 19:25 74K 
[ ]diff_3__t65_diff_3.vout2025-09-15 18:11 7.2K 
[ ]diff_3__t66_diff_32025-09-09 19:26 79K 
[ ]diff_3__t66_diff_3.vout2025-09-15 15:14 2.0K 
[ ]diff_3__t67_diff_32025-09-09 19:27 79K 
[ ]diff_3__t67_diff_3.vout2025-09-15 18:13 2.0K 
[ ]diff_3__t68_diff_32025-09-09 19:29 79K 
[ ]diff_3__t68_diff_3.vout2025-09-15 15:04 2.0K 
[ ]diff_3__t69_diff_32025-09-09 19:30 529K 
[ ]diff_3__t69_diff_3.vout2025-09-15 16:13 6.8K 
[ ]diff_3__t70_diff_32025-09-09 19:32 493K 
[ ]diff_3__t70_diff_3.vout2025-09-15 14:07 2.0K 
[ ]diff_3__t71_diff_32025-09-09 19:33 493K 
[ ]diff_3__t71_diff_3.vout2025-09-15 19:06 2.0K 
[ ]diff_3__t72_diff_32025-09-09 19:35 493K 
[ ]diff_3__t72_diff_3.vout2025-09-15 16:43 2.0K 
[ ]diff_3__t73_diff_32025-09-09 19:36 488K 
[ ]diff_3__t73_diff_3.vout2025-09-15 14:12 6.8K 
[ ]diff_3__t74_diff_32025-09-09 19:38 493K 
[ ]diff_3__t74_diff_3.vout2025-09-15 16:55 2.1K 
[ ]diff_3__t75_diff_32025-09-09 19:39 493K 
[ ]diff_3__t75_diff_3.vout2025-09-15 19:34 2.0K 
[ ]diff_3__t76_diff_32025-09-09 19:41 493K 
[ ]diff_3__t76_diff_3.vout2025-09-15 14:09 2.0K 
[ ]diff_3__t77_diff_32025-09-09 19:42 57K 
[ ]diff_3__t77_diff_3.vout2025-09-15 19:08 7.3K 
[ ]diff_3__t78_diff_32025-09-09 19:44 62K 
[ ]diff_3__t78_diff_3.vout2025-09-15 15:33 7.3K 
[ ]diff_3__t79_diff_32025-09-09 19:45 62K 
[ ]diff_3__t79_diff_3.vout2025-09-15 18:46 6.8K 
[ ]diff_3__t80_diff_32025-09-09 19:47 93K 
[ ]diff_3__t80_diff_3.vout2025-09-15 16:08 6.8K 
[ ]diff_3__t81_diff_32025-09-09 19:49 57K 
[ ]diff_3__t81_diff_3.vout2025-09-15 16:37 6.8K 
[ ]diff_3__t82_diff_32025-09-09 19:50 62K 
[ ]diff_3__t82_diff_3.vout2025-09-15 18:27 7.3K 
[ ]diff_3__t83_diff_32025-09-09 19:52 62K 
[ ]diff_3__t83_diff_3.vout2025-09-15 14:08 6.8K 
[ ]diff_3__t84_diff_32025-09-09 19:53 93K 
[ ]diff_3__t84_diff_3.vout2025-09-15 14:51 6.8K 
[ ]diff_3__t85_diff_32025-09-09 19:55 57K 
[ ]diff_3__t85_diff_3.vout2025-09-15 19:45 6.8K 
[ ]diff_3__t86_diff_32025-09-09 19:56 62K 
[ ]diff_3__t86_diff_3.vout2025-09-15 13:51 7.3K 
[ ]diff_3__t87_diff_32025-09-09 19:58 62K 
[ ]diff_3__t87_diff_3.vout2025-09-15 18:42 6.8K 
[ ]diff_3__t88_diff_32025-09-09 19:59 93K 
[ ]diff_3__t88_diff_3.vout2025-09-15 16:52 6.8K 
[ ]diff_3__t89_diff_32025-09-09 20:01 57K 
[ ]diff_3__t89_diff_3.vout2025-09-15 14:29 6.8K 
[ ]diff_3__t90_diff_32025-09-09 20:02 62K 
[ ]diff_3__t90_diff_3.vout2025-09-15 14:35 7.3K 
[ ]diff_3__t91_diff_32025-09-09 20:04 62K 
[ ]diff_3__t91_diff_3.vout2025-09-15 17:51 6.8K 
[ ]diff_3__t92_diff_32025-09-09 20:06 93K 
[ ]diff_3__t92_diff_3.vout2025-09-15 17:06 7.3K 
[ ]diff_3__t93_diff_32025-09-09 20:07 59K 
[ ]diff_3__t93_diff_3.vout2025-09-15 16:32 7.3K 
[ ]diff_3__t94_diff_32025-09-09 20:09 94K 
[ ]diff_3__t94_diff_3.vout2025-09-15 17:57 7.3K 
[ ]diff_3__t95_diff_32025-09-09 20:11 136K 
[ ]diff_3__t95_diff_3.vout2025-09-15 18:01 6.8K 
[ ]diff_3__t96_diff_32025-09-09 20:12 136K 
[ ]diff_3__t96_diff_3.vout2025-09-15 19:41 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80