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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]moebius2__l13_moebius22021-07-18 04:05 30K 
[ ]moebius2__l13_moebius2.depv12021-07-25 20:57 163  
[ ]moebius2__l13_moebius2.depvmin12021-07-25 21:03 129  
[ ]moebius2__l13_moebius2.vmin12021-07-25 20:57 872  
[ ]moebius2__l13_moebius2.vmin1out2021-07-25 21:01 7.2K 
[ ]moebius2__l13_moebius2.vout2021-07-25 15:50 8.4K 
[ ]moebius2__l14_moebius22021-07-18 04:06 30K 
[ ]moebius2__l14_moebius2.depv12021-07-25 20:57 133  
[ ]moebius2__l14_moebius2.depvmin12021-07-25 21:03 133  
[ ]moebius2__l14_moebius2.vmin12021-07-25 20:57 768  
[ ]moebius2__l14_moebius2.vmin1out2021-07-25 21:02 6.7K 
[ ]moebius2__l14_moebius2.vout2021-07-25 18:18 8.1K 
[ ]moebius2__l15_moebius22021-07-18 04:06 30K 
[ ]moebius2__l15_moebius2.depv12021-07-25 20:57 119  
[ ]moebius2__l15_moebius2.depvmin12021-07-25 21:03 119  
[ ]moebius2__l15_moebius2.vmin12021-07-25 20:57 691  
[ ]moebius2__l15_moebius2.vmin1out2021-07-25 21:02 7.4K 
[ ]moebius2__l15_moebius2.vout2021-07-25 20:48 7.4K 
[ ]moebius2__l16_moebius22021-07-18 04:07 30K 
[ ]moebius2__l16_moebius2.depv12021-07-25 20:57 165  
[ ]moebius2__l16_moebius2.depvmin12021-07-25 21:03 130  
[ ]moebius2__l16_moebius2.vmin12021-07-25 20:57 876  
[ ]moebius2__l16_moebius2.vmin1out2021-07-25 21:00 7.2K 
[ ]moebius2__l16_moebius2.vout2021-07-25 20:48 8.4K 
[ ]moebius2__l17_moebius22021-07-18 04:07 30K 
[ ]moebius2__l17_moebius2.depv12021-07-25 20:57 165  
[ ]moebius2__l17_moebius2.depvmin12021-07-25 21:03 130  
[ ]moebius2__l17_moebius2.vmin12021-07-25 20:57 876  
[ ]moebius2__l17_moebius2.vmin1out2021-07-25 21:02 7.2K 
[ ]moebius2__l17_moebius2.vout2021-07-25 19:31 8.4K 
[ ]moebius2__l51_moebius22021-07-18 04:44 47K 
[ ]moebius2__l51_moebius2.vout2021-07-25 17:11 7.4K 
[ ]moebius2__l81_moebius22021-07-18 04:45 77K 
[ ]moebius2__l81_moebius2.vout2021-07-25 19:33 4.7K 
[ ]moebius2__t1_moebius22021-07-18 04:08 56K 
[ ]moebius2__t1_moebius2.vout2021-07-25 18:19 7.8K 
[ ]moebius2__t2_moebius22021-07-18 04:08 37K 
[ ]moebius2__t2_moebius2.depv12021-07-25 20:57 78  
[ ]moebius2__t2_moebius2.depvmin12021-07-25 21:03 78  
[ ]moebius2__t2_moebius2.vmin12021-07-25 20:57 730  
[ ]moebius2__t2_moebius2.vmin1out2021-07-25 20:59 11K 
[ ]moebius2__t2_moebius2.vout2021-07-25 14:36 12K 
[ ]moebius2__t3_moebius22021-07-18 04:09 57K 
[ ]moebius2__t3_moebius2.vout2021-07-25 15:43 2.0K 
[ ]moebius2__t4_moebius22021-07-18 04:09 40K 
[ ]moebius2__t4_moebius2.vout2021-07-25 19:24 2.0K 
[ ]moebius2__t5_moebius22021-07-18 04:10 34K 
[ ]moebius2__t5_moebius2.depv12021-07-25 20:57 53  
[ ]moebius2__t5_moebius2.depvmin12021-07-25 21:03 53  
[ ]moebius2__t5_moebius2.vmin12021-07-25 20:57 1.0K 
[ ]moebius2__t5_moebius2.vmin1out2021-07-25 20:57 15K 
[ ]moebius2__t5_moebius2.vout2021-07-25 16:10 15K 
[ ]moebius2__t6_moebius22021-07-18 04:10 38K 
[ ]moebius2__t6_moebius2.depv12021-07-25 20:57 168  
[ ]moebius2__t6_moebius2.depvmin12021-07-25 21:03 121  
[ ]moebius2__t6_moebius2.vmin12021-07-25 20:57 1.6K 
[ ]moebius2__t6_moebius2.vmin1out2021-07-25 21:00 13K 
[ ]moebius2__t6_moebius2.vout2021-07-25 14:29 18K 
[ ]moebius2__t7_moebius22021-07-18 04:11 39K 
[ ]moebius2__t7_moebius2.vout2021-07-25 17:43 2.0K 
[ ]moebius2__t8_moebius22021-07-18 04:11 36K 
[ ]moebius2__t8_moebius2.depv12021-07-25 20:57 173  
[ ]moebius2__t8_moebius2.depvmin12021-07-25 21:03 173  
[ ]moebius2__t8_moebius2.vmin12021-07-25 20:57 944  
[ ]moebius2__t8_moebius2.vmin1out2021-07-25 21:00 9.1K 
[ ]moebius2__t8_moebius2.vout2021-07-25 15:32 8.6K 
[ ]moebius2__t9_moebius22021-07-18 04:12 87K 
[ ]moebius2__t9_moebius2.vout2021-07-25 19:46 8.4K 
[ ]moebius2__t10_moebius22021-07-18 04:12 37K 
[ ]moebius2__t10_moebius2.depv12021-07-25 20:57 133  
[ ]moebius2__t10_moebius2.depvmin12021-07-25 21:03 133  
[ ]moebius2__t10_moebius2.vmin12021-07-25 20:57 801  
[ ]moebius2__t10_moebius2.vmin1out2021-07-25 20:59 6.7K 
[ ]moebius2__t10_moebius2.vout2021-07-25 18:11 7.9K 
[ ]moebius2__t11_moebius22021-07-18 04:13 167K 
[ ]moebius2__t11_moebius2.vout2021-07-25 18:29 8.4K 
[ ]moebius2__t12_moebius22021-07-18 04:13 38K 
[ ]moebius2__t12_moebius2.depv12021-07-25 20:57 106  
[ ]moebius2__t12_moebius2.depvmin12021-07-25 21:03 106  
[ ]moebius2__t12_moebius2.vmin12021-07-25 20:57 651  
[ ]moebius2__t12_moebius2.vmin1out2021-07-25 20:58 5.5K 
[ ]moebius2__t12_moebius2.vout2021-07-25 18:43 6.2K 
[ ]moebius2__t13_moebius22021-07-18 04:14 162K 
[ ]moebius2__t13_moebius2.vout2021-07-25 17:22 8.4K 
[ ]moebius2__t14_moebius22021-07-18 04:15 309K 
[ ]moebius2__t14_moebius2.vout2021-07-25 15:59 7.9K 
[ ]moebius2__t15_moebius22021-07-18 04:15 38K 
[ ]moebius2__t15_moebius2.depv12021-07-25 20:57 98  
[ ]moebius2__t15_moebius2.depvmin12021-07-25 21:03 106  
[ ]moebius2__t15_moebius2.vmin12021-07-25 20:57 716  
[ ]moebius2__t15_moebius2.vmin1out2021-07-25 20:58 5.8K 
[ ]moebius2__t15_moebius2.vout2021-07-25 15:59 6.6K 
[ ]moebius2__t16_moebius22021-07-18 04:16 536K 
[ ]moebius2__t16_moebius2.vout2021-07-25 15:34 7.9K 
[ ]moebius2__t17_moebius22021-07-18 04:16 37K 
[ ]moebius2__t17_moebius2.depv12021-07-25 20:57 99  
[ ]moebius2__t17_moebius2.depvmin12021-07-25 21:03 99  
[ ]moebius2__t17_moebius2.vmin12021-07-25 20:57 788  
[ ]moebius2__t17_moebius2.vmin1out2021-07-25 21:01 5.7K 
[ ]moebius2__t17_moebius2.vout2021-07-25 16:08 6.8K 
[ ]moebius2__t18_moebius22021-07-18 04:17 615K 
[ ]moebius2__t18_moebius2.vout2021-07-25 14:58 7.9K 
[ ]moebius2__t19_moebius22021-07-18 04:18 38K 
[ ]moebius2__t19_moebius2.depv12021-07-25 20:57 111  
[ ]moebius2__t19_moebius2.depvmin12021-07-25 21:03 111  
[ ]moebius2__t19_moebius2.vmin12021-07-25 20:57 1.0K 
[ ]moebius2__t19_moebius2.vmin1out2021-07-25 21:02 7.7K 
[ ]moebius2__t19_moebius2.vout2021-07-25 18:27 8.5K 
[ ]moebius2__t20_moebius22021-07-18 04:18 35K 
[ ]moebius2__t20_moebius2.depv12021-07-25 20:57 63  
[ ]moebius2__t20_moebius2.depvmin12021-07-25 21:03 63  
[ ]moebius2__t20_moebius2.vmin12021-07-25 20:57 554  
[ ]moebius2__t20_moebius2.vmin1out2021-07-25 21:02 6.5K 
[ ]moebius2__t20_moebius2.vout2021-07-25 17:56 8.9K 
[ ]moebius2__t21_moebius22021-07-18 04:19 40K 
[ ]moebius2__t21_moebius2.depv12021-07-25 20:57 228  
[ ]moebius2__t21_moebius2.depvmin12021-07-25 21:03 228  
[ ]moebius2__t21_moebius2.vmin12021-07-25 20:57 1.9K 
[ ]moebius2__t21_moebius2.vmin1out2021-07-25 21:00 29K 
[ ]moebius2__t21_moebius2.vout2021-07-25 20:10 26K 
[ ]moebius2__t22_moebius22021-07-18 04:19 51K 
[ ]moebius2__t22_moebius2.depv12021-07-25 20:57 171  
[ ]moebius2__t22_moebius2.depvmin12021-07-25 21:03 171  
[ ]moebius2__t22_moebius2.vmin12021-07-25 20:57 1.6K 
[ ]moebius2__t22_moebius2.vmin1out2021-07-25 21:02 22K 
[ ]moebius2__t22_moebius2.vout2021-07-25 16:56 25K 
[ ]moebius2__t23_moebius22021-07-18 04:20 67K 
[ ]moebius2__t23_moebius2.vout2021-07-25 17:49 6.3K 
[ ]moebius2__t24_moebius22021-07-18 04:04 48K 
[ ]moebius2__t24_moebius2.depv12021-07-25 20:57 116  
[ ]moebius2__t24_moebius2.depvmin12021-07-25 21:03 92  
[ ]moebius2__t24_moebius2.vmin12021-07-25 20:57 1.2K 
[ ]moebius2__t24_moebius2.vmin1out2021-07-25 21:00 6.8K 
[ ]moebius2__t24_moebius2.vout2021-07-25 16:14 7.3K 
[ ]moebius2__t25_moebius22021-07-18 04:20 80K 
[ ]moebius2__t25_moebius2.vout2021-07-25 20:39 6.9K 
[ ]moebius2__t26_moebius22021-07-18 04:21 64K 
[ ]moebius2__t26_moebius2.vout2021-07-25 15:05 7.3K 
[ ]moebius2__t27_moebius22021-07-18 04:22 42K 
[ ]moebius2__t27_moebius2.depv12021-07-25 20:57 146  
[ ]moebius2__t27_moebius2.depvmin12021-07-25 21:03 146  
[ ]moebius2__t27_moebius2.vmin12021-07-25 20:57 1.2K 
[ ]moebius2__t27_moebius2.vmin1out2021-07-25 21:01 21K 
[ ]moebius2__t27_moebius2.vout2021-07-25 17:58 23K 
[ ]moebius2__t28_moebius22021-07-18 04:04 39K 
[ ]moebius2__t28_moebius2.depv12021-07-25 20:57 103  
[ ]moebius2__t28_moebius2.depvmin12021-07-25 21:03 103  
[ ]moebius2__t28_moebius2.vmin12021-07-25 20:57 818  
[ ]moebius2__t28_moebius2.vmin1out2021-07-25 21:01 13K 
[ ]moebius2__t28_moebius2.vout2021-07-25 19:37 13K 
[ ]moebius2__t29_moebius22021-07-18 04:22 46K 
[ ]moebius2__t29_moebius2.depv12021-07-25 20:57 312  
[ ]moebius2__t29_moebius2.depvmin12021-07-25 21:03 287  
[ ]moebius2__t29_moebius2.vmin12021-07-25 20:57 2.8K 
[ ]moebius2__t29_moebius2.vmin1out2021-07-25 20:58 42K 
[ ]moebius2__t29_moebius2.vout2021-07-25 15:55 32K 
[ ]moebius2__t30_moebius22021-07-18 04:23 45K 
[ ]moebius2__t30_moebius2.depv12021-07-25 20:57 169  
[ ]moebius2__t30_moebius2.depvmin12021-07-25 21:03 169  
[ ]moebius2__t30_moebius2.vmin12021-07-25 20:57 1.2K 
[ ]moebius2__t30_moebius2.vmin1out2021-07-25 21:01 15K 
[ ]moebius2__t30_moebius2.vout2021-07-25 17:55 15K 
[ ]moebius2__t31_moebius22021-07-18 04:23 42K 
[ ]moebius2__t31_moebius2.depv12021-07-25 20:57 118  
[ ]moebius2__t31_moebius2.depvmin12021-07-25 21:03 118  
[ ]moebius2__t31_moebius2.vmin12021-07-25 20:57 936  
[ ]moebius2__t31_moebius2.vmin1out2021-07-25 20:59 12K 
[ ]moebius2__t31_moebius2.vout2021-07-25 20:37 11K 
[ ]moebius2__t32_moebius22021-07-18 04:24 74K 
[ ]moebius2__t32_moebius2.vout2021-07-25 15:05 7.4K 
[ ]moebius2__t33_moebius22021-07-18 04:25 65K 
[ ]moebius2__t33_moebius2.depv12021-07-25 20:57 270  
[ ]moebius2__t33_moebius2.depvmin12021-07-25 21:03 194  
[ ]moebius2__t33_moebius2.vmin12021-07-25 20:57 3.0K 
[ ]moebius2__t33_moebius2.vmin1out2021-07-25 21:00 46K 
[ ]moebius2__t33_moebius2.vout2021-07-25 20:55 38K 
[ ]moebius2__t34_moebius22021-07-18 04:25 49K 
[ ]moebius2__t34_moebius2.vout2021-07-25 15:46 7.3K 
[ ]moebius2__t35_moebius22021-07-18 04:26 42K 
[ ]moebius2__t35_moebius2.depv12021-07-25 20:57 162  
[ ]moebius2__t35_moebius2.depvmin12021-07-25 21:03 162  
[ ]moebius2__t35_moebius2.vmin12021-07-25 20:57 1.9K 
[ ]moebius2__t35_moebius2.vmin1out2021-07-25 20:59 18K 
[ ]moebius2__t35_moebius2.vout2021-07-25 19:18 25K 
[ ]moebius2__t36_moebius22021-07-18 04:26 48K 
[ ]moebius2__t36_moebius2.vout2021-07-25 15:47 7.3K 
[ ]moebius2__t37_moebius22021-07-18 04:27 45K 
[ ]moebius2__t37_moebius2.vout2021-07-25 20:16 4.7K 
[ ]moebius2__t38_moebius22021-07-18 04:27 55K 
[ ]moebius2__t38_moebius2.vout2021-07-25 19:34 7.3K 
[ ]moebius2__t39_moebius22021-07-18 04:28 41K 
[ ]moebius2__t39_moebius2.depv12021-07-25 20:57 160  
[ ]moebius2__t39_moebius2.depvmin12021-07-25 21:03 160  
[ ]moebius2__t39_moebius2.vmin12021-07-25 20:57 1.1K 
[ ]moebius2__t39_moebius2.vmin1out2021-07-25 21:01 9.8K 
[ ]moebius2__t39_moebius2.vout2021-07-25 17:56 15K 
[ ]moebius2__t40_moebius22021-07-18 04:28 38K 
[ ]moebius2__t40_moebius2.vout2021-07-25 17:46 7.3K 
[ ]moebius2__t41_moebius22021-07-18 04:29 47K 
[ ]moebius2__t41_moebius2.vout2021-07-25 15:46 7.4K 
[ ]moebius2__t42_moebius22021-07-18 04:29 43K 
[ ]moebius2__t42_moebius2.depv12021-07-25 20:57 122  
[ ]moebius2__t42_moebius2.depvmin12021-07-25 21:03 122  
[ ]moebius2__t42_moebius2.vmin12021-07-25 20:57 2.2K 
[ ]moebius2__t42_moebius2.vmin1out2021-07-25 21:01 33K 
[ ]moebius2__t42_moebius2.vout2021-07-25 17:58 24K 
[ ]moebius2__t43_moebius22021-07-18 04:30 43K 
[ ]moebius2__t43_moebius2.depv12021-07-25 20:57 145  
[ ]moebius2__t43_moebius2.depvmin12021-07-25 21:03 145  
[ ]moebius2__t43_moebius2.vmin12021-07-25 20:57 2.4K 
[ ]moebius2__t43_moebius2.vmin1out2021-07-25 20:59 37K 
[ ]moebius2__t43_moebius2.vout2021-07-25 19:52 25K 
[ ]moebius2__t44_moebius22021-07-18 04:31 74K 
[ ]moebius2__t44_moebius2.vout2021-07-25 17:38 4.7K 
[ ]moebius2__t45_moebius22021-07-18 04:32 112K 
[ ]moebius2__t45_moebius2.vout2021-07-25 19:17 6.8K 
[ ]moebius2__t46_moebius22021-07-18 04:32 56K 
[ ]moebius2__t46_moebius2.vout2021-07-25 16:21 7.3K 
[ ]moebius2__t47_moebius22021-07-18 04:33 70K 
[ ]moebius2__t47_moebius2.vout2021-07-25 19:07 7.3K 
[ ]moebius2__t48_moebius22021-07-18 04:34 45K 
[ ]moebius2__t48_moebius2.depv12021-07-25 20:57 114  
[ ]moebius2__t48_moebius2.depvmin12021-07-25 21:03 114  
[ ]moebius2__t48_moebius2.vmin12021-07-25 20:57 1.6K 
[ ]moebius2__t48_moebius2.vmin1out2021-07-25 20:58 18K 
[ ]moebius2__t48_moebius2.vout2021-07-25 17:18 24K 
[ ]moebius2__t49_moebius22021-07-18 04:34 52K 
[ ]moebius2__t49_moebius2.vout2021-07-25 19:17 4.7K 
[ ]moebius2__t50_moebius22021-07-18 04:35 45K 
[ ]moebius2__t50_moebius2.depv12021-07-25 20:57 159  
[ ]moebius2__t50_moebius2.depvmin12021-07-25 21:03 159  
[ ]moebius2__t50_moebius2.vmin12021-07-25 20:57 2.3K 
[ ]moebius2__t50_moebius2.vmin1out2021-07-25 20:59 34K 
[ ]moebius2__t50_moebius2.vout2021-07-25 16:43 35K 
[ ]moebius2__t51_moebius22021-07-18 04:35 45K 
[ ]moebius2__t51_moebius2.depv12021-07-25 20:57 145  
[ ]moebius2__t51_moebius2.depvmin12021-07-25 21:03 145  
[ ]moebius2__t51_moebius2.vmin12021-07-25 20:57 2.4K 
[ ]moebius2__t51_moebius2.vmin1out2021-07-25 21:00 37K 
[ ]moebius2__t51_moebius2.vout2021-07-25 16:03 31K 
[ ]moebius2__t52_moebius22021-07-18 04:36 75K 
[ ]moebius2__t52_moebius2.vout2021-07-25 16:15 4.7K 
[ ]moebius2__t53_moebius22021-07-18 04:37 112K 
[ ]moebius2__t53_moebius2.vout2021-07-25 20:16 6.8K 
[ ]moebius2__t54_moebius22021-07-18 04:37 43K 
[ ]moebius2__t54_moebius2.depv12021-07-25 20:57 94  
[ ]moebius2__t54_moebius2.depvmin12021-07-25 21:03 94  
[ ]moebius2__t54_moebius2.vmin12021-07-25 20:57 862  
[ ]moebius2__t54_moebius2.vmin1out2021-07-25 20:57 9.8K 
[ ]moebius2__t54_moebius2.vout2021-07-25 20:30 11K 
[ ]moebius2__t55_moebius22021-07-18 04:38 41K 
[ ]moebius2__t55_moebius2.vout2021-07-25 18:34 7.3K 
[ ]moebius2__t56_moebius22021-07-18 04:39 49K 
[ ]moebius2__t56_moebius2.vout2021-07-25 18:27 7.3K 
[ ]moebius2__t57_moebius22021-07-18 04:39 51K 
[ ]moebius2__t57_moebius2.vout2021-07-25 14:30 6.8K 
[ ]moebius2__t58_moebius22021-07-18 04:05 35K 
[ ]moebius2__t58_moebius2.depv12021-07-25 20:57 411  
[ ]moebius2__t58_moebius2.depvmin12021-07-25 21:03 350  
[ ]moebius2__t58_moebius2.vmin12021-07-25 20:57 3.1K 
[ ]moebius2__t58_moebius2.vmin1out2021-07-25 21:01 24K 
[ ]moebius2__t58_moebius2.vout2021-07-25 18:20 31K 
[ ]moebius2__t59_moebius22021-07-18 04:40 44K 
[ ]moebius2__t59_moebius2.depv12021-07-25 20:57 428  
[ ]moebius2__t59_moebius2.depvmin12021-07-25 21:03 349  
[ ]moebius2__t59_moebius2.vmin12021-07-25 20:57 3.6K 
[ ]moebius2__t59_moebius2.vmin1out2021-07-25 21:02 35K 
[ ]moebius2__t59_moebius2.vout2021-07-25 20:01 38K 
[ ]moebius2__t60_moebius22021-07-18 04:40 44K 
[ ]moebius2__t60_moebius2.vout2021-07-25 20:41 7.3K 
[ ]moebius2__t61_moebius22021-07-18 04:41 54K 
[ ]moebius2__t61_moebius2.vout2021-07-25 20:53 9.0K 
[ ]moebius2__t62_moebius22021-07-18 04:41 54K 
[ ]moebius2__t62_moebius2.vout2021-07-25 16:37 8.5K 
[ ]moebius2__t63_moebius22021-07-18 04:42 67K 
[ ]moebius2__t63_moebius2.vout2021-07-25 16:09 7.4K 
[ ]moebius2__t64_moebius22021-07-18 04:43 72K 
[ ]moebius2__t64_moebius2.vout2021-07-25 19:27 4.7K 
[ ]moebius2__t65_moebius22021-07-18 04:44 96K 
[ ]moebius2__t65_moebius2.vout2021-07-25 20:55 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80