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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rmod_3__l6_rmod_32021-07-18 06:22 17K 
[ ]rmod_3__l6_rmod_3.vout2021-07-25 16:47 4.2K 
[ ]rmod_3__l7_rmod_32021-07-18 06:22 18K 
[ ]rmod_3__l7_rmod_3.vout2021-07-25 19:37 4.2K 
[ ]rmod_3__l8_rmod_32021-07-18 06:22 21K 
[ ]rmod_3__l8_rmod_3.vout2021-07-25 16:01 3.6K 
[ ]rmod_3__l15_rmod_32021-07-18 06:23 18K 
[ ]rmod_3__l15_rmod_3.vout2021-07-25 15:48 7.3K 
[ ]rmod_3__l16_rmod_32021-07-18 06:23 17K 
[ ]rmod_3__l16_rmod_3.vout2021-07-25 16:20 7.3K 
[ ]rmod_3__l23_rmod_32021-07-18 06:23 15K 
[ ]rmod_3__l23_rmod_3.depv12021-07-25 20:57 47  
[ ]rmod_3__l23_rmod_3.depvmin12021-07-25 21:03 47  
[ ]rmod_3__l23_rmod_3.vmin12021-07-25 20:57 1.8K 
[ ]rmod_3__l23_rmod_3.vmin1out2021-07-25 21:00 45K 
[ ]rmod_3__l23_rmod_3.vout2021-07-25 17:24 46K 
[ ]rmod_3__l32_rmod_32021-07-18 06:23 16K 
[ ]rmod_3__l32_rmod_3.depv12021-07-25 20:57 104  
[ ]rmod_3__l32_rmod_3.depvmin12021-07-25 21:03 42  
[ ]rmod_3__l32_rmod_3.vmin12021-07-25 20:57 2.2K 
[ ]rmod_3__l32_rmod_3.vmin1out2021-07-25 20:58 26K 
[ ]rmod_3__l32_rmod_3.vout2021-07-25 18:04 21K 
[ ]rmod_3__l34_rmod_32021-07-18 06:24 20K 
[ ]rmod_3__l34_rmod_3.vout2021-07-25 19:56 3.6K 
[ ]rmod_3__l36_rmod_32021-07-18 06:24 21K 
[ ]rmod_3__l36_rmod_3.vout2021-07-25 15:51 4.2K 
[ ]rmod_3__l38_rmod_32021-07-18 06:24 20K 
[ ]rmod_3__l38_rmod_3.vout2021-07-25 17:31 4.7K 
[ ]rmod_3__l40_rmod_32021-07-18 06:25 24K 
[ ]rmod_3__l40_rmod_3.vout2021-07-25 15:54 4.2K 
[ ]rmod_3__l42_rmod_32021-07-18 06:25 20K 
[ ]rmod_3__l42_rmod_3.vout2021-07-25 20:52 4.2K 
[ ]rmod_3__l44_rmod_32021-07-18 06:25 23K 
[ ]rmod_3__l44_rmod_3.vout2021-07-25 18:27 4.2K 
[ ]rmod_3__l55_rmod_32021-07-18 06:26 18K 
[ ]rmod_3__l55_rmod_3.vout2021-07-25 19:56 4.7K 
[ ]rmod_3__l56_rmod_32021-07-18 06:26 9.9K 
[ ]rmod_3__l56_rmod_3.depv12021-07-25 20:57 212  
[ ]rmod_3__l56_rmod_3.depvmin12021-07-25 21:03 212  
[ ]rmod_3__l56_rmod_3.vmin12021-07-25 20:57 3.3K 
[ ]rmod_3__l56_rmod_3.vmin1out2021-07-25 20:59 42K 
[ ]rmod_3__l56_rmod_3.vout2021-07-25 18:50 44K 
[ ]rmod_3__t1_rmod_32021-07-18 06:10 17K 
[ ]rmod_3__t1_rmod_3.vout2021-07-25 17:24 7.3K 
[ ]rmod_3__t2_rmod_32021-07-18 06:10 17K 
[ ]rmod_3__t2_rmod_3.depv12021-07-25 20:57 169  
[ ]rmod_3__t2_rmod_3.depvmin12021-07-25 21:03 169  
[ ]rmod_3__t2_rmod_3.vmin12021-07-25 20:57 2.8K 
[ ]rmod_3__t2_rmod_3.vmin1out2021-07-25 20:58 67K 
[ ]rmod_3__t2_rmod_3.vout2021-07-25 16:26 44K 
[ ]rmod_3__t3_rmod_32021-07-18 06:10 16K 
[ ]rmod_3__t3_rmod_3.depv12021-07-25 20:57 130  
[ ]rmod_3__t3_rmod_3.depvmin12021-07-25 21:03 130  
[ ]rmod_3__t3_rmod_3.vmin12021-07-25 20:57 3.0K 
[ ]rmod_3__t3_rmod_3.vmin1out2021-07-25 21:00 87K 
[ ]rmod_3__t3_rmod_3.vout2021-07-25 18:22 67K 
[ ]rmod_3__t4_rmod_32021-07-18 06:06 15K 
[ ]rmod_3__t4_rmod_3.depv12021-07-25 20:57 42  
[ ]rmod_3__t4_rmod_3.depvmin12021-07-25 21:03 42  
[ ]rmod_3__t4_rmod_3.vmin12021-07-25 20:57 1.1K 
[ ]rmod_3__t4_rmod_3.vmin1out2021-07-25 21:02 15K 
[ ]rmod_3__t4_rmod_3.vout2021-07-25 16:19 23K 
[ ]rmod_3__t5_rmod_32021-07-18 06:06 15K 
[ ]rmod_3__t5_rmod_3.depv12021-07-25 20:57 20  
[ ]rmod_3__t5_rmod_3.depvmin12021-07-25 21:03 20  
[ ]rmod_3__t5_rmod_3.vmin12021-07-25 20:57 1.0K 
[ ]rmod_3__t5_rmod_3.vmin1out2021-07-25 20:58 14K 
[ ]rmod_3__t5_rmod_3.vout2021-07-25 18:31 22K 
[ ]rmod_3__t6_rmod_32021-07-18 06:11 18K 
[ ]rmod_3__t6_rmod_3.vout2021-07-25 18:08 4.2K 
[ ]rmod_3__t7_rmod_32021-07-18 06:11 16K 
[ ]rmod_3__t7_rmod_3.depv12021-07-25 20:57 54  
[ ]rmod_3__t7_rmod_3.depvmin12021-07-25 21:03 54  
[ ]rmod_3__t7_rmod_3.vmin12021-07-25 20:57 2.7K 
[ ]rmod_3__t7_rmod_3.vmin1out2021-07-25 21:02 47K 
[ ]rmod_3__t7_rmod_3.vout2021-07-25 15:58 73K 
[ ]rmod_3__t8_rmod_32021-07-18 06:11 18K 
[ ]rmod_3__t8_rmod_3.depv12021-07-25 20:57 53  
[ ]rmod_3__t8_rmod_3.depvmin12021-07-25 21:03 53  
[ ]rmod_3__t8_rmod_3.vmin12021-07-25 20:57 3.1K 
[ ]rmod_3__t8_rmod_3.vmin1out2021-07-25 20:58 56K 
[ ]rmod_3__t8_rmod_3.vout2021-07-25 16:52 147K 
[ ]rmod_3__t9_rmod_32021-07-18 06:12 18K 
[ ]rmod_3__t9_rmod_3.depv12021-07-25 20:57 77  
[ ]rmod_3__t9_rmod_3.depvmin12021-07-25 21:03 77  
[ ]rmod_3__t9_rmod_3.vmin12021-07-25 20:57 4.0K 
[ ]rmod_3__t9_rmod_3.vmin1out2021-07-25 21:01 75K 
[ ]rmod_3__t9_rmod_3.vout2021-07-25 18:44 206K 
[ ]rmod_3__t10_rmod_32021-07-18 06:06 16K 
[ ]rmod_3__t10_rmod_3.depv12021-07-25 20:57 114  
[ ]rmod_3__t10_rmod_3.depvmin12021-07-25 21:03 114  
[ ]rmod_3__t10_rmod_3.vmin12021-07-25 20:57 2.5K 
[ ]rmod_3__t10_rmod_3.vmin1out2021-07-25 21:00 37K 
[ ]rmod_3__t10_rmod_3.vout2021-07-25 15:28 66K 
[ ]rmod_3__t11_rmod_32021-07-18 06:12 20K 
[ ]rmod_3__t11_rmod_3.depv12021-07-25 20:57 88  
[ ]rmod_3__t11_rmod_3.depvmin12021-07-25 21:03 88  
[ ]rmod_3__t11_rmod_3.vmin12021-07-25 20:57 4.6K 
[ ]rmod_3__t11_rmod_3.vmin1out2021-07-25 21:02 93K 
[ ]rmod_3__t11_rmod_3.vout2021-07-25 19:44 228K 
[ ]rmod_3__t12_rmod_32021-07-18 06:06 16K 
[ ]rmod_3__t12_rmod_3.depv12021-07-25 20:57 115  
[ ]rmod_3__t12_rmod_3.depvmin12021-07-25 21:03 115  
[ ]rmod_3__t12_rmod_3.vmin12021-07-25 20:57 2.6K 
[ ]rmod_3__t12_rmod_3.vmin1out2021-07-25 20:58 32K 
[ ]rmod_3__t12_rmod_3.vout2021-07-25 15:11 45K 
[ ]rmod_3__t13_rmod_32021-07-18 06:12 15K 
[ ]rmod_3__t13_rmod_3.depv12021-07-25 20:57 45  
[ ]rmod_3__t13_rmod_3.depvmin12021-07-25 21:03 45  
[ ]rmod_3__t13_rmod_3.vmin12021-07-25 20:57 1.2K 
[ ]rmod_3__t13_rmod_3.vmin1out2021-07-25 21:00 26K 
[ ]rmod_3__t13_rmod_3.vout2021-07-25 15:58 9.9K 
[ ]rmod_3__t14_rmod_32021-07-18 06:12 15K 
[ ]rmod_3__t14_rmod_3.depv12021-07-25 20:57 60  
[ ]rmod_3__t14_rmod_3.depvmin12021-07-25 21:03 60  
[ ]rmod_3__t14_rmod_3.vmin12021-07-25 20:57 1.8K 
[ ]rmod_3__t14_rmod_3.vmin1out2021-07-25 20:58 57K 
[ ]rmod_3__t14_rmod_3.vout2021-07-25 19:20 15K 
[ ]rmod_3__t15_rmod_32021-07-18 06:13 15K 
[ ]rmod_3__t15_rmod_3.vout2021-07-25 20:23 4.7K 
[ ]rmod_3__t16_rmod_32021-07-18 06:13 16K 
[ ]rmod_3__t16_rmod_3.depv12021-07-25 20:57 57  
[ ]rmod_3__t16_rmod_3.depvmin12021-07-25 21:03 57  
[ ]rmod_3__t16_rmod_3.vmin12021-07-25 20:57 2.7K 
[ ]rmod_3__t16_rmod_3.vmin1out2021-07-25 21:02 47K 
[ ]rmod_3__t16_rmod_3.vout2021-07-25 14:26 72K 
[ ]rmod_3__t17_rmod_32021-07-18 06:13 19K 
[ ]rmod_3__t17_rmod_3.depv12021-07-25 20:57 68  
[ ]rmod_3__t17_rmod_3.depvmin12021-07-25 21:03 68  
[ ]rmod_3__t17_rmod_3.vmin12021-07-25 20:57 3.3K 
[ ]rmod_3__t17_rmod_3.vmin1out2021-07-25 21:00 157K 
[ ]rmod_3__t17_rmod_3.vout2021-07-25 19:35 57K 
[ ]rmod_3__t18_rmod_32021-07-18 06:14 18K 
[ ]rmod_3__t18_rmod_3.depv12021-07-25 20:57 81  
[ ]rmod_3__t18_rmod_3.depvmin12021-07-25 21:03 81  
[ ]rmod_3__t18_rmod_3.vmin12021-07-25 20:57 3.8K 
[ ]rmod_3__t18_rmod_3.vmin1out2021-07-25 21:01 191K 
[ ]rmod_3__t18_rmod_3.vout2021-07-25 17:01 61K 
[ ]rmod_3__t19_rmod_32021-07-18 06:14 16K 
[ ]rmod_3__t19_rmod_3.depv12021-07-25 20:57 46  
[ ]rmod_3__t19_rmod_3.depvmin12021-07-25 21:03 46  
[ ]rmod_3__t19_rmod_3.vmin12021-07-25 20:57 2.5K 
[ ]rmod_3__t19_rmod_3.vmin1out2021-07-25 20:59 103K 
[ ]rmod_3__t19_rmod_3.vout2021-07-25 16:20 171K 
[ ]rmod_3__t20_rmod_32021-07-18 06:14 16K 
[ ]rmod_3__t20_rmod_3.depv12021-07-25 20:57 55  
[ ]rmod_3__t20_rmod_3.depvmin12021-07-25 21:03 55  
[ ]rmod_3__t20_rmod_3.vmin12021-07-25 20:57 2.8K 
[ ]rmod_3__t20_rmod_3.vmin1out2021-07-25 21:02 113K 
[ ]rmod_3__t20_rmod_3.vout2021-07-25 17:55 72K 
[ ]rmod_3__t21_rmod_32021-07-18 06:15 19K 
[ ]rmod_3__t21_rmod_3.depv12021-07-25 20:57 242  
[ ]rmod_3__t21_rmod_3.depvmin12021-07-25 21:03 242  
[ ]rmod_3__t21_rmod_3.vmin12021-07-25 20:57 4.9K 
[ ]rmod_3__t21_rmod_3.vmin1out2021-07-25 21:02 97K 
[ ]rmod_3__t21_rmod_3.vout2021-07-25 15:09 53K 
[ ]rmod_3__t22_rmod_32021-07-18 06:15 19K 
[ ]rmod_3__t22_rmod_3.vout2021-07-25 17:41 7.3K 
[ ]rmod_3__t23_rmod_32021-07-18 06:07 16K 
[ ]rmod_3__t23_rmod_3.depv12021-07-25 20:57 115  
[ ]rmod_3__t23_rmod_3.depvmin12021-07-25 21:03 115  
[ ]rmod_3__t23_rmod_3.vmin12021-07-25 20:57 2.4K 
[ ]rmod_3__t23_rmod_3.vmin1out2021-07-25 20:57 31K 
[ ]rmod_3__t23_rmod_3.vout2021-07-25 16:46 49K 
[ ]rmod_3__t24_rmod_32021-07-18 06:07 16K 
[ ]rmod_3__t24_rmod_3.depv12021-07-25 20:57 59  
[ ]rmod_3__t24_rmod_3.depvmin12021-07-25 21:03 59  
[ ]rmod_3__t24_rmod_3.vmin12021-07-25 20:57 2.7K 
[ ]rmod_3__t24_rmod_3.vmin1out2021-07-25 21:02 46K 
[ ]rmod_3__t24_rmod_3.vout2021-07-25 20:11 55K 
[ ]rmod_3__t25_rmod_32021-07-18 06:07 16K 
[ ]rmod_3__t25_rmod_3.depv12021-07-25 20:57 59  
[ ]rmod_3__t25_rmod_3.depvmin12021-07-25 21:03 59  
[ ]rmod_3__t25_rmod_3.vmin12021-07-25 20:57 2.7K 
[ ]rmod_3__t25_rmod_3.vmin1out2021-07-25 20:58 17K 
[ ]rmod_3__t25_rmod_3.vout2021-07-25 14:32 50K 
[ ]rmod_3__t26_rmod_32021-07-18 06:08 16K 
[ ]rmod_3__t26_rmod_3.depv12021-07-25 20:57 59  
[ ]rmod_3__t26_rmod_3.depvmin12021-07-25 21:03 59  
[ ]rmod_3__t26_rmod_3.vmin12021-07-25 20:57 2.7K 
[ ]rmod_3__t26_rmod_3.vmin1out2021-07-25 21:00 17K 
[ ]rmod_3__t26_rmod_3.vout2021-07-25 17:59 32K 
[ ]rmod_3__t27_rmod_32021-07-18 06:08 16K 
[ ]rmod_3__t27_rmod_3.depv12021-07-25 20:57 59  
[ ]rmod_3__t27_rmod_3.depvmin12021-07-25 21:03 59  
[ ]rmod_3__t27_rmod_3.vmin12021-07-25 20:57 2.9K 
[ ]rmod_3__t27_rmod_3.vmin1out2021-07-25 20:58 69K 
[ ]rmod_3__t27_rmod_3.vout2021-07-25 17:14 27K 
[ ]rmod_3__t28_rmod_32021-07-18 06:08 16K 
[ ]rmod_3__t28_rmod_3.vout2021-07-25 18:17 7.3K 
[ ]rmod_3__t29_rmod_32021-07-18 06:08 16K 
[ ]rmod_3__t29_rmod_3.depv12021-07-25 20:57 59  
[ ]rmod_3__t29_rmod_3.depvmin12021-07-25 21:03 59  
[ ]rmod_3__t29_rmod_3.vmin12021-07-25 20:57 2.9K 
[ ]rmod_3__t29_rmod_3.vmin1out2021-07-25 20:58 69K 
[ ]rmod_3__t29_rmod_3.vout2021-07-25 15:52 27K 
[ ]rmod_3__t30_rmod_32021-07-18 06:09 16K 
[ ]rmod_3__t30_rmod_3.vout2021-07-25 20:56 7.3K 
[ ]rmod_3__t31_rmod_32021-07-18 06:15 17K 
[ ]rmod_3__t31_rmod_3.vout2021-07-25 19:43 7.3K 
[ ]rmod_3__t32_rmod_32021-07-18 06:15 16K 
[ ]rmod_3__t32_rmod_3.depv12021-07-25 20:57 32  
[ ]rmod_3__t32_rmod_3.depvmin12021-07-25 21:03 32  
[ ]rmod_3__t32_rmod_3.vmin12021-07-25 20:57 1.8K 
[ ]rmod_3__t32_rmod_3.vmin1out2021-07-25 20:57 42K 
[ ]rmod_3__t32_rmod_3.vout2021-07-25 17:40 63K 
[ ]rmod_3__t33_rmod_32021-07-18 06:16 17K 
[ ]rmod_3__t33_rmod_3.depv12021-07-25 20:57 86  
[ ]rmod_3__t33_rmod_3.depvmin12021-07-25 21:03 86  
[ ]rmod_3__t33_rmod_3.vmin12021-07-25 20:57 3.4K 
[ ]rmod_3__t33_rmod_3.vmin1out2021-07-25 21:01 74K 
[ ]rmod_3__t33_rmod_3.vout2021-07-25 15:13 49K 
[ ]rmod_3__t34_rmod_32021-07-18 06:16 16K 
[ ]rmod_3__t34_rmod_3.depv12021-07-25 20:57 58  
[ ]rmod_3__t34_rmod_3.depvmin12021-07-25 21:03 58  
[ ]rmod_3__t34_rmod_3.vmin12021-07-25 20:57 3.0K 
[ ]rmod_3__t34_rmod_3.vmin1out2021-07-25 21:02 107K 
[ ]rmod_3__t34_rmod_3.vout2021-07-25 17:36 66K 
[ ]rmod_3__t35_rmod_32021-07-18 06:16 18K 
[ ]rmod_3__t35_rmod_3.vout2021-07-25 18:27 4.7K 
[ ]rmod_3__t36_rmod_32021-07-18 06:17 18K 
[ ]rmod_3__t36_rmod_3.vout2021-07-25 16:44 7.3K 
[ ]rmod_3__t37_rmod_32021-07-18 06:17 16K 
[ ]rmod_3__t37_rmod_3.depv12021-07-25 20:57 137  
[ ]rmod_3__t37_rmod_3.depvmin12021-07-25 21:03 137  
[ ]rmod_3__t37_rmod_3.vmin12021-07-25 20:57 2.5K 
[ ]rmod_3__t37_rmod_3.vmin1out2021-07-25 21:00 20K 
[ ]rmod_3__t37_rmod_3.vout2021-07-25 16:24 31K 
[ ]rmod_3__t38_rmod_32021-07-18 06:09 17K 
[ ]rmod_3__t38_rmod_3.depv12021-07-25 20:57 42  
[ ]rmod_3__t38_rmod_3.depvmin12021-07-25 21:03 42  
[ ]rmod_3__t38_rmod_3.vmin12021-07-25 20:57 2.2K 
[ ]rmod_3__t38_rmod_3.vmin1out2021-07-25 20:58 49K 
[ ]rmod_3__t38_rmod_3.vout2021-07-25 17:19 68K 
[ ]rmod_3__t39_rmod_32021-07-18 06:09 18K 
[ ]rmod_3__t39_rmod_3.depv12021-07-25 20:57 148  
[ ]rmod_3__t39_rmod_3.depvmin12021-07-25 21:03 148  
[ ]rmod_3__t39_rmod_3.vmin12021-07-25 20:57 4.1K 
[ ]rmod_3__t39_rmod_3.vmin1out2021-07-25 21:01 102K 
[ ]rmod_3__t39_rmod_3.vout2021-07-25 17:36 121K 
[ ]rmod_3__t40_rmod_32021-07-18 06:17 23K 
[ ]rmod_3__t40_rmod_3.vout2021-07-25 18:58 3.6K 
[ ]rmod_3__t41_rmod_32021-07-18 06:18 35K 
[ ]rmod_3__t41_rmod_3.vout2021-07-25 14:25 3.6K 
[ ]rmod_3__t42_rmod_32021-07-18 06:09 16K 
[ ]rmod_3__t42_rmod_3.vout2021-07-25 18:04 4.7K 
[ ]rmod_3__t43_rmod_32021-07-18 06:18 26K 
[ ]rmod_3__t43_rmod_3.vout2021-07-25 18:52 7.3K 
[ ]rmod_3__t44_rmod_32021-07-18 06:19 27K 
[ ]rmod_3__t44_rmod_3.vout2021-07-25 18:13 6.8K 
[ ]rmod_3__t45_rmod_32021-07-18 06:19 21K 
[ ]rmod_3__t45_rmod_3.vout2021-07-25 19:01 4.7K 
[ ]rmod_3__t46_rmod_32021-07-18 06:19 21K 
[ ]rmod_3__t46_rmod_3.vout2021-07-25 14:59 4.7K 
[ ]rmod_3__t47_rmod_32021-07-18 06:20 30K 
[ ]rmod_3__t47_rmod_3.vout2021-07-25 19:23 4.7K 
[ ]rmod_3__t48_rmod_32021-07-18 06:20 25K 
[ ]rmod_3__t48_rmod_3.vout2021-07-25 15:47 5.3K 
[ ]rmod_3__t49_rmod_32021-07-18 06:20 27K 
[ ]rmod_3__t49_rmod_3.vout2021-07-25 15:09 4.7K 
[ ]rmod_3__t50_rmod_32021-07-18 06:21 17K 
[ ]rmod_3__t50_rmod_3.depv12021-07-25 20:57 46  
[ ]rmod_3__t50_rmod_3.depvmin12021-07-25 21:03 46  
[ ]rmod_3__t50_rmod_3.vmin12021-07-25 20:57 2.3K 
[ ]rmod_3__t50_rmod_3.vmin1out2021-07-25 21:00 35K 
[ ]rmod_3__t50_rmod_3.vout2021-07-25 18:02 58K 
[ ]rmod_3__t51_rmod_32021-07-18 06:21 27K 
[ ]rmod_3__t51_rmod_3.vout2021-07-25 16:11 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80