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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msualg_6__l39_msualg_62024-07-27 01:06 53K 
[ ]msualg_6__l39_msualg_6.vout2024-08-03 05:51 6.8K 
[ ]msualg_6__l43_msualg_62024-07-27 01:08 55K 
[ ]msualg_6__l43_msualg_6.vout2024-08-03 07:05 5.8K 
[ ]msualg_6__t1_msualg_62024-07-26 23:40 44K 
[ ]msualg_6__t1_msualg_6.vout2024-08-03 06:17 5.3K 
[ ]msualg_6__t2_msualg_62024-07-26 23:42 46K 
[ ]msualg_6__t2_msualg_6.vout2024-08-03 07:09 4.7K 
[ ]msualg_6__t3_msualg_62024-07-26 23:43 46K 
[ ]msualg_6__t3_msualg_6.vout2024-08-03 05:16 7.9K 
[ ]msualg_6__t4_msualg_62024-07-26 23:45 39K 
[ ]msualg_6__t4_msualg_6.vout2024-08-03 05:04 2.0K 
[ ]msualg_6__t5_msualg_62024-07-26 23:47 53K 
[ ]msualg_6__t5_msualg_6.vout2024-08-03 05:27 4.7K 
[ ]msualg_6__t6_msualg_62024-07-26 23:48 53K 
[ ]msualg_6__t6_msualg_6.vout2024-08-03 05:18 5.8K 
[ ]msualg_6__t7_msualg_62024-07-26 23:50 48K 
[ ]msualg_6__t7_msualg_6.vout2024-08-03 10:02 2.0K 
[ ]msualg_6__t8_msualg_62024-07-26 23:52 42K 
[ ]msualg_6__t8_msualg_6.vout2024-08-03 06:38 2.0K 
[ ]msualg_6__t9_msualg_62024-07-26 23:53 47K 
[ ]msualg_6__t9_msualg_6.vout2024-08-03 10:03 4.7K 
[ ]msualg_6__t10_msualg_62024-07-26 23:55 50K 
[ ]msualg_6__t10_msualg_6.vout2024-08-03 10:07 7.3K 
[ ]msualg_6__t11_msualg_62024-07-26 23:57 48K 
[ ]msualg_6__t11_msualg_6.vout2024-08-03 05:48 7.3K 
[ ]msualg_6__t12_msualg_62024-07-26 23:32 42K 
[ ]msualg_6__t12_msualg_6.depv12024-08-03 10:19 67  
[ ]msualg_6__t12_msualg_6.depvmin12024-08-03 10:24 52  
[ ]msualg_6__t12_msualg_6.vmin12024-08-03 10:20 2.0K 
[ ]msualg_6__t12_msualg_6.vmin1out2024-08-03 10:20 45K 
[ ]msualg_6__t12_msualg_6.vout2024-08-03 05:35 51K 
[ ]msualg_6__t13_msualg_62024-07-26 23:59 43K 
[ ]msualg_6__t13_msualg_6.vout2024-08-03 04:41 7.4K 
[ ]msualg_6__t14_msualg_62024-07-27 00:01 78K 
[ ]msualg_6__t14_msualg_6.vout2024-08-03 06:35 6.8K 
[ ]msualg_6__t15_msualg_62024-07-27 00:03 54K 
[ ]msualg_6__t15_msualg_6.vout2024-08-03 07:21 7.3K 
[ ]msualg_6__t16_msualg_62024-07-27 00:05 54K 
[ ]msualg_6__t16_msualg_6.vout2024-08-03 07:09 7.4K 
[ ]msualg_6__t17_msualg_62024-07-27 00:07 57K 
[ ]msualg_6__t17_msualg_6.vout2024-08-03 07:48 7.3K 
[ ]msualg_6__t18_msualg_62024-07-27 00:09 128K 
[ ]msualg_6__t18_msualg_6.vout2024-08-03 05:57 7.3K 
[ ]msualg_6__t19_msualg_62024-07-27 00:11 51K 
[ ]msualg_6__t19_msualg_6.vout2024-08-03 08:49 7.4K 
[ ]msualg_6__t20_msualg_62024-07-27 00:13 51K 
[ ]msualg_6__t20_msualg_6.vout2024-08-03 09:04 7.4K 
[ ]msualg_6__t21_msualg_62024-07-27 00:15 56K 
[ ]msualg_6__t21_msualg_6.vout2024-08-03 08:27 4.7K 
[ ]msualg_6__t22_msualg_62024-07-26 23:33 51K 
[ ]msualg_6__t22_msualg_6.depv12024-08-03 10:19 53  
[ ]msualg_6__t22_msualg_6.depvmin12024-08-03 10:24 53  
[ ]msualg_6__t22_msualg_6.vmin12024-08-03 10:20 2.1K 
[ ]msualg_6__t22_msualg_6.vmin1out2024-08-03 10:21 32K 
[ ]msualg_6__t22_msualg_6.vout2024-08-03 09:09 24K 
[ ]msualg_6__t23_msualg_62024-07-27 00:17 53K 
[ ]msualg_6__t23_msualg_6.vout2024-08-03 06:55 7.3K 
[ ]msualg_6__t24_msualg_62024-07-26 23:35 53K 
[ ]msualg_6__t24_msualg_6.depv12024-08-03 10:19 53  
[ ]msualg_6__t24_msualg_6.depvmin12024-08-03 10:24 53  
[ ]msualg_6__t24_msualg_6.vmin12024-08-03 10:20 2.6K 
[ ]msualg_6__t24_msualg_6.vmin1out2024-08-03 10:23 70K 
[ ]msualg_6__t24_msualg_6.vout2024-08-03 10:08 60K 
[ ]msualg_6__t25_msualg_62024-07-27 00:19 64K 
[ ]msualg_6__t25_msualg_6.vout2024-08-03 05:27 4.7K 
[ ]msualg_6__t26_msualg_62024-07-26 23:37 50K 
[ ]msualg_6__t26_msualg_6.depv12024-08-03 10:19 53  
[ ]msualg_6__t26_msualg_6.depvmin12024-08-03 10:24 53  
[ ]msualg_6__t26_msualg_6.vmin12024-08-03 10:20 2.6K 
[ ]msualg_6__t26_msualg_6.vmin1out2024-08-03 10:21 37K 
[ ]msualg_6__t26_msualg_6.vout2024-08-03 05:56 28K 
[ ]msualg_6__t27_msualg_62024-07-27 00:21 55K 
[ ]msualg_6__t27_msualg_6.vout2024-08-03 04:41 2.0K 
[ ]msualg_6__t28_msualg_62024-07-27 00:23 59K 
[ ]msualg_6__t28_msualg_6.vout2024-08-03 05:11 7.4K 
[ ]msualg_6__t29_msualg_62024-07-27 00:25 46K 
[ ]msualg_6__t29_msualg_6.vout2024-08-03 05:04 4.1K 
[ ]msualg_6__t30_msualg_62024-07-27 00:27 49K 
[ ]msualg_6__t30_msualg_6.vout2024-08-03 07:18 4.1K 
[ ]msualg_6__t31_msualg_62024-07-27 00:28 46K 
[ ]msualg_6__t31_msualg_6.vout2024-08-03 08:17 4.2K 
[ ]msualg_6__t32_msualg_62024-07-26 23:38 26K 
[ ]msualg_6__t32_msualg_6.depv12024-08-03 10:19 41  
[ ]msualg_6__t32_msualg_6.depvmin12024-08-03 10:24 41  
[ ]msualg_6__t32_msualg_6.vmin12024-08-03 10:20 1.0K 
[ ]msualg_6__t32_msualg_6.vmin1out2024-08-03 10:23 12K 
[ ]msualg_6__t32_msualg_6.vout2024-08-03 09:38 12K 
[ ]msualg_6__t33_msualg_62024-07-27 00:30 32K 
[ ]msualg_6__t33_msualg_6.depv12024-08-03 10:19 169  
[ ]msualg_6__t33_msualg_6.depvmin12024-08-03 10:24 169  
[ ]msualg_6__t33_msualg_6.vmin12024-08-03 10:20 2.6K 
[ ]msualg_6__t33_msualg_6.vmin1out2024-08-03 10:23 30K 
[ ]msualg_6__t33_msualg_6.vout2024-08-03 04:29 43K 
[ ]msualg_6__t34_msualg_62024-07-27 00:31 32K 
[ ]msualg_6__t34_msualg_6.depv12024-08-03 10:19 169  
[ ]msualg_6__t34_msualg_6.depvmin12024-08-03 10:24 169  
[ ]msualg_6__t34_msualg_6.vmin12024-08-03 10:20 2.6K 
[ ]msualg_6__t34_msualg_6.vmin1out2024-08-03 10:22 30K 
[ ]msualg_6__t34_msualg_6.vout2024-08-03 05:49 43K 
[ ]msualg_6__t35_msualg_62024-07-27 00:33 32K 
[ ]msualg_6__t35_msualg_6.depv12024-08-03 10:19 169  
[ ]msualg_6__t35_msualg_6.depvmin12024-08-03 10:24 169  
[ ]msualg_6__t35_msualg_6.vmin12024-08-03 10:20 2.7K 
[ ]msualg_6__t35_msualg_6.vmin1out2024-08-03 10:20 32K 
[ ]msualg_6__t35_msualg_6.vout2024-08-03 04:44 45K 
[ ]msualg_6__t36_msualg_62024-07-27 00:34 32K 
[ ]msualg_6__t36_msualg_6.depv12024-08-03 10:19 97  
[ ]msualg_6__t36_msualg_6.depvmin12024-08-03 10:24 97  
[ ]msualg_6__t36_msualg_6.vmin12024-08-03 10:20 3.6K 
[ ]msualg_6__t36_msualg_6.vmin1out2024-08-03 10:22 67K 
[ ]msualg_6__t36_msualg_6.vout2024-08-03 04:53 68K 
[ ]msualg_6__t37_msualg_62024-07-27 00:36 35K 
[ ]msualg_6__t37_msualg_6.vout2024-08-03 04:34 4.1K 
[ ]msualg_6__t38_msualg_62024-07-27 00:38 47K 
[ ]msualg_6__t38_msualg_6.vout2024-08-03 06:14 4.1K 
[ ]msualg_6__t39_msualg_62024-07-27 00:39 33K 
[ ]msualg_6__t39_msualg_6.vout2024-08-03 08:37 2.0K 
[ ]msualg_6__t40_msualg_62024-07-27 00:41 43K 
[ ]msualg_6__t40_msualg_6.vout2024-08-03 05:50 7.3K 
[ ]msualg_6__t41_msualg_62024-07-27 00:42 33K 
[ ]msualg_6__t41_msualg_6.vout2024-08-03 06:47 6.8K 
[ ]msualg_6__t42_msualg_62024-07-27 00:43 34K 
[ ]msualg_6__t42_msualg_6.vout2024-08-03 08:42 4.1K 
[ ]msualg_6__t43_msualg_62024-07-27 00:45 41K 
[ ]msualg_6__t43_msualg_6.vout2024-08-03 09:42 7.3K 
[ ]msualg_6__t44_msualg_62024-07-27 00:46 41K 
[ ]msualg_6__t44_msualg_6.vout2024-08-03 07:12 6.8K 
[ ]msualg_6__t45_msualg_62024-07-27 00:48 54K 
[ ]msualg_6__t45_msualg_6.vout2024-08-03 09:05 7.9K 
[ ]msualg_6__t46_msualg_62024-07-27 00:50 45K 
[ ]msualg_6__t46_msualg_6.vout2024-08-03 08:00 1.1K 
[ ]msualg_6__t47_msualg_62024-07-27 00:52 58K 
[ ]msualg_6__t47_msualg_6.vout2024-08-03 08:22 7.3K 
[ ]msualg_6__t48_msualg_62024-07-27 00:54 53K 
[ ]msualg_6__t48_msualg_6.vout2024-08-03 07:42 7.3K 
[ ]msualg_6__t49_msualg_62024-07-27 00:56 33K 
[ ]msualg_6__t49_msualg_6.vout2024-08-03 09:59 6.8K 
[ ]msualg_6__t50_msualg_62024-07-27 00:58 56K 
[ ]msualg_6__t50_msualg_6.vout2024-08-03 05:22 7.4K 
[ ]msualg_6__t51_msualg_62024-07-27 00:59 34K 
[ ]msualg_6__t51_msualg_6.vout2024-08-03 08:10 7.4K 
[ ]msualg_6__t52_msualg_62024-07-27 01:01 38K 
[ ]msualg_6__t52_msualg_6.depv12024-08-03 10:19 139  
[ ]msualg_6__t52_msualg_6.depvmin12024-08-03 10:24 139  
[ ]msualg_6__t52_msualg_6.vmin12024-08-03 10:20 5.3K 
[ ]msualg_6__t52_msualg_6.vmin1out2024-08-03 10:21 85K 
[ ]msualg_6__t52_msualg_6.vout2024-08-03 06:28 86K 
[ ]msualg_6__t53_msualg_62024-07-27 01:03 47K 
[ ]msualg_6__t53_msualg_6.vout2024-08-03 05:09 6.8K 
[ ]msualg_6__t54_msualg_62024-07-27 01:04 39K 
[ ]msualg_6__t54_msualg_6.vout2024-08-03 09:26 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80