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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setwiseo__l12_setwiseo2024-07-28 06:19 12K 
[ ]setwiseo__l12_setwiseo.depv12024-08-03 10:19 138  
[ ]setwiseo__l12_setwiseo.depvmin12024-08-03 10:24 138  
[ ]setwiseo__l12_setwiseo.vmin12024-08-03 10:20 1.4K 
[ ]setwiseo__l12_setwiseo.vmin1out2024-08-03 10:20 16K 
[ ]setwiseo__l12_setwiseo.vout2024-08-03 06:24 17K 
[ ]setwiseo__l64_setwiseo2024-07-28 06:20 11K 
[ ]setwiseo__l64_setwiseo.depv12024-08-03 10:19 63  
[ ]setwiseo__l64_setwiseo.depvmin12024-08-03 10:24 38  
[ ]setwiseo__l64_setwiseo.vmin12024-08-03 10:20 661  
[ ]setwiseo__l64_setwiseo.vmin1out2024-08-03 10:21 4.4K 
[ ]setwiseo__l64_setwiseo.vout2024-08-03 05:55 6.9K 
[ ]setwiseo__t1_setwiseo2024-07-28 06:21 7.9K 
[ ]setwiseo__t1_setwiseo.depv12024-08-03 10:19 36  
[ ]setwiseo__t1_setwiseo.depvmin12024-08-03 10:24 36  
[ ]setwiseo__t1_setwiseo.vmin12024-08-03 10:20 321  
[ ]setwiseo__t1_setwiseo.vmin1out2024-08-03 10:20 2.8K 
[ ]setwiseo__t1_setwiseo.vout2024-08-03 04:46 2.7K 
[ ]setwiseo__t2_setwiseo2024-07-28 06:21 7.9K 
[ ]setwiseo__t2_setwiseo.depv12024-08-03 10:19 36  
[ ]setwiseo__t2_setwiseo.depvmin12024-08-03 10:24 36  
[ ]setwiseo__t2_setwiseo.vmin12024-08-03 10:20 324  
[ ]setwiseo__t2_setwiseo.vmin1out2024-08-03 10:23 2.8K 
[ ]setwiseo__t2_setwiseo.vout2024-08-03 04:26 2.8K 
[ ]setwiseo__t6_setwiseo2024-07-28 06:22 9.0K 
[ ]setwiseo__t6_setwiseo.vout2024-08-03 05:36 7.3K 
[ ]setwiseo__t7_setwiseo2024-07-28 06:22 12K 
[ ]setwiseo__t7_setwiseo.vout2024-08-03 04:24 4.1K 
[ ]setwiseo__t8_setwiseo2024-07-28 06:23 14K 
[ ]setwiseo__t8_setwiseo.vout2024-08-03 06:41 4.1K 
[ ]setwiseo__t9_setwiseo2024-07-28 06:24 6.5K 
[ ]setwiseo__t9_setwiseo.depv12024-08-03 10:19 67  
[ ]setwiseo__t9_setwiseo.depvmin12024-08-03 10:24 67  
[ ]setwiseo__t9_setwiseo.vmin12024-08-03 10:20 802  
[ ]setwiseo__t9_setwiseo.vmin1out2024-08-03 10:21 10K 
[ ]setwiseo__t9_setwiseo.vout2024-08-03 05:04 11K 
[ ]setwiseo__t10_setwiseo2024-07-28 06:24 14K 
[ ]setwiseo__t10_setwiseo.depv12024-08-03 10:19 142  
[ ]setwiseo__t10_setwiseo.depvmin12024-08-03 10:24 142  
[ ]setwiseo__t10_setwiseo.vmin12024-08-03 10:20 1.6K 
[ ]setwiseo__t10_setwiseo.vmin1out2024-08-03 10:20 26K 
[ ]setwiseo__t10_setwiseo.vout2024-08-03 04:56 24K 
[ ]setwiseo__t11_setwiseo2024-07-28 06:25 6.5K 
[ ]setwiseo__t11_setwiseo.depv12024-08-03 10:19 104  
[ ]setwiseo__t11_setwiseo.depvmin12024-08-03 10:24 104  
[ ]setwiseo__t11_setwiseo.vmin12024-08-03 10:20 1.1K 
[ ]setwiseo__t11_setwiseo.vmin1out2024-08-03 10:22 17K 
[ ]setwiseo__t11_setwiseo.vout2024-08-03 08:10 17K 
[ ]setwiseo__t12_setwiseo2024-07-28 06:25 3.5K 
[ ]setwiseo__t12_setwiseo.depv12024-08-03 10:19 62  
[ ]setwiseo__t12_setwiseo.depvmin12024-08-03 10:24 62  
[ ]setwiseo__t12_setwiseo.vmin12024-08-03 10:20 712  
[ ]setwiseo__t12_setwiseo.vmin1out2024-08-03 10:20 7.9K 
[ ]setwiseo__t12_setwiseo.vout2024-08-03 06:15 8.0K 
[ ]setwiseo__t13_setwiseo2024-07-28 06:26 12K 
[ ]setwiseo__t13_setwiseo.depv12024-08-03 10:19 112  
[ ]setwiseo__t13_setwiseo.depvmin12024-08-03 10:24 93  
[ ]setwiseo__t13_setwiseo.vmin12024-08-03 10:20 1.4K 
[ ]setwiseo__t13_setwiseo.vmin1out2024-08-03 10:21 19K 
[ ]setwiseo__t13_setwiseo.vout2024-08-03 10:17 18K 
[ ]setwiseo__t14_setwiseo2024-07-28 06:18 11K 
[ ]setwiseo__t14_setwiseo.vout2024-08-03 06:16 7.4K 
[ ]setwiseo__t15_setwiseo2024-07-28 06:27 12K 
[ ]setwiseo__t15_setwiseo.depv12024-08-03 10:19 75  
[ ]setwiseo__t15_setwiseo.depvmin12024-08-03 10:24 75  
[ ]setwiseo__t15_setwiseo.vmin12024-08-03 10:20 1.4K 
[ ]setwiseo__t15_setwiseo.vmin1out2024-08-03 10:22 18K 
[ ]setwiseo__t15_setwiseo.vout2024-08-03 08:04 33K 
[ ]setwiseo__t16_setwiseo2024-07-28 06:28 20K 
[ ]setwiseo__t16_setwiseo.vout2024-08-03 07:35 7.3K 
[ ]setwiseo__t17_setwiseo2024-07-28 06:29 17K 
[ ]setwiseo__t17_setwiseo.vout2024-08-03 05:41 6.8K 
[ ]setwiseo__t18_setwiseo2024-07-28 06:30 19K 
[ ]setwiseo__t18_setwiseo.vout2024-08-03 04:20 6.8K 
[ ]setwiseo__t19_setwiseo2024-07-28 06:30 19K 
[ ]setwiseo__t19_setwiseo.vout2024-08-03 05:56 6.8K 
[ ]setwiseo__t20_setwiseo2024-07-28 06:31 19K 
[ ]setwiseo__t20_setwiseo.vout2024-08-03 06:24 7.3K 
[ ]setwiseo__t21_setwiseo2024-07-28 06:32 18K 
[ ]setwiseo__t21_setwiseo.vout2024-08-03 08:01 6.8K 
[ ]setwiseo__t22_setwiseo2024-07-28 06:33 17K 
[ ]setwiseo__t22_setwiseo.vout2024-08-03 05:12 2.0K 
[ ]setwiseo__t23_setwiseo2024-07-28 06:34 15K 
[ ]setwiseo__t23_setwiseo.depv12024-08-03 10:19 109  
[ ]setwiseo__t23_setwiseo.depvmin12024-08-03 10:24 109  
[ ]setwiseo__t23_setwiseo.vmin12024-08-03 10:20 2.0K 
[ ]setwiseo__t23_setwiseo.vmin1out2024-08-03 10:22 33K 
[ ]setwiseo__t23_setwiseo.vout2024-08-03 07:09 33K 
[ ]setwiseo__t24_setwiseo2024-07-28 06:35 19K 
[ ]setwiseo__t24_setwiseo.vout2024-08-03 09:52 4.1K 
[ ]setwiseo__t25_setwiseo2024-07-28 06:35 15K 
[ ]setwiseo__t25_setwiseo.vout2024-08-03 09:02 4.1K 
[ ]setwiseo__t26_setwiseo2024-07-28 06:37 31K 
[ ]setwiseo__t26_setwiseo.vout2024-08-03 05:52 6.8K 
[ ]setwiseo__t27_setwiseo2024-07-28 06:37 21K 
[ ]setwiseo__t27_setwiseo.vout2024-08-03 08:28 6.8K 
[ ]setwiseo__t28_setwiseo2024-07-28 06:38 21K 
[ ]setwiseo__t28_setwiseo.vout2024-08-03 07:54 6.8K 
[ ]setwiseo__t29_setwiseo2024-07-28 06:39 24K 
[ ]setwiseo__t29_setwiseo.vout2024-08-03 04:32 6.8K 
[ ]setwiseo__t30_setwiseo2024-07-28 06:40 22K 
[ ]setwiseo__t30_setwiseo.vout2024-08-03 04:48 7.3K 
[ ]setwiseo__t31_setwiseo2024-07-28 06:41 17K 
[ ]setwiseo__t31_setwiseo.vout2024-08-03 09:36 6.8K 
[ ]setwiseo__t32_setwiseo2024-07-28 06:42 18K 
[ ]setwiseo__t32_setwiseo.depv12024-08-03 10:19 181  
[ ]setwiseo__t32_setwiseo.depvmin12024-08-03 10:24 181  
[ ]setwiseo__t32_setwiseo.vmin12024-08-03 10:20 3.6K 
[ ]setwiseo__t32_setwiseo.vmin1out2024-08-03 10:20 38K 
[ ]setwiseo__t32_setwiseo.vout2024-08-03 09:34 38K 
[ ]setwiseo__t33_setwiseo2024-07-28 06:43 16K 
[ ]setwiseo__t33_setwiseo.depv12024-08-03 10:19 180  
[ ]setwiseo__t33_setwiseo.depvmin12024-08-03 10:24 180  
[ ]setwiseo__t33_setwiseo.vmin12024-08-03 10:20 3.3K 
[ ]setwiseo__t33_setwiseo.vmin1out2024-08-03 10:21 43K 
[ ]setwiseo__t33_setwiseo.vout2024-08-03 05:36 44K 
[ ]setwiseo__t34_setwiseo2024-07-28 06:44 15K 
[ ]setwiseo__t34_setwiseo.vout2024-08-03 04:40 2.0K 
[ ]setwiseo__t35_setwiseo2024-07-28 06:44 17K 
[ ]setwiseo__t35_setwiseo.vout2024-08-03 08:37 2.0K 
[ ]setwiseo__t36_setwiseo2024-07-28 06:45 19K 
[ ]setwiseo__t36_setwiseo.vout2024-08-03 08:03 2.0K 
[ ]setwiseo__t37_setwiseo2024-07-28 06:46 14K 
[ ]setwiseo__t37_setwiseo.depv12024-08-03 10:19 99  
[ ]setwiseo__t37_setwiseo.depvmin12024-08-03 10:24 99  
[ ]setwiseo__t37_setwiseo.vmin12024-08-03 10:20 1.5K 
[ ]setwiseo__t37_setwiseo.vmin1out2024-08-03 10:23 22K 
[ ]setwiseo__t37_setwiseo.vout2024-08-03 06:38 22K 
[ ]setwiseo__t38_setwiseo2024-07-28 06:47 14K 
[ ]setwiseo__t38_setwiseo.depv12024-08-03 10:19 101  
[ ]setwiseo__t38_setwiseo.depvmin12024-08-03 10:24 101  
[ ]setwiseo__t38_setwiseo.vmin12024-08-03 10:20 1.6K 
[ ]setwiseo__t38_setwiseo.vmin1out2024-08-03 10:23 32K 
[ ]setwiseo__t38_setwiseo.vout2024-08-03 06:35 23K 
[ ]setwiseo__t39_setwiseo2024-07-28 06:47 14K 
[ ]setwiseo__t39_setwiseo.vout2024-08-03 10:09 8.4K 
[ ]setwiseo__t40_setwiseo2024-07-28 06:48 15K 
[ ]setwiseo__t40_setwiseo.depv12024-08-03 10:19 198  
[ ]setwiseo__t40_setwiseo.depvmin12024-08-03 10:24 198  
[ ]setwiseo__t40_setwiseo.vmin12024-08-03 10:20 2.5K 
[ ]setwiseo__t40_setwiseo.vmin1out2024-08-03 10:23 37K 
[ ]setwiseo__t40_setwiseo.vout2024-08-03 06:23 33K 
[ ]setwiseo__t41_setwiseo2024-07-28 06:49 11K 
[ ]setwiseo__t41_setwiseo.vout2024-08-03 05:11 2.0K 
[ ]setwiseo__t42_setwiseo2024-07-28 06:19 12K 
[ ]setwiseo__t42_setwiseo.depv12024-08-03 10:19 67  
[ ]setwiseo__t42_setwiseo.depvmin12024-08-03 10:24 67  
[ ]setwiseo__t42_setwiseo.vmin12024-08-03 10:20 876  
[ ]setwiseo__t42_setwiseo.vmin1out2024-08-03 10:21 5.9K 
[ ]setwiseo__t42_setwiseo.vout2024-08-03 06:40 5.9K 
[ ]setwiseo__t43_setwiseo2024-07-28 06:49 12K 
[ ]setwiseo__t43_setwiseo.depv12024-08-03 10:19 79  
[ ]setwiseo__t43_setwiseo.depvmin12024-08-03 10:24 79  
[ ]setwiseo__t43_setwiseo.vmin12024-08-03 10:20 1.0K 
[ ]setwiseo__t43_setwiseo.vmin1out2024-08-03 10:21 9.9K 
[ ]setwiseo__t43_setwiseo.vout2024-08-03 05:57 9.9K 
[ ]setwiseo__t44_setwiseo2024-07-28 06:50 14K 
[ ]setwiseo__t44_setwiseo.vout2024-08-03 07:19 2.0K 
[ ]setwiseo__t45_setwiseo2024-07-28 06:51 18K 
[ ]setwiseo__t45_setwiseo.depv12024-08-03 10:19 146  
[ ]setwiseo__t45_setwiseo.depvmin12024-08-03 10:24 146  
[ ]setwiseo__t45_setwiseo.vmin12024-08-03 10:20 2.8K 
[ ]setwiseo__t45_setwiseo.vmin1out2024-08-03 10:23 39K 
[ ]setwiseo__t45_setwiseo.vout2024-08-03 07:49 34K 
[ ]setwiseo__t46_setwiseo2024-07-28 06:52 18K 
[ ]setwiseo__t46_setwiseo.vout2024-08-03 07:05 7.3K 
[ ]setwiseo__t47_setwiseo2024-07-28 06:53 13K 
[ ]setwiseo__t47_setwiseo.vout2024-08-03 07:51 2.0K 
[ ]setwiseo__t48_setwiseo2024-07-28 06:53 18K 
[ ]setwiseo__t48_setwiseo.vout2024-08-03 08:23 7.3K 
[ ]setwiseo__t49_setwiseo2024-07-28 06:54 19K 
[ ]setwiseo__t49_setwiseo.vout2024-08-03 10:14 2.0K 
[ ]setwiseo__t50_setwiseo2024-07-28 06:55 16K 
[ ]setwiseo__t50_setwiseo.vout2024-08-03 05:49 2.0K 
[ ]setwiseo__t51_setwiseo2024-07-28 06:56 17K 
[ ]setwiseo__t51_setwiseo.vout2024-08-03 09:13 2.0K 
[ ]setwiseo__t52_setwiseo2024-07-28 06:57 21K 
[ ]setwiseo__t52_setwiseo.vout2024-08-03 04:24 6.8K 
[ ]setwiseo__t53_setwiseo2024-07-28 06:58 23K 
[ ]setwiseo__t53_setwiseo.vout2024-08-03 10:04 2.0K 
[ ]setwiseo__t54_setwiseo2024-07-28 06:58 13K 
[ ]setwiseo__t54_setwiseo.depv12024-08-03 10:19 132  
[ ]setwiseo__t54_setwiseo.depvmin12024-08-03 10:24 132  
[ ]setwiseo__t54_setwiseo.vmin12024-08-03 10:20 1.6K 
[ ]setwiseo__t54_setwiseo.vmin1out2024-08-03 10:23 23K 
[ ]setwiseo__t54_setwiseo.vout2024-08-03 08:37 29K 
[ ]setwiseo__t55_setwiseo2024-07-28 06:59 13K 
[ ]setwiseo__t55_setwiseo.depv12024-08-03 10:19 132  
[ ]setwiseo__t55_setwiseo.depvmin12024-08-03 10:24 99  
[ ]setwiseo__t55_setwiseo.vmin12024-08-03 10:20 1.5K 
[ ]setwiseo__t55_setwiseo.vmin1out2024-08-03 10:20 20K 
[ ]setwiseo__t55_setwiseo.vout2024-08-03 10:03 19K 
[ ]setwiseo__t56_setwiseo2024-07-28 06:59 12K 
[ ]setwiseo__t56_setwiseo.depv12024-08-03 10:19 26  
[ ]setwiseo__t56_setwiseo.depvmin12024-08-03 10:24 26  
[ ]setwiseo__t56_setwiseo.vmin12024-08-03 10:20 520  
[ ]setwiseo__t56_setwiseo.vmin1out2024-08-03 10:22 8.9K 
[ ]setwiseo__t56_setwiseo.vout2024-08-03 08:16 10K 
[ ]setwiseo__t57_setwiseo2024-07-28 07:00 16K 
[ ]setwiseo__t57_setwiseo.vout2024-08-03 06:41 7.3K 
[ ]setwiseo__t58_setwiseo2024-07-28 07:01 14K 
[ ]setwiseo__t58_setwiseo.depv12024-08-03 10:19 186  
[ ]setwiseo__t58_setwiseo.depvmin12024-08-03 10:24 151  
[ ]setwiseo__t58_setwiseo.vmin12024-08-03 10:20 1.9K 
[ ]setwiseo__t58_setwiseo.vmin1out2024-08-03 10:22 36K 
[ ]setwiseo__t58_setwiseo.vout2024-08-03 08:53 41K 
[ ]setwiseo__t59_setwiseo2024-07-28 07:02 21K 
[ ]setwiseo__t59_setwiseo.vout2024-08-03 04:43 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80