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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]moebius3__l29_moebius32024-07-26 19:27 63K 
[ ]moebius3__l29_moebius3.vout2024-08-03 05:49 2.0K 
[ ]moebius3__l30_moebius32024-07-26 19:29 145K 
[ ]moebius3__l30_moebius3.vout2024-08-03 04:31 2.0K 
[ ]moebius3__l59_moebius32024-07-26 19:31 84K 
[ ]moebius3__l59_moebius3.vout2024-08-03 05:41 7.3K 
[ ]moebius3__l67_moebius32024-07-26 19:33 93K 
[ ]moebius3__l67_moebius3.vout2024-08-03 05:14 4.7K 
[ ]moebius3__t1_moebius32024-07-26 17:19 50K 
[ ]moebius3__t1_moebius3.depv12024-08-03 10:19 231  
[ ]moebius3__t1_moebius3.depvmin12024-08-03 10:24 231  
[ ]moebius3__t1_moebius3.vmin12024-08-03 10:20 1.7K 
[ ]moebius3__t1_moebius3.vmin1out2024-08-03 10:23 13K 
[ ]moebius3__t1_moebius3.vout2024-08-03 07:11 15K 
[ ]moebius3__t2_moebius32024-07-26 17:20 55K 
[ ]moebius3__t2_moebius3.vout2024-08-03 09:37 6.8K 
[ ]moebius3__t3_moebius32024-07-26 17:22 70K 
[ ]moebius3__t3_moebius3.vout2024-08-03 06:30 7.3K 
[ ]moebius3__t4_moebius32024-07-26 17:24 98K 
[ ]moebius3__t4_moebius3.vout2024-08-03 05:42 7.3K 
[ ]moebius3__t5_moebius32024-07-26 17:27 98K 
[ ]moebius3__t5_moebius3.vout2024-08-03 07:42 7.3K 
[ ]moebius3__t6_moebius32024-07-26 17:28 66K 
[ ]moebius3__t6_moebius3.vout2024-08-03 05:40 7.3K 
[ ]moebius3__t8_moebius32024-07-26 17:30 56K 
[ ]moebius3__t8_moebius3.vout2024-08-03 05:27 10K 
[ ]moebius3__t9_moebius32024-07-26 17:32 61K 
[ ]moebius3__t9_moebius3.depv12024-08-03 10:19 272  
[ ]moebius3__t9_moebius3.depvmin12024-08-03 10:24 272  
[ ]moebius3__t9_moebius3.vmin12024-08-03 10:20 3.1K 
[ ]moebius3__t9_moebius3.vmin1out2024-08-03 10:22 36K 
[ ]moebius3__t9_moebius3.vout2024-08-03 04:08 37K 
[ ]moebius3__t10_moebius32024-07-26 17:33 64K 
[ ]moebius3__t10_moebius3.depv12024-08-03 10:19 179  
[ ]moebius3__t10_moebius3.depvmin12024-08-03 10:24 179  
[ ]moebius3__t10_moebius3.vmin12024-08-03 10:20 1.0K 
[ ]moebius3__t10_moebius3.vmin1out2024-08-03 10:21 7.0K 
[ ]moebius3__t10_moebius3.vout2024-08-03 09:35 8.5K 
[ ]moebius3__t11_moebius32024-07-26 17:35 68K 
[ ]moebius3__t11_moebius3.vout2024-08-03 06:28 1.1K 
[ ]moebius3__t12_moebius32024-07-26 17:36 50K 
[ ]moebius3__t12_moebius3.depv12024-08-03 10:19 867  
[ ]moebius3__t12_moebius3.depvmin12024-08-03 10:24 578  
[ ]moebius3__t12_moebius3.vmin12024-08-03 10:20 6.8K 
[ ]moebius3__t12_moebius3.vmin1out2024-08-03 10:20 48K 
[ ]moebius3__t12_moebius3.vout2024-08-03 09:35 54K 
[ ]moebius3__t13_moebius32024-07-26 17:38 141K 
[ ]moebius3__t13_moebius3.vout2024-08-03 04:40 4.7K 
[ ]moebius3__t14_moebius32024-07-26 17:40 54K 
[ ]moebius3__t14_moebius3.vout2024-08-03 09:49 7.3K 
[ ]moebius3__t15_moebius32024-07-26 17:42 65K 
[ ]moebius3__t15_moebius3.vout2024-08-03 07:35 2.0K 
[ ]moebius3__t16_moebius32024-07-26 17:43 55K 
[ ]moebius3__t16_moebius3.vout2024-08-03 08:28 7.9K 
[ ]moebius3__t17_moebius32024-07-26 17:45 51K 
[ ]moebius3__t17_moebius3.vout2024-08-03 08:35 7.3K 
[ ]moebius3__t18_moebius32024-07-26 17:47 50K 
[ ]moebius3__t18_moebius3.vout2024-08-03 08:12 2.0K 
[ ]moebius3__t19_moebius32024-07-26 17:48 63K 
[ ]moebius3__t19_moebius3.vout2024-08-03 06:57 6.8K 
[ ]moebius3__t20_moebius32024-07-26 17:50 57K 
[ ]moebius3__t20_moebius3.vout2024-08-03 09:41 7.9K 
[ ]moebius3__t21_moebius32024-07-26 17:52 98K 
[ ]moebius3__t21_moebius3.vout2024-08-03 09:54 6.8K 
[ ]moebius3__t22_moebius32024-07-26 17:55 117K 
[ ]moebius3__t22_moebius3.vout2024-08-03 09:02 7.4K 
[ ]moebius3__t23_moebius32024-07-26 17:56 48K 
[ ]moebius3__t23_moebius3.depv12024-08-03 10:19 188  
[ ]moebius3__t23_moebius3.depvmin12024-08-03 10:24 164  
[ ]moebius3__t23_moebius3.vmin12024-08-03 10:20 1.3K 
[ ]moebius3__t23_moebius3.vmin1out2024-08-03 10:20 15K 
[ ]moebius3__t23_moebius3.vout2024-08-03 04:08 14K 
[ ]moebius3__t24_moebius32024-07-26 17:58 60K 
[ ]moebius3__t24_moebius3.vout2024-08-03 05:45 6.8K 
[ ]moebius3__t25_moebius32024-07-26 18:00 79K 
[ ]moebius3__t25_moebius3.vout2024-08-03 06:05 7.3K 
[ ]moebius3__t26_moebius32024-07-26 18:02 405K 
[ ]moebius3__t26_moebius3.vout2024-08-03 10:00 7.9K 
[ ]moebius3__t27_moebius32024-07-26 17:11 83K 
[ ]moebius3__t27_moebius3.vout2024-08-03 09:55 6.8K 
[ ]moebius3__t28_moebius32024-07-26 18:04 256K 
[ ]moebius3__t28_moebius3.vout2024-08-03 04:32 2.0K 
[ ]moebius3__t29_moebius32024-07-26 18:06 725K 
[ ]moebius3__t29_moebius3.vout2024-08-03 06:08 7.4K 
[ ]moebius3__t30_moebius32024-07-26 18:08 216K 
[ ]moebius3__t30_moebius3.vout2024-08-03 04:54 2.0K 
[ ]moebius3__t31_moebius32024-07-26 18:10 395K 
[ ]moebius3__t31_moebius3.vout2024-08-03 09:43 7.9K 
[ ]moebius3__t32_moebius32024-07-26 18:11 354K 
[ ]moebius3__t32_moebius3.vout2024-08-03 07:22 7.9K 
[ ]moebius3__t33_moebius32024-07-26 18:13 75K 
[ ]moebius3__t33_moebius3.vout2024-08-03 06:55 7.9K 
[ ]moebius3__t34_moebius32024-07-26 18:15 49K 
[ ]moebius3__t34_moebius3.depv12024-08-03 10:19 185  
[ ]moebius3__t34_moebius3.depvmin12024-08-03 10:24 160  
[ ]moebius3__t34_moebius3.vmin12024-08-03 10:20 1.0K 
[ ]moebius3__t34_moebius3.vmin1out2024-08-03 10:22 6.5K 
[ ]moebius3__t34_moebius3.vout2024-08-03 06:13 7.0K 
[ ]moebius3__t35_moebius32024-07-26 17:13 45K 
[ ]moebius3__t35_moebius3.depv12024-08-03 10:19 165  
[ ]moebius3__t35_moebius3.depvmin12024-08-03 10:24 165  
[ ]moebius3__t35_moebius3.vmin12024-08-03 10:20 1.1K 
[ ]moebius3__t35_moebius3.vmin1out2024-08-03 10:22 9.1K 
[ ]moebius3__t35_moebius3.vout2024-08-03 05:58 9.8K 
[ ]moebius3__t36_moebius32024-07-26 18:17 53K 
[ ]moebius3__t36_moebius3.vout2024-08-03 09:41 7.4K 
[ ]moebius3__t37_moebius32024-07-26 18:18 50K 
[ ]moebius3__t37_moebius3.depv12024-08-03 10:19 442  
[ ]moebius3__t37_moebius3.depvmin12024-08-03 10:24 374  
[ ]moebius3__t37_moebius3.vmin12024-08-03 10:20 2.4K 
[ ]moebius3__t37_moebius3.vmin1out2024-08-03 10:22 20K 
[ ]moebius3__t37_moebius3.vout2024-08-03 04:49 21K 
[ ]moebius3__t38_moebius32024-07-26 18:20 52K 
[ ]moebius3__t38_moebius3.vout2024-08-03 04:52 7.3K 
[ ]moebius3__t39_moebius32024-07-26 18:21 43K 
[ ]moebius3__t39_moebius3.depv12024-08-03 10:19 369  
[ ]moebius3__t39_moebius3.depvmin12024-08-03 10:24 356  
[ ]moebius3__t39_moebius3.vmin12024-08-03 10:20 2.3K 
[ ]moebius3__t39_moebius3.vmin1out2024-08-03 10:21 19K 
[ ]moebius3__t39_moebius3.vout2024-08-03 09:41 22K 
[ ]moebius3__t40_moebius32024-07-26 18:23 49K 
[ ]moebius3__t40_moebius3.vout2024-08-03 04:20 10K 
[ ]moebius3__t41_moebius32024-07-26 18:24 49K 
[ ]moebius3__t41_moebius3.vout2024-08-03 08:59 7.3K 
[ ]moebius3__t42_moebius32024-07-26 18:26 46K 
[ ]moebius3__t42_moebius3.depv12024-08-03 10:19 201  
[ ]moebius3__t42_moebius3.depvmin12024-08-03 10:24 201  
[ ]moebius3__t42_moebius3.vmin12024-08-03 10:20 1.4K 
[ ]moebius3__t42_moebius3.vmin1out2024-08-03 10:22 9.5K 
[ ]moebius3__t42_moebius3.vout2024-08-03 04:13 13K 
[ ]moebius3__t43_moebius32024-07-26 18:28 65K 
[ ]moebius3__t43_moebius3.vout2024-08-03 06:12 7.4K 
[ ]moebius3__t44_moebius32024-07-26 18:31 134K 
[ ]moebius3__t44_moebius3.vout2024-08-03 09:09 6.8K 
[ ]moebius3__t45_moebius32024-07-26 18:33 76K 
[ ]moebius3__t45_moebius3.vout2024-08-03 10:13 7.4K 
[ ]moebius3__t46_moebius32024-07-26 18:36 136K 
[ ]moebius3__t46_moebius3.vout2024-08-03 08:56 7.4K 
[ ]moebius3__t47_moebius32024-07-26 18:37 68K 
[ ]moebius3__t47_moebius3.vout2024-08-03 07:34 7.4K 
[ ]moebius3__t48_moebius32024-07-26 18:39 53K 
[ ]moebius3__t48_moebius3.vout2024-08-03 08:50 7.3K 
[ ]moebius3__t49_moebius32024-07-26 18:41 60K 
[ ]moebius3__t49_moebius3.vout2024-08-03 07:47 7.3K 
[ ]moebius3__t50_moebius32024-07-26 18:43 62K 
[ ]moebius3__t50_moebius3.depv12024-08-03 10:19 291  
[ ]moebius3__t50_moebius3.depvmin12024-08-03 10:24 246  
[ ]moebius3__t50_moebius3.vmin12024-08-03 10:20 2.4K 
[ ]moebius3__t50_moebius3.vmin1out2024-08-03 10:21 22K 
[ ]moebius3__t50_moebius3.vout2024-08-03 07:06 26K 
[ ]moebius3__t51_moebius32024-07-26 17:14 58K 
[ ]moebius3__t51_moebius3.depv12024-08-03 10:19 163  
[ ]moebius3__t51_moebius3.depvmin12024-08-03 10:24 141  
[ ]moebius3__t51_moebius3.vmin12024-08-03 10:20 1.2K 
[ ]moebius3__t51_moebius3.vmin1out2024-08-03 10:20 14K 
[ ]moebius3__t51_moebius3.vout2024-08-03 08:02 18K 
[ ]moebius3__t52_moebius32024-07-26 18:45 61K 
[ ]moebius3__t52_moebius3.depv12024-08-03 10:19 110  
[ ]moebius3__t52_moebius3.depvmin12024-08-03 10:24 110  
[ ]moebius3__t52_moebius3.vmin12024-08-03 10:20 1.0K 
[ ]moebius3__t52_moebius3.vmin1out2024-08-03 10:23 15K 
[ ]moebius3__t52_moebius3.vout2024-08-03 08:04 15K 
[ ]moebius3__t53_moebius32024-07-26 18:46 59K 
[ ]moebius3__t53_moebius3.vout2024-08-03 10:13 7.4K 
[ ]moebius3__t54_moebius32024-07-26 18:48 55K 
[ ]moebius3__t54_moebius3.vout2024-08-03 06:33 4.7K 
[ ]moebius3__t55_moebius32024-07-26 18:50 58K 
[ ]moebius3__t55_moebius3.depv12024-08-03 10:19 176  
[ ]moebius3__t55_moebius3.depvmin12024-08-03 10:24 176  
[ ]moebius3__t55_moebius3.vmin12024-08-03 10:20 1.7K 
[ ]moebius3__t55_moebius3.vmin1out2024-08-03 10:20 18K 
[ ]moebius3__t55_moebius3.vout2024-08-03 04:22 18K 
[ ]moebius3__t56_moebius32024-07-26 18:51 54K 
[ ]moebius3__t56_moebius3.depv12024-08-03 10:19 76  
[ ]moebius3__t56_moebius3.depvmin12024-08-03 10:24 76  
[ ]moebius3__t56_moebius3.vmin12024-08-03 10:20 1.0K 
[ ]moebius3__t56_moebius3.vmin1out2024-08-03 10:20 19K 
[ ]moebius3__t56_moebius3.vout2024-08-03 09:37 9.1K 
[ ]moebius3__t57_moebius32024-07-26 18:53 43K 
[ ]moebius3__t57_moebius3.depv12024-08-03 10:19 225  
[ ]moebius3__t57_moebius3.depvmin12024-08-03 10:24 212  
[ ]moebius3__t57_moebius3.vmin12024-08-03 10:20 1.9K 
[ ]moebius3__t57_moebius3.vmin1out2024-08-03 10:23 18K 
[ ]moebius3__t57_moebius3.vout2024-08-03 08:49 23K 
[ ]moebius3__t58_moebius32024-07-26 18:55 47K 
[ ]moebius3__t58_moebius3.vout2024-08-03 05:59 7.3K 
[ ]moebius3__t59_moebius32024-07-26 18:56 65K 
[ ]moebius3__t59_moebius3.vout2024-08-03 08:00 6.3K 
[ ]moebius3__t60_moebius32024-07-26 17:16 44K 
[ ]moebius3__t60_moebius3.depv12024-08-03 10:19 195  
[ ]moebius3__t60_moebius3.depvmin12024-08-03 10:24 195  
[ ]moebius3__t60_moebius3.vmin12024-08-03 10:20 1.1K 
[ ]moebius3__t60_moebius3.vmin1out2024-08-03 10:22 8.5K 
[ ]moebius3__t60_moebius3.vout2024-08-03 05:48 8.8K 
[ ]moebius3__t61_moebius32024-07-26 18:58 62K 
[ ]moebius3__t61_moebius3.vout2024-08-03 10:04 7.9K 
[ ]moebius3__t62_moebius32024-07-26 19:00 132K 
[ ]moebius3__t62_moebius3.vout2024-08-03 09:09 7.9K 
[ ]moebius3__t63_moebius32024-07-26 19:02 63K 
[ ]moebius3__t63_moebius3.vout2024-08-03 04:19 7.4K 
[ ]moebius3__t64_moebius32024-07-26 19:04 97K 
[ ]moebius3__t64_moebius3.vout2024-08-03 06:25 6.3K 
[ ]moebius3__t65_moebius32024-07-26 19:06 56K 
[ ]moebius3__t65_moebius3.vout2024-08-03 09:38 7.4K 
[ ]moebius3__t66_moebius32024-07-26 19:07 55K 
[ ]moebius3__t66_moebius3.vout2024-08-03 08:43 7.9K 
[ ]moebius3__t67_moebius32024-07-26 19:09 66K 
[ ]moebius3__t67_moebius3.depv12024-08-03 10:19 342  
[ ]moebius3__t67_moebius3.depvmin12024-08-03 10:24 317  
[ ]moebius3__t67_moebius3.vmin12024-08-03 10:20 2.5K 
[ ]moebius3__t67_moebius3.vmin1out2024-08-03 10:22 23K 
[ ]moebius3__t67_moebius3.vout2024-08-03 06:42 20K 
[ ]moebius3__t68_moebius32024-07-26 17:17 68K 
[ ]moebius3__t68_moebius3.vout2024-08-03 04:45 4.7K 
[ ]moebius3__t69_moebius32024-07-26 19:11 67K 
[ ]moebius3__t69_moebius3.vout2024-08-03 05:23 2.0K 
[ ]moebius3__t70_moebius32024-07-26 19:13 60K 
[ ]moebius3__t70_moebius3.vout2024-08-03 08:01 5.9K 
[ ]moebius3__t71_moebius32024-07-26 19:15 58K 
[ ]moebius3__t71_moebius3.vout2024-08-03 05:39 7.3K 
[ ]moebius3__t72_moebius32024-07-26 19:16 55K 
[ ]moebius3__t72_moebius3.vout2024-08-03 04:48 7.4K 
[ ]moebius3__t73_moebius32024-07-26 19:18 60K 
[ ]moebius3__t73_moebius3.vout2024-08-03 07:57 5.9K 
[ ]moebius3__t74_moebius32024-07-26 19:20 66K 
[ ]moebius3__t74_moebius3.vout2024-08-03 09:11 5.9K 
[ ]moebius3__t75_moebius32024-07-26 19:22 56K 
[ ]moebius3__t75_moebius3.vout2024-08-03 07:34 7.3K 
[ ]moebius3__t76_moebius32024-07-26 19:24 60K 
[ ]moebius3__t76_moebius3.vout2024-08-03 09:20 7.3K 
[ ]moebius3__t77_moebius32024-07-26 19:26 62K 
[ ]moebius3__t77_moebius3.vout2024-08-03 09:32 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80