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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_1__t57_monoid_1.vout2021-07-25 15:32 4.1K 
[ ]monoid_1__t57_monoid_12021-07-18 08:47 34K 
[ ]monoid_1__t56_monoid_1.vout2021-07-25 18:52 32K 
[ ]monoid_1__t56_monoid_1.vmin1out2021-07-25 21:00 24K 
[ ]monoid_1__t56_monoid_1.vmin12021-07-25 20:57 3.1K 
[ ]monoid_1__t56_monoid_1.depvmin12021-07-25 21:03 225  
[ ]monoid_1__t56_monoid_1.depv12021-07-25 20:57 225  
[ ]monoid_1__t56_monoid_12021-07-18 08:46 35K 
[ ]monoid_1__t55_monoid_1.vout2021-07-25 17:08 4.1K 
[ ]monoid_1__t55_monoid_12021-07-18 08:46 36K 
[ ]monoid_1__t54_monoid_1.vout2021-07-25 14:52 6.8K 
[ ]monoid_1__t54_monoid_12021-07-18 08:46 42K 
[ ]monoid_1__t53_monoid_1.vout2021-07-25 18:39 31K 
[ ]monoid_1__t53_monoid_1.vmin1out2021-07-25 21:02 31K 
[ ]monoid_1__t53_monoid_1.vmin12021-07-25 20:57 1.9K 
[ ]monoid_1__t53_monoid_1.depvmin12021-07-25 21:03 88  
[ ]monoid_1__t53_monoid_1.depv12021-07-25 20:57 88  
[ ]monoid_1__t53_monoid_12021-07-18 08:45 30K 
[ ]monoid_1__t52_monoid_1.vout2021-07-25 19:40 6.8K 
[ ]monoid_1__t52_monoid_12021-07-18 08:45 40K 
[ ]monoid_1__t51_monoid_1.vout2021-07-25 17:25 6.8K 
[ ]monoid_1__t51_monoid_12021-07-18 08:44 41K 
[ ]monoid_1__t50_monoid_1.vout2021-07-25 18:28 2.0K 
[ ]monoid_1__t50_monoid_12021-07-18 08:44 35K 
[ ]monoid_1__t49_monoid_1.vout2021-07-25 14:53 2.0K 
[ ]monoid_1__t49_monoid_12021-07-18 08:44 35K 
[ ]monoid_1__t48_monoid_1.vout2021-07-25 14:37 7.3K 
[ ]monoid_1__t48_monoid_12021-07-18 08:43 38K 
[ ]monoid_1__t47_monoid_1.vout2021-07-25 17:05 7.3K 
[ ]monoid_1__t47_monoid_12021-07-18 08:43 38K 
[ ]monoid_1__t46_monoid_1.vout2021-07-25 14:27 6.8K 
[ ]monoid_1__t46_monoid_12021-07-18 08:47 38K 
[ ]monoid_1__t45_monoid_1.vout2021-07-25 15:16 6.8K 
[ ]monoid_1__t45_monoid_12021-07-18 08:42 37K 
[ ]monoid_1__t44_monoid_1.vout2021-07-25 15:19 7.3K 
[ ]monoid_1__t44_monoid_12021-07-18 08:42 36K 
[ ]monoid_1__t43_monoid_1.vout2021-07-25 19:31 7.3K 
[ ]monoid_1__t43_monoid_12021-07-18 08:41 78K 
[ ]monoid_1__t42_monoid_1.vout2021-07-25 16:53 7.4K 
[ ]monoid_1__t42_monoid_12021-07-18 08:41 74K 
[ ]monoid_1__t41_monoid_1.vout2021-07-25 20:49 4.7K 
[ ]monoid_1__t41_monoid_12021-07-18 08:40 58K 
[ ]monoid_1__t40_monoid_1.vout2021-07-25 14:25 7.3K 
[ ]monoid_1__t40_monoid_12021-07-18 08:39 73K 
[ ]monoid_1__t39_monoid_1.vout2021-07-25 18:43 7.3K 
[ ]monoid_1__t39_monoid_12021-07-18 08:39 78K 
[ ]monoid_1__t38_monoid_1.vout2021-07-25 20:14 4.7K 
[ ]monoid_1__t38_monoid_12021-07-18 08:38 65K 
[ ]monoid_1__t37_monoid_1.vout2021-07-25 15:05 8.4K 
[ ]monoid_1__t37_monoid_12021-07-18 08:37 56K 
[ ]monoid_1__t36_monoid_1.vout2021-07-25 15:12 7.4K 
[ ]monoid_1__t36_monoid_12021-07-18 08:37 50K 
[ ]monoid_1__t35_monoid_1.vout2021-07-25 20:34 7.9K 
[ ]monoid_1__t35_monoid_12021-07-18 08:36 43K 
[ ]monoid_1__t34_monoid_1.vout2021-07-25 20:38 7.9K 
[ ]monoid_1__t34_monoid_12021-07-18 08:36 49K 
[ ]monoid_1__t33_monoid_1.vout2021-07-25 14:25 7.3K 
[ ]monoid_1__t33_monoid_12021-07-18 08:35 55K 
[ ]monoid_1__t32_monoid_1.vout2021-07-25 15:50 4.7K 
[ ]monoid_1__t32_monoid_12021-07-18 08:35 42K 
[ ]monoid_1__t31_monoid_1.vout2021-07-25 15:09 4.7K 
[ ]monoid_1__t31_monoid_12021-07-18 08:34 45K 
[ ]monoid_1__t30_monoid_1.vout2021-07-25 17:44 8.4K 
[ ]monoid_1__t30_monoid_12021-07-18 08:34 57K 
[ ]monoid_1__t29_monoid_1.vout2021-07-25 16:57 4.7K 
[ ]monoid_1__t29_monoid_12021-07-18 08:33 47K 
[ ]monoid_1__t28_monoid_1.vout2021-07-25 14:24 18K 
[ ]monoid_1__t28_monoid_1.vmin1out2021-07-25 21:02 19K 
[ ]monoid_1__t28_monoid_1.vmin12021-07-25 20:57 1.9K 
[ ]monoid_1__t28_monoid_1.depvmin12021-07-25 21:03 184  
[ ]monoid_1__t28_monoid_1.depv12021-07-25 20:57 184  
[ ]monoid_1__t28_monoid_12021-07-18 08:33 46K 
[ ]monoid_1__t27_monoid_1.vout2021-07-25 18:19 7.3K 
[ ]monoid_1__t27_monoid_12021-07-18 08:32 53K 
[ ]monoid_1__t26_monoid_1.vout2021-07-25 14:43 6.8K 
[ ]monoid_1__t26_monoid_12021-07-18 08:31 48K 
[ ]monoid_1__t25_monoid_1.vout2021-07-25 18:16 6.8K 
[ ]monoid_1__t25_monoid_12021-07-18 08:31 43K 
[ ]monoid_1__t24_monoid_1.vout2021-07-25 18:16 7.3K 
[ ]monoid_1__t24_monoid_12021-07-18 08:31 36K 
[ ]monoid_1__t23_monoid_1.vout2021-07-25 17:49 4.1K 
[ ]monoid_1__t23_monoid_12021-07-18 08:30 38K 
[ ]monoid_1__t22_monoid_1.vout2021-07-25 18:09 27K 
[ ]monoid_1__t22_monoid_1.vmin1out2021-07-25 21:01 19K 
[ ]monoid_1__t22_monoid_1.vmin12021-07-25 20:57 2.4K 
[ ]monoid_1__t22_monoid_1.depvmin12021-07-25 21:03 182  
[ ]monoid_1__t22_monoid_1.depv12021-07-25 20:57 197  
[ ]monoid_1__t22_monoid_12021-07-18 08:30 38K 
[ ]monoid_1__t21_monoid_1.vout2021-07-25 19:34 4.1K 
[ ]monoid_1__t21_monoid_12021-07-18 08:29 44K 
[ ]monoid_1__t20_monoid_1.vout2021-07-25 19:44 24K 
[ ]monoid_1__t20_monoid_1.vmin1out2021-07-25 20:59 21K 
[ ]monoid_1__t20_monoid_1.vmin12021-07-25 20:57 1.5K 
[ ]monoid_1__t20_monoid_1.depvmin12021-07-25 21:03 93  
[ ]monoid_1__t20_monoid_1.depv12021-07-25 20:57 125  
[ ]monoid_1__t20_monoid_12021-07-18 08:29 32K 
[ ]monoid_1__t19_monoid_1.vout2021-07-25 16:20 7.4K 
[ ]monoid_1__t19_monoid_12021-07-18 08:28 41K 
[ ]monoid_1__t18_monoid_1.vout2021-07-25 18:29 6.8K 
[ ]monoid_1__t18_monoid_12021-07-18 08:28 41K 
[ ]monoid_1__t17_monoid_1.vout2021-07-25 16:37 4.1K 
[ ]monoid_1__t17_monoid_12021-07-18 08:27 39K 
[ ]monoid_1__t16_monoid_1.vout2021-07-25 16:05 6.8K 
[ ]monoid_1__t16_monoid_12021-07-18 08:27 44K 
[ ]monoid_1__t15_monoid_1.vout2021-07-25 20:18 4.1K 
[ ]monoid_1__t15_monoid_12021-07-18 08:27 38K 
[ ]monoid_1__t14_monoid_1.vout2021-07-25 15:23 4.1K 
[ ]monoid_1__t14_monoid_12021-07-18 08:26 42K 
[ ]monoid_1__t13_monoid_1.vout2021-07-25 16:17 4.1K 
[ ]monoid_1__t13_monoid_12021-07-18 08:26 38K 
[ ]monoid_1__t12_monoid_1.vout2021-07-25 16:48 6.8K 
[ ]monoid_1__t12_monoid_12021-07-18 08:25 44K 
[ ]monoid_1__t11_monoid_1.vout2021-07-25 18:34 4.1K 
[ ]monoid_1__t11_monoid_12021-07-18 08:25 36K 
[ ]monoid_1__t10_monoid_1.vout2021-07-25 17:44 42K 
[ ]monoid_1__t10_monoid_1.vmin1out2021-07-25 21:00 47K 
[ ]monoid_1__t10_monoid_1.vmin12021-07-25 20:57 2.9K 
[ ]monoid_1__t10_monoid_1.depvmin12021-07-25 21:03 191  
[ ]monoid_1__t10_monoid_1.depv12021-07-25 20:57 191  
[ ]monoid_1__t10_monoid_12021-07-18 08:24 33K 
[ ]monoid_1__t9_monoid_1.vout2021-07-25 16:34 4.1K 
[ ]monoid_1__t9_monoid_12021-07-18 08:24 44K 
[ ]monoid_1__t8_monoid_1.vout2021-07-25 14:26 4.1K 
[ ]monoid_1__t8_monoid_12021-07-18 08:24 37K 
[ ]monoid_1__t7_monoid_1.vout2021-07-25 19:39 4.1K 
[ ]monoid_1__t7_monoid_12021-07-18 08:23 37K 
[ ]monoid_1__t6_monoid_1.vout2021-07-25 17:56 4.1K 
[ ]monoid_1__t6_monoid_12021-07-18 08:23 37K 
[ ]monoid_1__t5_monoid_1.vout2021-07-25 15:27 4.1K 
[ ]monoid_1__t5_monoid_12021-07-18 08:22 42K 
[ ]monoid_1__t4_monoid_1.vout2021-07-25 16:54 4.1K 
[ ]monoid_1__t4_monoid_12021-07-18 08:22 41K 
[ ]monoid_1__t3_monoid_1.vout2021-07-25 18:24 4.1K 
[ ]monoid_1__t3_monoid_12021-07-18 08:22 41K 
[ ]monoid_1__t2_monoid_1.vout2021-07-25 16:59 7.3K 
[ ]monoid_1__t2_monoid_12021-07-18 08:21 43K 
[ ]monoid_1__t1_monoid_1.vout2021-07-25 20:11 7.3K 
[ ]monoid_1__t1_monoid_12021-07-18 08:21 41K 
[ ]monoid_1__l22_monoid_1.vout2021-07-25 15:37 16K 
[ ]monoid_1__l22_monoid_1.vmin1out2021-07-25 20:58 12K 
[ ]monoid_1__l22_monoid_1.vmin12021-07-25 20:57 1.4K 
[ ]monoid_1__l22_monoid_1.depvmin12021-07-25 21:03 130  
[ ]monoid_1__l22_monoid_1.depv12021-07-25 20:57 130  
[ ]monoid_1__l22_monoid_12021-07-18 08:48 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80