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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]moebius1__l1_moebius12021-07-18 08:51 27K 
[ ]moebius1__l1_moebius1.depv12021-07-25 20:57 107  
[ ]moebius1__l1_moebius1.depvmin12021-07-25 21:03 86  
[ ]moebius1__l1_moebius1.vmin12021-07-25 20:57 821  
[ ]moebius1__l1_moebius1.vmin1out2021-07-25 21:02 5.8K 
[ ]moebius1__l1_moebius1.vout2021-07-25 17:20 6.3K 
[ ]moebius1__l5_moebius12021-07-18 09:19 28K 
[ ]moebius1__l5_moebius1.vout2021-07-25 14:51 8.4K 
[ ]moebius1__l71_moebius12021-07-18 09:19 43K 
[ ]moebius1__l71_moebius1.vout2021-07-25 19:35 7.3K 
[ ]moebius1__l72_moebius12021-07-18 08:51 33K 
[ ]moebius1__l72_moebius1.vout2021-07-25 14:26 1.1K 
[ ]moebius1__l76_moebius12021-07-18 09:19 43K 
[ ]moebius1__l76_moebius1.vout2021-07-25 20:52 7.3K 
[ ]moebius1__t1_moebius12021-07-18 08:52 32K 
[ ]moebius1__t1_moebius1.depv12021-07-25 20:57 380  
[ ]moebius1__t1_moebius1.depvmin12021-07-25 21:03 356  
[ ]moebius1__t1_moebius1.vmin12021-07-25 20:57 2.3K 
[ ]moebius1__t1_moebius1.vmin1out2021-07-25 21:00 22K 
[ ]moebius1__t1_moebius1.vout2021-07-25 18:53 25K 
[ ]moebius1__t2_moebius12021-07-18 08:52 37K 
[ ]moebius1__t2_moebius1.vout2021-07-25 15:06 2.0K 
[ ]moebius1__t3_moebius12021-07-18 08:52 26K 
[ ]moebius1__t3_moebius1.depv12021-07-25 20:57 218  
[ ]moebius1__t3_moebius1.depvmin12021-07-25 21:03 142  
[ ]moebius1__t3_moebius1.vmin12021-07-25 20:57 1.9K 
[ ]moebius1__t3_moebius1.vmin1out2021-07-25 20:59 13K 
[ ]moebius1__t3_moebius1.vout2021-07-25 15:41 18K 
[ ]moebius1__t4_moebius12021-07-18 08:53 26K 
[ ]moebius1__t4_moebius1.depv12021-07-25 20:57 37  
[ ]moebius1__t4_moebius1.depvmin12021-07-25 21:03 37  
[ ]moebius1__t4_moebius1.vmin12021-07-25 20:57 457  
[ ]moebius1__t4_moebius1.vmin1out2021-07-25 20:59 7.2K 
[ ]moebius1__t4_moebius1.vout2021-07-25 17:44 7.3K 
[ ]moebius1__t5_moebius12021-07-18 08:53 26K 
[ ]moebius1__t5_moebius1.depv12021-07-25 20:57 117  
[ ]moebius1__t5_moebius1.depvmin12021-07-25 21:03 104  
[ ]moebius1__t5_moebius1.vmin12021-07-25 20:57 886  
[ ]moebius1__t5_moebius1.vmin1out2021-07-25 20:59 10K 
[ ]moebius1__t5_moebius1.vout2021-07-25 19:20 13K 
[ ]moebius1__t6_moebius12021-07-18 08:53 32K 
[ ]moebius1__t6_moebius1.vout2021-07-25 20:23 7.3K 
[ ]moebius1__t7_moebius12021-07-18 08:54 34K 
[ ]moebius1__t7_moebius1.depv12021-07-25 20:57 193  
[ ]moebius1__t7_moebius1.depvmin12021-07-25 21:03 179  
[ ]moebius1__t7_moebius1.vmin12021-07-25 20:57 2.5K 
[ ]moebius1__t7_moebius1.vmin1out2021-07-25 20:57 28K 
[ ]moebius1__t7_moebius1.vout2021-07-25 16:32 21K 
[ ]moebius1__t8_moebius12021-07-18 08:54 36K 
[ ]moebius1__t8_moebius1.depv12021-07-25 20:57 91  
[ ]moebius1__t8_moebius1.depvmin12021-07-25 21:03 91  
[ ]moebius1__t8_moebius1.vmin12021-07-25 20:57 1.5K 
[ ]moebius1__t8_moebius1.vmin1out2021-07-25 20:59 18K 
[ ]moebius1__t8_moebius1.vout2021-07-25 17:04 18K 
[ ]moebius1__t9_moebius12021-07-18 08:55 31K 
[ ]moebius1__t9_moebius1.depv12021-07-25 20:57 185  
[ ]moebius1__t9_moebius1.depvmin12021-07-25 21:03 185  
[ ]moebius1__t9_moebius1.vmin12021-07-25 20:57 1.8K 
[ ]moebius1__t9_moebius1.vmin1out2021-07-25 21:02 23K 
[ ]moebius1__t9_moebius1.vout2021-07-25 16:06 21K 
[ ]moebius1__t10_moebius12021-07-18 08:55 34K 
[ ]moebius1__t10_moebius1.vout2021-07-25 17:40 7.3K 
[ ]moebius1__t11_moebius12021-07-18 08:55 36K 
[ ]moebius1__t11_moebius1.vout2021-07-25 20:25 7.3K 
[ ]moebius1__t12_moebius12021-07-18 08:56 49K 
[ ]moebius1__t12_moebius1.vout2021-07-25 20:12 7.4K 
[ ]moebius1__t13_moebius12021-07-18 09:16 41K 
[ ]moebius1__t13_moebius1.vout2021-07-25 14:59 3.7K 
[ ]moebius1__t14_moebius12021-07-18 08:56 45K 
[ ]moebius1__t14_moebius1.vout2021-07-25 20:38 6.8K 
[ ]moebius1__t15_moebius12021-07-18 08:57 35K 
[ ]moebius1__t15_moebius1.depv12021-07-25 20:57 214  
[ ]moebius1__t15_moebius1.depvmin12021-07-25 21:03 214  
[ ]moebius1__t15_moebius1.vmin12021-07-25 20:57 2.2K 
[ ]moebius1__t15_moebius1.vmin1out2021-07-25 20:59 27K 
[ ]moebius1__t15_moebius1.vout2021-07-25 20:22 24K 
[ ]moebius1__t16_moebius12021-07-18 08:57 46K 
[ ]moebius1__t16_moebius1.vout2021-07-25 17:21 7.3K 
[ ]moebius1__t17_moebius12021-07-18 08:58 38K 
[ ]moebius1__t17_moebius1.vout2021-07-25 18:52 7.3K 
[ ]moebius1__t18_moebius12021-07-18 08:58 71K 
[ ]moebius1__t18_moebius1.vout2021-07-25 18:16 7.3K 
[ ]moebius1__t19_moebius12021-07-18 08:59 80K 
[ ]moebius1__t19_moebius1.vout2021-07-25 15:56 7.3K 
[ ]moebius1__t20_moebius12021-07-18 08:59 27K 
[ ]moebius1__t20_moebius1.vout2021-07-25 17:08 8.4K 
[ ]moebius1__t21_moebius12021-07-18 09:00 26K 
[ ]moebius1__t21_moebius1.vout2021-07-25 19:45 2.0K 
[ ]moebius1__t22_moebius12021-07-18 09:00 33K 
[ ]moebius1__t22_moebius1.vout2021-07-25 18:38 11K 
[ ]moebius1__t23_moebius12021-07-18 09:00 29K 
[ ]moebius1__t23_moebius1.vout2021-07-25 15:03 5.8K 
[ ]moebius1__t24_moebius12021-07-18 09:01 36K 
[ ]moebius1__t24_moebius1.vout2021-07-25 14:30 2.0K 
[ ]moebius1__t25_moebius12021-07-18 08:49 27K 
[ ]moebius1__t25_moebius1.vout2021-07-25 16:51 2.0K 
[ ]moebius1__t26_moebius12021-07-18 09:01 38K 
[ ]moebius1__t26_moebius1.depv12021-07-25 20:57 35  
[ ]moebius1__t26_moebius1.depvmin12021-07-25 21:03 35  
[ ]moebius1__t26_moebius1.vmin12021-07-25 20:57 495  
[ ]moebius1__t26_moebius1.vmin1out2021-07-25 20:59 8.8K 
[ ]moebius1__t26_moebius1.vout2021-07-25 17:10 9.1K 
[ ]moebius1__t27_moebius12021-07-18 09:02 41K 
[ ]moebius1__t27_moebius1.vout2021-07-25 18:10 7.3K 
[ ]moebius1__t28_moebius12021-07-18 09:02 33K 
[ ]moebius1__t28_moebius1.vout2021-07-25 20:18 7.3K 
[ ]moebius1__t29_moebius12021-07-18 09:17 33K 
[ ]moebius1__t29_moebius1.vout2021-07-25 18:38 5.3K 
[ ]moebius1__t30_moebius12021-07-18 09:02 34K 
[ ]moebius1__t30_moebius1.depv12021-07-25 20:57 359  
[ ]moebius1__t30_moebius1.depvmin12021-07-25 21:03 292  
[ ]moebius1__t30_moebius1.vmin12021-07-25 20:57 2.5K 
[ ]moebius1__t30_moebius1.vmin1out2021-07-25 20:59 18K 
[ ]moebius1__t30_moebius1.vout2021-07-25 15:42 21K 
[ ]moebius1__t31_moebius12021-07-18 09:03 37K 
[ ]moebius1__t31_moebius1.depv12021-07-25 20:57 197  
[ ]moebius1__t31_moebius1.depvmin12021-07-25 21:03 197  
[ ]moebius1__t31_moebius1.vmin12021-07-25 20:57 1.5K 
[ ]moebius1__t31_moebius1.vmin1out2021-07-25 20:58 17K 
[ ]moebius1__t31_moebius1.vout2021-07-25 15:00 16K 
[ ]moebius1__t32_moebius12021-07-18 09:03 37K 
[ ]moebius1__t32_moebius1.depv12021-07-25 20:57 197  
[ ]moebius1__t32_moebius1.depvmin12021-07-25 21:03 197  
[ ]moebius1__t32_moebius1.vmin12021-07-25 20:57 1.5K 
[ ]moebius1__t32_moebius1.vmin1out2021-07-25 21:00 17K 
[ ]moebius1__t32_moebius1.vout2021-07-25 14:36 16K 
[ ]moebius1__t33_moebius12021-07-18 09:04 34K 
[ ]moebius1__t33_moebius1.depv12021-07-25 20:57 283  
[ ]moebius1__t33_moebius1.depvmin12021-07-25 21:03 283  
[ ]moebius1__t33_moebius1.vmin12021-07-25 20:57 2.7K 
[ ]moebius1__t33_moebius1.vmin1out2021-07-25 20:58 28K 
[ ]moebius1__t33_moebius1.vout2021-07-25 17:19 30K 
[ ]moebius1__t34_moebius12021-07-18 09:04 37K 
[ ]moebius1__t34_moebius1.depv12021-07-25 20:57 224  
[ ]moebius1__t34_moebius1.depvmin12021-07-25 21:03 224  
[ ]moebius1__t34_moebius1.vmin12021-07-25 20:57 1.7K 
[ ]moebius1__t34_moebius1.vmin1out2021-07-25 21:01 18K 
[ ]moebius1__t34_moebius1.vout2021-07-25 15:38 19K 
[ ]moebius1__t35_moebius12021-07-18 09:05 56K 
[ ]moebius1__t35_moebius1.vout2021-07-25 19:46 4.7K 
[ ]moebius1__t36_moebius12021-07-18 09:05 40K 
[ ]moebius1__t36_moebius1.vout2021-07-25 14:31 7.3K 
[ ]moebius1__t37_moebius12021-07-18 09:05 40K 
[ ]moebius1__t37_moebius1.vout2021-07-25 15:37 4.7K 
[ ]moebius1__t38_moebius12021-07-18 09:06 34K 
[ ]moebius1__t38_moebius1.depv12021-07-25 20:57 183  
[ ]moebius1__t38_moebius1.depvmin12021-07-25 21:03 183  
[ ]moebius1__t38_moebius1.vmin12021-07-25 20:57 1.6K 
[ ]moebius1__t38_moebius1.vmin1out2021-07-25 20:58 17K 
[ ]moebius1__t38_moebius1.vout2021-07-25 20:19 17K 
[ ]moebius1__t39_moebius12021-07-18 09:06 30K 
[ ]moebius1__t39_moebius1.vout2021-07-25 18:59 7.4K 
[ ]moebius1__t40_moebius12021-07-18 09:07 32K 
[ ]moebius1__t40_moebius1.depv12021-07-25 20:57 311  
[ ]moebius1__t40_moebius1.depvmin12021-07-25 21:03 282  
[ ]moebius1__t40_moebius1.vmin12021-07-25 20:57 2.5K 
[ ]moebius1__t40_moebius1.vmin1out2021-07-25 20:59 29K 
[ ]moebius1__t40_moebius1.vout2021-07-25 18:20 27K 
[ ]moebius1__t41_moebius12021-07-18 09:07 31K 
[ ]moebius1__t41_moebius1.vout2021-07-25 18:14 5.9K 
[ ]moebius1__t42_moebius12021-07-18 09:07 44K 
[ ]moebius1__t42_moebius1.vout2021-07-25 16:00 5.9K 
[ ]moebius1__t43_moebius12021-07-18 09:08 46K 
[ ]moebius1__t43_moebius1.vout2021-07-25 16:26 7.3K 
[ ]moebius1__t44_moebius12021-07-18 09:08 45K 
[ ]moebius1__t44_moebius1.vout2021-07-25 17:25 4.7K 
[ ]moebius1__t45_moebius12021-07-18 09:09 43K 
[ ]moebius1__t45_moebius1.depv12021-07-25 20:57 398  
[ ]moebius1__t45_moebius1.depvmin12021-07-25 21:03 287  
[ ]moebius1__t45_moebius1.vmin12021-07-25 20:57 3.6K 
[ ]moebius1__t45_moebius1.vmin1out2021-07-25 21:00 30K 
[ ]moebius1__t45_moebius1.vout2021-07-25 14:36 42K 
[ ]moebius1__t46_moebius12021-07-18 09:09 48K 
[ ]moebius1__t46_moebius1.vout2021-07-25 16:10 7.4K 
[ ]moebius1__t47_moebius12021-07-18 09:10 49K 
[ ]moebius1__t47_moebius1.vout2021-07-25 19:12 7.3K 
[ ]moebius1__t48_moebius12021-07-18 09:10 36K 
[ ]moebius1__t48_moebius1.depv12021-07-25 20:57 262  
[ ]moebius1__t48_moebius1.depvmin12021-07-25 21:03 184  
[ ]moebius1__t48_moebius1.vmin12021-07-25 20:57 3.3K 
[ ]moebius1__t48_moebius1.vmin1out2021-07-25 20:58 37K 
[ ]moebius1__t48_moebius1.vout2021-07-25 17:04 38K 
[ ]moebius1__t49_moebius12021-07-18 09:10 36K 
[ ]moebius1__t49_moebius1.depv12021-07-25 20:57 207  
[ ]moebius1__t49_moebius1.depvmin12021-07-25 21:03 207  
[ ]moebius1__t49_moebius1.vmin12021-07-25 20:57 2.8K 
[ ]moebius1__t49_moebius1.vmin1out2021-07-25 21:01 40K 
[ ]moebius1__t49_moebius1.vout2021-07-25 19:44 41K 
[ ]moebius1__t50_moebius12021-07-18 09:11 53K 
[ ]moebius1__t50_moebius1.vout2021-07-25 19:02 4.7K 
[ ]moebius1__t51_moebius12021-07-18 09:17 42K 
[ ]moebius1__t51_moebius1.vout2021-07-25 15:37 7.3K 
[ ]moebius1__t52_moebius12021-07-18 09:11 56K 
[ ]moebius1__t52_moebius1.vout2021-07-25 20:00 7.3K 
[ ]moebius1__t53_moebius12021-07-18 09:12 56K 
[ ]moebius1__t53_moebius1.depv12021-07-25 20:57 280  
[ ]moebius1__t53_moebius1.depvmin12021-07-25 21:03 280  
[ ]moebius1__t53_moebius1.vmin12021-07-25 20:57 3.1K 
[ ]moebius1__t53_moebius1.vmin1out2021-07-25 21:02 48K 
[ ]moebius1__t53_moebius1.vout2021-07-25 17:51 47K 
[ ]moebius1__t54_moebius12021-07-18 09:12 57K 
[ ]moebius1__t54_moebius1.vout2021-07-25 20:54 7.3K 
[ ]moebius1__t55_moebius12021-07-18 09:13 98K 
[ ]moebius1__t55_moebius1.vout2021-07-25 17:00 7.3K 
[ ]moebius1__t56_moebius12021-07-18 09:14 56K 
[ ]moebius1__t56_moebius1.vout2021-07-25 19:53 6.8K 
[ ]moebius1__t57_moebius12021-07-18 09:14 43K 
[ ]moebius1__t57_moebius1.vout2021-07-25 15:01 4.7K 
[ ]moebius1__t58_moebius12021-07-18 08:50 33K 
[ ]moebius1__t58_moebius1.depv12021-07-25 20:57 263  
[ ]moebius1__t58_moebius1.depvmin12021-07-25 21:03 219  
[ ]moebius1__t58_moebius1.vmin12021-07-25 20:57 2.0K 
[ ]moebius1__t58_moebius1.vmin1out2021-07-25 20:58 14K 
[ ]moebius1__t58_moebius1.vout2021-07-25 14:24 31K 
[ ]moebius1__t59_moebius12021-07-18 08:50 35K 
[ ]moebius1__t59_moebius1.depv12021-07-25 20:57 77  
[ ]moebius1__t59_moebius1.depvmin12021-07-25 21:03 77  
[ ]moebius1__t59_moebius1.vmin12021-07-25 20:57 928  
[ ]moebius1__t59_moebius1.vmin1out2021-07-25 21:01 9.1K 
[ ]moebius1__t59_moebius1.vout2021-07-25 16:00 7.8K 
[ ]moebius1__t60_moebius12021-07-18 09:15 61K 
[ ]moebius1__t60_moebius1.vout2021-07-25 15:02 7.3K 
[ ]moebius1__t61_moebius12021-07-18 09:15 84K 
[ ]moebius1__t61_moebius1.vout2021-07-25 19:47 7.3K 
[ ]moebius1__t62_moebius12021-07-18 08:50 31K 
[ ]moebius1__t62_moebius1.depv12021-07-25 20:57 80  
[ ]moebius1__t62_moebius1.depvmin12021-07-25 21:03 80  
[ ]moebius1__t62_moebius1.vmin12021-07-25 20:57 733  
[ ]moebius1__t62_moebius1.vmin1out2021-07-25 21:02 5.7K 
[ ]moebius1__t62_moebius1.vout2021-07-25 20:19 5.8K 
[ ]moebius1__t63_moebius12021-07-18 09:17 37K 
[ ]moebius1__t63_moebius1.vout2021-07-25 15:55 3.7K 
[ ]moebius1__t64_moebius12021-07-18 09:18 37K 
[ ]moebius1__t64_moebius1.depv12021-07-25 20:57 478  
[ ]moebius1__t64_moebius1.depvmin12021-07-25 21:03 338  
[ ]moebius1__t64_moebius1.vmin12021-07-25 20:57 3.6K 
[ ]moebius1__t64_moebius1.vmin1out2021-07-25 20:59 37K 
[ ]moebius1__t64_moebius1.vout2021-07-25 19:58 55K 
[ ]moebius1__t65_moebius12021-07-18 09:16 32K 
[ ]moebius1__t65_moebius1.depv12021-07-25 20:57 148  
[ ]moebius1__t65_moebius1.depvmin12021-07-25 21:03 148  
[ ]moebius1__t65_moebius1.vmin12021-07-25 20:57 1.5K 
[ ]moebius1__t65_moebius1.vmin1out2021-07-25 20:59 17K 
[ ]moebius1__t65_moebius1.vout2021-07-25 20:39 18K 
[ ]moebius1__t66_moebius12021-07-18 09:18 35K 
[ ]moebius1__t66_moebius1.vout2021-07-25 19:43 5.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80