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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]moebius3__l29_moebius32021-07-18 01:44 59K 
[ ]moebius3__l29_moebius3.vout2021-07-25 17:30 2.0K 
[ ]moebius3__l30_moebius32021-07-18 01:44 139K 
[ ]moebius3__l30_moebius3.vout2021-07-25 20:11 2.0K 
[ ]moebius3__l59_moebius32021-07-18 01:45 81K 
[ ]moebius3__l59_moebius3.vout2021-07-25 20:23 7.3K 
[ ]moebius3__l67_moebius32021-07-18 01:45 90K 
[ ]moebius3__l67_moebius3.vout2021-07-25 17:51 4.7K 
[ ]moebius3__t1_moebius32021-07-18 01:00 47K 
[ ]moebius3__t1_moebius3.depv12021-07-25 20:57 231  
[ ]moebius3__t1_moebius3.depvmin12021-07-25 21:03 231  
[ ]moebius3__t1_moebius3.vmin12021-07-25 20:57 1.7K 
[ ]moebius3__t1_moebius3.vmin1out2021-07-25 21:02 13K 
[ ]moebius3__t1_moebius3.vout2021-07-25 19:51 15K 
[ ]moebius3__t2_moebius32021-07-18 01:01 51K 
[ ]moebius3__t2_moebius3.vout2021-07-25 20:09 6.8K 
[ ]moebius3__t3_moebius32021-07-18 01:02 65K 
[ ]moebius3__t3_moebius3.vout2021-07-25 14:50 7.3K 
[ ]moebius3__t4_moebius32021-07-18 01:03 93K 
[ ]moebius3__t4_moebius3.vout2021-07-25 16:28 7.3K 
[ ]moebius3__t5_moebius32021-07-18 01:03 93K 
[ ]moebius3__t5_moebius3.vout2021-07-25 20:27 7.3K 
[ ]moebius3__t6_moebius32021-07-18 01:04 62K 
[ ]moebius3__t6_moebius3.vout2021-07-25 19:09 7.9K 
[ ]moebius3__t8_moebius32021-07-18 01:05 52K 
[ ]moebius3__t8_moebius3.vout2021-07-25 16:24 10K 
[ ]moebius3__t9_moebius32021-07-18 01:05 57K 
[ ]moebius3__t9_moebius3.depv12021-07-25 20:57 272  
[ ]moebius3__t9_moebius3.depvmin12021-07-25 21:03 272  
[ ]moebius3__t9_moebius3.vmin12021-07-25 20:57 3.1K 
[ ]moebius3__t9_moebius3.vmin1out2021-07-25 20:59 36K 
[ ]moebius3__t9_moebius3.vout2021-07-25 16:40 37K 
[ ]moebius3__t10_moebius32021-07-18 01:06 60K 
[ ]moebius3__t10_moebius3.depv12021-07-25 20:57 179  
[ ]moebius3__t10_moebius3.depvmin12021-07-25 21:03 179  
[ ]moebius3__t10_moebius3.vmin12021-07-25 20:57 1.0K 
[ ]moebius3__t10_moebius3.vmin1out2021-07-25 20:58 7.0K 
[ ]moebius3__t10_moebius3.vout2021-07-25 17:21 8.7K 
[ ]moebius3__t11_moebius32021-07-18 01:06 64K 
[ ]moebius3__t11_moebius3.vout2021-07-25 19:19 1.1K 
[ ]moebius3__t12_moebius32021-07-18 01:07 46K 
[ ]moebius3__t12_moebius3.depv12021-07-25 20:57 666  
[ ]moebius3__t12_moebius3.depvmin12021-07-25 21:03 601  
[ ]moebius3__t12_moebius3.vmin12021-07-25 20:57 5.1K 
[ ]moebius3__t12_moebius3.vmin1out2021-07-25 21:00 46K 
[ ]moebius3__t12_moebius3.vout2021-07-25 20:36 43K 
[ ]moebius3__t13_moebius32021-07-18 01:07 136K 
[ ]moebius3__t13_moebius3.vout2021-07-25 19:35 4.7K 
[ ]moebius3__t14_moebius32021-07-18 01:08 50K 
[ ]moebius3__t14_moebius3.vout2021-07-25 19:40 7.9K 
[ ]moebius3__t15_moebius32021-07-18 01:08 62K 
[ ]moebius3__t15_moebius3.vout2021-07-25 16:26 2.0K 
[ ]moebius3__t16_moebius32021-07-18 01:09 51K 
[ ]moebius3__t16_moebius3.vout2021-07-25 19:08 7.9K 
[ ]moebius3__t17_moebius32021-07-18 01:09 47K 
[ ]moebius3__t17_moebius3.vout2021-07-25 14:58 7.3K 
[ ]moebius3__t18_moebius32021-07-18 01:10 46K 
[ ]moebius3__t18_moebius3.vout2021-07-25 14:54 2.0K 
[ ]moebius3__t19_moebius32021-07-18 01:10 59K 
[ ]moebius3__t19_moebius3.vout2021-07-25 15:40 6.8K 
[ ]moebius3__t20_moebius32021-07-18 01:11 53K 
[ ]moebius3__t20_moebius3.vout2021-07-25 14:40 7.9K 
[ ]moebius3__t21_moebius32021-07-18 01:12 93K 
[ ]moebius3__t21_moebius3.vout2021-07-25 15:58 6.8K 
[ ]moebius3__t22_moebius32021-07-18 01:13 112K 
[ ]moebius3__t22_moebius3.vout2021-07-25 14:26 7.4K 
[ ]moebius3__t23_moebius32021-07-18 01:13 45K 
[ ]moebius3__t23_moebius3.depv12021-07-25 20:57 196  
[ ]moebius3__t23_moebius3.depvmin12021-07-25 21:03 163  
[ ]moebius3__t23_moebius3.vmin12021-07-25 20:57 1.4K 
[ ]moebius3__t23_moebius3.vmin1out2021-07-25 21:00 15K 
[ ]moebius3__t23_moebius3.vout2021-07-25 19:31 19K 
[ ]moebius3__t24_moebius32021-07-18 01:14 56K 
[ ]moebius3__t24_moebius3.vout2021-07-25 15:49 6.8K 
[ ]moebius3__t25_moebius32021-07-18 01:15 75K 
[ ]moebius3__t25_moebius3.vout2021-07-25 16:58 6.8K 
[ ]moebius3__t26_moebius32021-07-18 01:15 346K 
[ ]moebius3__t26_moebius3.vout2021-07-25 16:26 7.9K 
[ ]moebius3__t27_moebius32021-07-18 00:58 79K 
[ ]moebius3__t27_moebius3.vout2021-07-25 20:44 6.8K 
[ ]moebius3__t28_moebius32021-07-18 01:16 242K 
[ ]moebius3__t28_moebius3.vout2021-07-25 20:09 2.0K 
[ ]moebius3__t29_moebius32021-07-18 01:17 596K 
[ ]moebius3__t29_moebius3.vout2021-07-25 19:02 7.9K 
[ ]moebius3__t30_moebius32021-07-18 01:18 204K 
[ ]moebius3__t30_moebius3.vout2021-07-25 16:49 2.0K 
[ ]moebius3__t31_moebius32021-07-18 01:19 345K 
[ ]moebius3__t31_moebius3.vout2021-07-25 20:48 7.9K 
[ ]moebius3__t32_moebius32021-07-18 01:19 307K 
[ ]moebius3__t32_moebius3.vout2021-07-25 14:32 7.9K 
[ ]moebius3__t33_moebius32021-07-18 01:20 71K 
[ ]moebius3__t33_moebius3.vout2021-07-25 14:52 7.9K 
[ ]moebius3__t34_moebius32021-07-18 01:21 45K 
[ ]moebius3__t34_moebius3.depv12021-07-25 20:57 201  
[ ]moebius3__t34_moebius3.depvmin12021-07-25 21:03 201  
[ ]moebius3__t34_moebius3.vmin12021-07-25 20:57 1.1K 
[ ]moebius3__t34_moebius3.vmin1out2021-07-25 20:58 8.0K 
[ ]moebius3__t34_moebius3.vout2021-07-25 19:17 7.5K 
[ ]moebius3__t35_moebius32021-07-18 00:58 42K 
[ ]moebius3__t35_moebius3.depv12021-07-25 20:57 165  
[ ]moebius3__t35_moebius3.depvmin12021-07-25 21:03 165  
[ ]moebius3__t35_moebius3.vmin12021-07-25 20:57 1.1K 
[ ]moebius3__t35_moebius3.vmin1out2021-07-25 21:00 9.1K 
[ ]moebius3__t35_moebius3.vout2021-07-25 18:45 9.8K 
[ ]moebius3__t36_moebius32021-07-18 01:21 49K 
[ ]moebius3__t36_moebius3.vout2021-07-25 14:35 7.4K 
[ ]moebius3__t37_moebius32021-07-18 01:22 47K 
[ ]moebius3__t37_moebius3.depv12021-07-25 20:57 374  
[ ]moebius3__t37_moebius3.depvmin12021-07-25 21:03 374  
[ ]moebius3__t37_moebius3.vmin12021-07-25 20:57 2.1K 
[ ]moebius3__t37_moebius3.vmin1out2021-07-25 21:00 21K 
[ ]moebius3__t37_moebius3.vout2021-07-25 14:47 19K 
[ ]moebius3__t38_moebius32021-07-18 01:22 49K 
[ ]moebius3__t38_moebius3.vout2021-07-25 16:55 7.3K 
[ ]moebius3__t39_moebius32021-07-18 01:23 40K 
[ ]moebius3__t39_moebius3.depv12021-07-25 20:57 356  
[ ]moebius3__t39_moebius3.depvmin12021-07-25 21:03 356  
[ ]moebius3__t39_moebius3.vmin12021-07-25 20:57 2.3K 
[ ]moebius3__t39_moebius3.vmin1out2021-07-25 20:58 19K 
[ ]moebius3__t39_moebius3.vout2021-07-25 15:04 20K 
[ ]moebius3__t40_moebius32021-07-18 01:23 46K 
[ ]moebius3__t40_moebius3.vout2021-07-25 18:32 10K 
[ ]moebius3__t41_moebius32021-07-18 01:24 45K 
[ ]moebius3__t41_moebius3.depv12021-07-25 20:57 240  
[ ]moebius3__t41_moebius3.depvmin12021-07-25 21:03 240  
[ ]moebius3__t41_moebius3.vmin12021-07-25 20:57 1.7K 
[ ]moebius3__t41_moebius3.vmin1out2021-07-25 20:58 19K 
[ ]moebius3__t41_moebius3.vout2021-07-25 20:19 20K 
[ ]moebius3__t42_moebius32021-07-18 01:24 43K 
[ ]moebius3__t42_moebius3.depv12021-07-25 20:57 192  
[ ]moebius3__t42_moebius3.depvmin12021-07-25 21:03 192  
[ ]moebius3__t42_moebius3.vmin12021-07-25 20:57 1.3K 
[ ]moebius3__t42_moebius3.vmin1out2021-07-25 21:01 8.5K 
[ ]moebius3__t42_moebius3.vout2021-07-25 17:50 11K 
[ ]moebius3__t43_moebius32021-07-18 01:25 62K 
[ ]moebius3__t43_moebius3.vout2021-07-25 14:56 7.4K 
[ ]moebius3__t44_moebius32021-07-18 01:26 131K 
[ ]moebius3__t44_moebius3.vout2021-07-25 18:51 6.8K 
[ ]moebius3__t45_moebius32021-07-18 01:26 72K 
[ ]moebius3__t45_moebius3.vout2021-07-25 16:49 7.3K 
[ ]moebius3__t46_moebius32021-07-18 01:27 131K 
[ ]moebius3__t46_moebius3.vout2021-07-25 14:49 7.3K 
[ ]moebius3__t47_moebius32021-07-18 01:28 65K 
[ ]moebius3__t47_moebius3.vout2021-07-25 18:08 7.4K 
[ ]moebius3__t48_moebius32021-07-18 01:28 51K 
[ ]moebius3__t48_moebius3.vout2021-07-25 15:29 7.3K 
[ ]moebius3__t49_moebius32021-07-18 01:29 57K 
[ ]moebius3__t49_moebius3.vout2021-07-25 17:24 7.3K 
[ ]moebius3__t50_moebius32021-07-18 01:30 59K 
[ ]moebius3__t50_moebius3.depv12021-07-25 20:57 278  
[ ]moebius3__t50_moebius3.depvmin12021-07-25 21:03 268  
[ ]moebius3__t50_moebius3.vmin12021-07-25 20:57 2.3K 
[ ]moebius3__t50_moebius3.vmin1out2021-07-25 20:58 23K 
[ ]moebius3__t50_moebius3.vout2021-07-25 20:08 26K 
[ ]moebius3__t51_moebius32021-07-18 00:59 55K 
[ ]moebius3__t51_moebius3.depv12021-07-25 20:57 163  
[ ]moebius3__t51_moebius3.depvmin12021-07-25 21:03 141  
[ ]moebius3__t51_moebius3.vmin12021-07-25 20:57 1.2K 
[ ]moebius3__t51_moebius3.vmin1out2021-07-25 21:00 14K 
[ ]moebius3__t51_moebius3.vout2021-07-25 20:39 18K 
[ ]moebius3__t52_moebius32021-07-18 01:30 58K 
[ ]moebius3__t52_moebius3.depv12021-07-25 20:57 110  
[ ]moebius3__t52_moebius3.depvmin12021-07-25 21:03 110  
[ ]moebius3__t52_moebius3.vmin12021-07-25 20:57 1.0K 
[ ]moebius3__t52_moebius3.vmin1out2021-07-25 21:01 15K 
[ ]moebius3__t52_moebius3.vout2021-07-25 16:25 15K 
[ ]moebius3__t53_moebius32021-07-18 01:31 55K 
[ ]moebius3__t53_moebius3.vout2021-07-25 19:28 7.4K 
[ ]moebius3__t54_moebius32021-07-18 01:31 52K 
[ ]moebius3__t54_moebius3.vout2021-07-25 15:17 4.7K 
[ ]moebius3__t55_moebius32021-07-18 01:32 54K 
[ ]moebius3__t55_moebius3.depv12021-07-25 20:57 176  
[ ]moebius3__t55_moebius3.depvmin12021-07-25 21:03 176  
[ ]moebius3__t55_moebius3.vmin12021-07-25 20:57 1.8K 
[ ]moebius3__t55_moebius3.vmin1out2021-07-25 21:01 18K 
[ ]moebius3__t55_moebius3.vout2021-07-25 20:48 18K 
[ ]moebius3__t56_moebius32021-07-18 01:32 51K 
[ ]moebius3__t56_moebius3.depv12021-07-25 20:57 76  
[ ]moebius3__t56_moebius3.depvmin12021-07-25 21:03 76  
[ ]moebius3__t56_moebius3.vmin12021-07-25 20:57 1.0K 
[ ]moebius3__t56_moebius3.vmin1out2021-07-25 21:00 19K 
[ ]moebius3__t56_moebius3.vout2021-07-25 18:25 9.1K 
[ ]moebius3__t57_moebius32021-07-18 01:33 40K 
[ ]moebius3__t57_moebius3.depv12021-07-25 20:57 171  
[ ]moebius3__t57_moebius3.depvmin12021-07-25 21:03 171  
[ ]moebius3__t57_moebius3.vmin12021-07-25 20:57 1.3K 
[ ]moebius3__t57_moebius3.vmin1out2021-07-25 20:59 18K 
[ ]moebius3__t57_moebius3.vout2021-07-25 20:42 15K 
[ ]moebius3__t58_moebius32021-07-18 01:33 44K 
[ ]moebius3__t58_moebius3.depv12021-07-25 20:57 195  
[ ]moebius3__t58_moebius3.depvmin12021-07-25 21:03 195  
[ ]moebius3__t58_moebius3.vmin12021-07-25 20:57 1.7K 
[ ]moebius3__t58_moebius3.vmin1out2021-07-25 20:59 22K 
[ ]moebius3__t58_moebius3.vout2021-07-25 14:36 18K 
[ ]moebius3__t59_moebius32021-07-18 01:34 61K 
[ ]moebius3__t59_moebius3.vout2021-07-25 16:06 6.3K 
[ ]moebius3__t60_moebius32021-07-18 00:59 41K 
[ ]moebius3__t60_moebius3.depv12021-07-25 20:57 195  
[ ]moebius3__t60_moebius3.depvmin12021-07-25 21:03 195  
[ ]moebius3__t60_moebius3.vmin12021-07-25 20:57 1.1K 
[ ]moebius3__t60_moebius3.vmin1out2021-07-25 21:02 8.5K 
[ ]moebius3__t60_moebius3.vout2021-07-25 14:34 8.8K 
[ ]moebius3__t61_moebius32021-07-18 01:34 58K 
[ ]moebius3__t61_moebius3.vout2021-07-25 16:16 7.9K 
[ ]moebius3__t62_moebius32021-07-18 01:35 128K 
[ ]moebius3__t62_moebius3.vout2021-07-25 17:18 7.9K 
[ ]moebius3__t63_moebius32021-07-18 01:35 60K 
[ ]moebius3__t63_moebius3.vout2021-07-25 16:40 7.4K 
[ ]moebius3__t64_moebius32021-07-18 01:36 93K 
[ ]moebius3__t64_moebius3.vout2021-07-25 16:37 6.3K 
[ ]moebius3__t65_moebius32021-07-18 01:37 52K 
[ ]moebius3__t65_moebius3.vout2021-07-25 16:20 7.4K 
[ ]moebius3__t66_moebius32021-07-18 01:37 51K 
[ ]moebius3__t66_moebius3.vout2021-07-25 15:18 7.9K 
[ ]moebius3__t67_moebius32021-07-18 01:38 62K 
[ ]moebius3__t67_moebius3.depv12021-07-25 20:57 339  
[ ]moebius3__t67_moebius3.depvmin12021-07-25 21:03 302  
[ ]moebius3__t67_moebius3.vmin12021-07-25 20:57 2.5K 
[ ]moebius3__t67_moebius3.vmin1out2021-07-25 21:02 21K 
[ ]moebius3__t67_moebius3.vout2021-07-25 15:16 19K 
[ ]moebius3__t68_moebius32021-07-18 01:00 64K 
[ ]moebius3__t68_moebius3.vout2021-07-25 16:45 4.7K 
[ ]moebius3__t69_moebius32021-07-18 01:38 63K 
[ ]moebius3__t69_moebius3.vout2021-07-25 15:14 2.0K 
[ ]moebius3__t70_moebius32021-07-18 01:39 57K 
[ ]moebius3__t70_moebius3.vout2021-07-25 16:10 5.9K 
[ ]moebius3__t71_moebius32021-07-18 01:40 55K 
[ ]moebius3__t71_moebius3.vout2021-07-25 17:13 7.3K 
[ ]moebius3__t72_moebius32021-07-18 01:40 52K 
[ ]moebius3__t72_moebius3.vout2021-07-25 18:21 7.4K 
[ ]moebius3__t73_moebius32021-07-18 01:41 57K 
[ ]moebius3__t73_moebius3.vout2021-07-25 18:05 5.9K 
[ ]moebius3__t74_moebius32021-07-18 01:41 62K 
[ ]moebius3__t74_moebius3.vout2021-07-25 16:21 5.9K 
[ ]moebius3__t75_moebius32021-07-18 01:42 53K 
[ ]moebius3__t75_moebius3.vout2021-07-25 17:02 7.3K 
[ ]moebius3__t76_moebius32021-07-18 01:42 56K 
[ ]moebius3__t76_moebius3.vout2021-07-25 18:52 7.3K 
[ ]moebius3__t77_moebius32021-07-18 01:43 59K 
[ ]moebius3__t77_moebius3.vout2021-07-25 20:22 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80