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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rmod_3__l6_rmod_32024-07-27 05:33 17K 
[ ]rmod_3__l6_rmod_3.vout2024-08-03 05:01 4.2K 
[ ]rmod_3__l7_rmod_32024-07-27 05:34 18K 
[ ]rmod_3__l7_rmod_3.vout2024-08-03 09:59 4.2K 
[ ]rmod_3__l8_rmod_32024-07-27 05:35 21K 
[ ]rmod_3__l8_rmod_3.vout2024-08-03 05:23 3.6K 
[ ]rmod_3__l15_rmod_32024-07-27 05:37 18K 
[ ]rmod_3__l15_rmod_3.vout2024-08-03 07:18 7.3K 
[ ]rmod_3__l16_rmod_32024-07-27 05:38 17K 
[ ]rmod_3__l16_rmod_3.vout2024-08-03 05:28 7.3K 
[ ]rmod_3__l23_rmod_32024-07-27 05:39 15K 
[ ]rmod_3__l23_rmod_3.depv12024-08-03 10:19 47  
[ ]rmod_3__l23_rmod_3.depvmin12024-08-03 10:24 47  
[ ]rmod_3__l23_rmod_3.vmin12024-08-03 10:19 1.8K 
[ ]rmod_3__l23_rmod_3.vmin1out2024-08-03 10:21 45K 
[ ]rmod_3__l23_rmod_3.vout2024-08-03 04:41 46K 
[ ]rmod_3__l32_rmod_32024-07-27 05:40 16K 
[ ]rmod_3__l32_rmod_3.depv12024-08-03 10:19 42  
[ ]rmod_3__l32_rmod_3.depvmin12024-08-03 10:24 42  
[ ]rmod_3__l32_rmod_3.vmin12024-08-03 10:19 1.7K 
[ ]rmod_3__l32_rmod_3.vmin1out2024-08-03 10:20 30K 
[ ]rmod_3__l32_rmod_3.vout2024-08-03 06:58 40K 
[ ]rmod_3__l34_rmod_32024-07-27 05:41 20K 
[ ]rmod_3__l34_rmod_3.vout2024-08-03 05:16 4.2K 
[ ]rmod_3__l36_rmod_32024-07-27 05:42 21K 
[ ]rmod_3__l36_rmod_3.vout2024-08-03 04:49 4.2K 
[ ]rmod_3__l38_rmod_32024-07-27 05:43 20K 
[ ]rmod_3__l38_rmod_3.vout2024-08-03 07:39 4.2K 
[ ]rmod_3__l40_rmod_32024-07-27 05:45 24K 
[ ]rmod_3__l40_rmod_3.vout2024-08-03 09:42 4.2K 
[ ]rmod_3__l42_rmod_32024-07-27 05:46 20K 
[ ]rmod_3__l42_rmod_3.vout2024-08-03 05:46 4.2K 
[ ]rmod_3__l44_rmod_32024-07-27 05:47 23K 
[ ]rmod_3__l44_rmod_3.vout2024-08-03 05:48 4.2K 
[ ]rmod_3__l55_rmod_32024-07-27 05:48 18K 
[ ]rmod_3__l55_rmod_3.vout2024-08-03 05:51 4.7K 
[ ]rmod_3__l56_rmod_32024-07-27 05:49 9.9K 
[ ]rmod_3__l56_rmod_3.depv12024-08-03 10:19 212  
[ ]rmod_3__l56_rmod_3.depvmin12024-08-03 10:24 212  
[ ]rmod_3__l56_rmod_3.vmin12024-08-03 10:19 3.3K 
[ ]rmod_3__l56_rmod_3.vmin1out2024-08-03 10:21 42K 
[ ]rmod_3__l56_rmod_3.vout2024-08-03 07:09 44K 
[ ]rmod_3__t1_rmod_32024-07-27 04:52 17K 
[ ]rmod_3__t1_rmod_3.vout2024-08-03 06:34 7.3K 
[ ]rmod_3__t2_rmod_32024-07-27 04:53 17K 
[ ]rmod_3__t2_rmod_3.depv12024-08-03 10:19 169  
[ ]rmod_3__t2_rmod_3.depvmin12024-08-03 10:24 169  
[ ]rmod_3__t2_rmod_3.vmin12024-08-03 10:19 2.8K 
[ ]rmod_3__t2_rmod_3.vmin1out2024-08-03 10:22 67K 
[ ]rmod_3__t2_rmod_3.vout2024-08-03 04:16 44K 
[ ]rmod_3__t3_rmod_32024-07-27 04:54 16K 
[ ]rmod_3__t3_rmod_3.vout2024-08-03 04:07 4.2K 
[ ]rmod_3__t4_rmod_32024-07-27 04:37 15K 
[ ]rmod_3__t4_rmod_3.depv12024-08-03 10:19 42  
[ ]rmod_3__t4_rmod_3.depvmin12024-08-03 10:24 42  
[ ]rmod_3__t4_rmod_3.vmin12024-08-03 10:19 1.1K 
[ ]rmod_3__t4_rmod_3.vmin1out2024-08-03 10:20 15K 
[ ]rmod_3__t4_rmod_3.vout2024-08-03 05:45 23K 
[ ]rmod_3__t5_rmod_32024-07-27 04:38 15K 
[ ]rmod_3__t5_rmod_3.depv12024-08-03 10:19 20  
[ ]rmod_3__t5_rmod_3.depvmin12024-08-03 10:24 20  
[ ]rmod_3__t5_rmod_3.vmin12024-08-03 10:19 1.0K 
[ ]rmod_3__t5_rmod_3.vmin1out2024-08-03 10:22 14K 
[ ]rmod_3__t5_rmod_3.vout2024-08-03 07:14 22K 
[ ]rmod_3__t6_rmod_32024-07-27 04:55 18K 
[ ]rmod_3__t6_rmod_3.vout2024-08-03 06:16 4.2K 
[ ]rmod_3__t7_rmod_32024-07-27 04:56 16K 
[ ]rmod_3__t7_rmod_3.depv12024-08-03 10:19 54  
[ ]rmod_3__t7_rmod_3.depvmin12024-08-03 10:24 54  
[ ]rmod_3__t7_rmod_3.vmin12024-08-03 10:19 2.7K 
[ ]rmod_3__t7_rmod_3.vmin1out2024-08-03 10:23 47K 
[ ]rmod_3__t7_rmod_3.vout2024-08-03 06:33 73K 
[ ]rmod_3__t8_rmod_32024-07-27 04:57 18K 
[ ]rmod_3__t8_rmod_3.depv12024-08-03 10:19 53  
[ ]rmod_3__t8_rmod_3.depvmin12024-08-03 10:24 53  
[ ]rmod_3__t8_rmod_3.vmin12024-08-03 10:19 3.1K 
[ ]rmod_3__t8_rmod_3.vmin1out2024-08-03 10:22 56K 
[ ]rmod_3__t8_rmod_3.vout2024-08-03 07:29 147K 
[ ]rmod_3__t9_rmod_32024-07-27 04:58 18K 
[ ]rmod_3__t9_rmod_3.depv12024-08-03 10:19 77  
[ ]rmod_3__t9_rmod_3.depvmin12024-08-03 10:24 77  
[ ]rmod_3__t9_rmod_3.vmin12024-08-03 10:19 4.0K 
[ ]rmod_3__t9_rmod_3.vmin1out2024-08-03 10:20 75K 
[ ]rmod_3__t9_rmod_3.vout2024-08-03 04:32 206K 
[ ]rmod_3__t10_rmod_32024-07-27 04:39 16K 
[ ]rmod_3__t10_rmod_3.depv12024-08-03 10:19 114  
[ ]rmod_3__t10_rmod_3.depvmin12024-08-03 10:24 114  
[ ]rmod_3__t10_rmod_3.vmin12024-08-03 10:19 2.5K 
[ ]rmod_3__t10_rmod_3.vmin1out2024-08-03 10:22 37K 
[ ]rmod_3__t10_rmod_3.vout2024-08-03 06:46 66K 
[ ]rmod_3__t11_rmod_32024-07-27 04:59 20K 
[ ]rmod_3__t11_rmod_3.depv12024-08-03 10:19 88  
[ ]rmod_3__t11_rmod_3.depvmin12024-08-03 10:24 88  
[ ]rmod_3__t11_rmod_3.vmin12024-08-03 10:19 4.6K 
[ ]rmod_3__t11_rmod_3.vmin1out2024-08-03 10:22 93K 
[ ]rmod_3__t11_rmod_3.vout2024-08-03 09:08 228K 
[ ]rmod_3__t12_rmod_32024-07-27 04:40 16K 
[ ]rmod_3__t12_rmod_3.depv12024-08-03 10:19 115  
[ ]rmod_3__t12_rmod_3.depvmin12024-08-03 10:24 115  
[ ]rmod_3__t12_rmod_3.vmin12024-08-03 10:19 2.6K 
[ ]rmod_3__t12_rmod_3.vmin1out2024-08-03 10:21 32K 
[ ]rmod_3__t12_rmod_3.vout2024-08-03 05:39 45K 
[ ]rmod_3__t13_rmod_32024-07-27 05:00 15K 
[ ]rmod_3__t13_rmod_3.depv12024-08-03 10:19 45  
[ ]rmod_3__t13_rmod_3.depvmin12024-08-03 10:24 45  
[ ]rmod_3__t13_rmod_3.vmin12024-08-03 10:19 1.2K 
[ ]rmod_3__t13_rmod_3.vmin1out2024-08-03 10:21 26K 
[ ]rmod_3__t13_rmod_3.vout2024-08-03 05:59 9.9K 
[ ]rmod_3__t14_rmod_32024-07-27 05:01 15K 
[ ]rmod_3__t14_rmod_3.depv12024-08-03 10:19 60  
[ ]rmod_3__t14_rmod_3.depvmin12024-08-03 10:24 60  
[ ]rmod_3__t14_rmod_3.vmin12024-08-03 10:19 1.8K 
[ ]rmod_3__t14_rmod_3.vmin1out2024-08-03 10:21 57K 
[ ]rmod_3__t14_rmod_3.vout2024-08-03 06:37 15K 
[ ]rmod_3__t15_rmod_32024-07-27 05:03 15K 
[ ]rmod_3__t15_rmod_3.vout2024-08-03 04:12 4.7K 
[ ]rmod_3__t16_rmod_32024-07-27 05:04 16K 
[ ]rmod_3__t16_rmod_3.depv12024-08-03 10:19 57  
[ ]rmod_3__t16_rmod_3.depvmin12024-08-03 10:24 57  
[ ]rmod_3__t16_rmod_3.vmin12024-08-03 10:19 2.7K 
[ ]rmod_3__t16_rmod_3.vmin1out2024-08-03 10:20 47K 
[ ]rmod_3__t16_rmod_3.vout2024-08-03 04:49 72K 
[ ]rmod_3__t17_rmod_32024-07-27 05:05 19K 
[ ]rmod_3__t17_rmod_3.depv12024-08-03 10:19 68  
[ ]rmod_3__t17_rmod_3.depvmin12024-08-03 10:24 68  
[ ]rmod_3__t17_rmod_3.vmin12024-08-03 10:19 3.3K 
[ ]rmod_3__t17_rmod_3.vmin1out2024-08-03 10:22 157K 
[ ]rmod_3__t17_rmod_3.vout2024-08-03 09:29 57K 
[ ]rmod_3__t18_rmod_32024-07-27 05:06 18K 
[ ]rmod_3__t18_rmod_3.depv12024-08-03 10:19 81  
[ ]rmod_3__t18_rmod_3.depvmin12024-08-03 10:24 81  
[ ]rmod_3__t18_rmod_3.vmin12024-08-03 10:19 3.8K 
[ ]rmod_3__t18_rmod_3.vmin1out2024-08-03 10:23 191K 
[ ]rmod_3__t18_rmod_3.vout2024-08-03 10:02 194K 
[ ]rmod_3__t19_rmod_32024-07-27 05:07 16K 
[ ]rmod_3__t19_rmod_3.depv12024-08-03 10:19 46  
[ ]rmod_3__t19_rmod_3.depvmin12024-08-03 10:24 46  
[ ]rmod_3__t19_rmod_3.vmin12024-08-03 10:19 2.5K 
[ ]rmod_3__t19_rmod_3.vmin1out2024-08-03 10:23 103K 
[ ]rmod_3__t19_rmod_3.vout2024-08-03 06:32 171K 
[ ]rmod_3__t20_rmod_32024-07-27 05:08 16K 
[ ]rmod_3__t20_rmod_3.depv12024-08-03 10:19 55  
[ ]rmod_3__t20_rmod_3.depvmin12024-08-03 10:24 55  
[ ]rmod_3__t20_rmod_3.vmin12024-08-03 10:19 2.8K 
[ ]rmod_3__t20_rmod_3.vmin1out2024-08-03 10:22 113K 
[ ]rmod_3__t20_rmod_3.vout2024-08-03 07:20 72K 
[ ]rmod_3__t21_rmod_32024-07-27 05:09 19K 
[ ]rmod_3__t21_rmod_3.depv12024-08-03 10:19 242  
[ ]rmod_3__t21_rmod_3.depvmin12024-08-03 10:24 242  
[ ]rmod_3__t21_rmod_3.vmin12024-08-03 10:19 4.9K 
[ ]rmod_3__t21_rmod_3.vmin1out2024-08-03 10:20 97K 
[ ]rmod_3__t21_rmod_3.vout2024-08-03 04:42 53K 
[ ]rmod_3__t22_rmod_32024-07-27 05:10 19K 
[ ]rmod_3__t22_rmod_3.vout2024-08-03 04:11 7.3K 
[ ]rmod_3__t23_rmod_32024-07-27 04:41 16K 
[ ]rmod_3__t23_rmod_3.depv12024-08-03 10:19 115  
[ ]rmod_3__t23_rmod_3.depvmin12024-08-03 10:24 115  
[ ]rmod_3__t23_rmod_3.vmin12024-08-03 10:19 2.4K 
[ ]rmod_3__t23_rmod_3.vmin1out2024-08-03 10:21 31K 
[ ]rmod_3__t23_rmod_3.vout2024-08-03 06:59 49K 
[ ]rmod_3__t24_rmod_32024-07-27 04:42 16K 
[ ]rmod_3__t24_rmod_3.depv12024-08-03 10:19 59  
[ ]rmod_3__t24_rmod_3.depvmin12024-08-03 10:24 59  
[ ]rmod_3__t24_rmod_3.vmin12024-08-03 10:19 2.7K 
[ ]rmod_3__t24_rmod_3.vmin1out2024-08-03 10:22 46K 
[ ]rmod_3__t24_rmod_3.vout2024-08-03 06:41 55K 
[ ]rmod_3__t25_rmod_32024-07-27 04:43 16K 
[ ]rmod_3__t25_rmod_3.depv12024-08-03 10:19 59  
[ ]rmod_3__t25_rmod_3.depvmin12024-08-03 10:24 59  
[ ]rmod_3__t25_rmod_3.vmin12024-08-03 10:19 2.7K 
[ ]rmod_3__t25_rmod_3.vmin1out2024-08-03 10:21 17K 
[ ]rmod_3__t25_rmod_3.vout2024-08-03 06:28 50K 
[ ]rmod_3__t26_rmod_32024-07-27 04:44 16K 
[ ]rmod_3__t26_rmod_3.depv12024-08-03 10:19 59  
[ ]rmod_3__t26_rmod_3.depvmin12024-08-03 10:24 59  
[ ]rmod_3__t26_rmod_3.vmin12024-08-03 10:19 2.7K 
[ ]rmod_3__t26_rmod_3.vmin1out2024-08-03 10:20 17K 
[ ]rmod_3__t26_rmod_3.vout2024-08-03 08:16 32K 
[ ]rmod_3__t27_rmod_32024-07-27 04:45 16K 
[ ]rmod_3__t27_rmod_3.depv12024-08-03 10:19 59  
[ ]rmod_3__t27_rmod_3.depvmin12024-08-03 10:24 59  
[ ]rmod_3__t27_rmod_3.vmin12024-08-03 10:19 2.9K 
[ ]rmod_3__t27_rmod_3.vmin1out2024-08-03 10:22 69K 
[ ]rmod_3__t27_rmod_3.vout2024-08-03 08:14 27K 
[ ]rmod_3__t28_rmod_32024-07-27 04:46 16K 
[ ]rmod_3__t28_rmod_3.vout2024-08-03 07:23 7.3K 
[ ]rmod_3__t29_rmod_32024-07-27 04:47 16K 
[ ]rmod_3__t29_rmod_3.depv12024-08-03 10:19 59  
[ ]rmod_3__t29_rmod_3.depvmin12024-08-03 10:24 59  
[ ]rmod_3__t29_rmod_3.vmin12024-08-03 10:19 2.9K 
[ ]rmod_3__t29_rmod_3.vmin1out2024-08-03 10:20 69K 
[ ]rmod_3__t29_rmod_3.vout2024-08-03 06:08 27K 
[ ]rmod_3__t30_rmod_32024-07-27 04:48 16K 
[ ]rmod_3__t30_rmod_3.vout2024-08-03 06:45 7.4K 
[ ]rmod_3__t31_rmod_32024-07-27 05:11 17K 
[ ]rmod_3__t31_rmod_3.vout2024-08-03 06:39 7.3K 
[ ]rmod_3__t32_rmod_32024-07-27 05:12 16K 
[ ]rmod_3__t32_rmod_3.depv12024-08-03 10:19 32  
[ ]rmod_3__t32_rmod_3.depvmin12024-08-03 10:24 32  
[ ]rmod_3__t32_rmod_3.vmin12024-08-03 10:19 1.8K 
[ ]rmod_3__t32_rmod_3.vmin1out2024-08-03 10:20 42K 
[ ]rmod_3__t32_rmod_3.vout2024-08-03 04:52 63K 
[ ]rmod_3__t33_rmod_32024-07-27 05:13 17K 
[ ]rmod_3__t33_rmod_3.depv12024-08-03 10:19 86  
[ ]rmod_3__t33_rmod_3.depvmin12024-08-03 10:24 86  
[ ]rmod_3__t33_rmod_3.vmin12024-08-03 10:19 3.4K 
[ ]rmod_3__t33_rmod_3.vmin1out2024-08-03 10:23 74K 
[ ]rmod_3__t33_rmod_3.vout2024-08-03 07:33 49K 
[ ]rmod_3__t34_rmod_32024-07-27 05:14 16K 
[ ]rmod_3__t34_rmod_3.depv12024-08-03 10:19 58  
[ ]rmod_3__t34_rmod_3.depvmin12024-08-03 10:24 58  
[ ]rmod_3__t34_rmod_3.vmin12024-08-03 10:19 3.0K 
[ ]rmod_3__t34_rmod_3.vmin1out2024-08-03 10:22 107K 
[ ]rmod_3__t34_rmod_3.vout2024-08-03 06:23 66K 
[ ]rmod_3__t35_rmod_32024-07-27 05:15 18K 
[ ]rmod_3__t35_rmod_3.vout2024-08-03 05:31 4.7K 
[ ]rmod_3__t36_rmod_32024-07-27 05:16 18K 
[ ]rmod_3__t36_rmod_3.vout2024-08-03 10:18 7.3K 
[ ]rmod_3__t37_rmod_32024-07-27 05:17 16K 
[ ]rmod_3__t37_rmod_3.depv12024-08-03 10:19 137  
[ ]rmod_3__t37_rmod_3.depvmin12024-08-03 10:24 137  
[ ]rmod_3__t37_rmod_3.vmin12024-08-03 10:19 2.5K 
[ ]rmod_3__t37_rmod_3.vmin1out2024-08-03 10:22 20K 
[ ]rmod_3__t37_rmod_3.vout2024-08-03 06:34 31K 
[ ]rmod_3__t38_rmod_32024-07-27 04:49 17K 
[ ]rmod_3__t38_rmod_3.depv12024-08-03 10:19 42  
[ ]rmod_3__t38_rmod_3.depvmin12024-08-03 10:24 42  
[ ]rmod_3__t38_rmod_3.vmin12024-08-03 10:19 2.2K 
[ ]rmod_3__t38_rmod_3.vmin1out2024-08-03 10:20 49K 
[ ]rmod_3__t38_rmod_3.vout2024-08-03 07:26 68K 
[ ]rmod_3__t39_rmod_32024-07-27 04:50 18K 
[ ]rmod_3__t39_rmod_3.depv12024-08-03 10:19 148  
[ ]rmod_3__t39_rmod_3.depvmin12024-08-03 10:24 148  
[ ]rmod_3__t39_rmod_3.vmin12024-08-03 10:19 4.1K 
[ ]rmod_3__t39_rmod_3.vmin1out2024-08-03 10:22 102K 
[ ]rmod_3__t39_rmod_3.vout2024-08-03 08:33 121K 
[ ]rmod_3__t40_rmod_32024-07-27 05:18 23K 
[ ]rmod_3__t40_rmod_3.vout2024-08-03 05:11 3.7K 
[ ]rmod_3__t41_rmod_32024-07-27 05:20 35K 
[ ]rmod_3__t41_rmod_3.vout2024-08-03 04:11 4.2K 
[ ]rmod_3__t42_rmod_32024-07-27 04:51 16K 
[ ]rmod_3__t42_rmod_3.vout2024-08-03 05:07 5.3K 
[ ]rmod_3__t43_rmod_32024-07-27 05:21 26K 
[ ]rmod_3__t43_rmod_3.vout2024-08-03 06:01 7.3K 
[ ]rmod_3__t44_rmod_32024-07-27 05:22 27K 
[ ]rmod_3__t44_rmod_3.vout2024-08-03 08:38 6.8K 
[ ]rmod_3__t45_rmod_32024-07-27 05:24 21K 
[ ]rmod_3__t45_rmod_3.vout2024-08-03 05:49 4.7K 
[ ]rmod_3__t46_rmod_32024-07-27 05:25 21K 
[ ]rmod_3__t46_rmod_3.vout2024-08-03 04:27 4.7K 
[ ]rmod_3__t47_rmod_32024-07-27 05:27 30K 
[ ]rmod_3__t47_rmod_3.vout2024-08-03 06:35 4.7K 
[ ]rmod_3__t48_rmod_32024-07-27 05:28 25K 
[ ]rmod_3__t48_rmod_3.vout2024-08-03 05:05 5.3K 
[ ]rmod_3__t49_rmod_32024-07-27 05:29 27K 
[ ]rmod_3__t49_rmod_3.vout2024-08-03 06:19 4.7K 
[ ]rmod_3__t50_rmod_32024-07-27 05:31 17K 
[ ]rmod_3__t50_rmod_3.depv12024-08-03 10:19 46  
[ ]rmod_3__t50_rmod_3.depvmin12024-08-03 10:24 46  
[ ]rmod_3__t50_rmod_3.vmin12024-08-03 10:19 2.3K 
[ ]rmod_3__t50_rmod_3.vmin1out2024-08-03 10:22 35K 
[ ]rmod_3__t50_rmod_3.vout2024-08-03 06:52 58K 
[ ]rmod_3__t51_rmod_32024-07-27 05:32 27K 
[ ]rmod_3__t51_rmod_3.vout2024-08-03 04:25 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80