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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setfam_1__t1_setfam_12024-07-28 21:45 1.4K 
[ ]setfam_1__t1_setfam_1.depv12024-08-03 10:19 24  
[ ]setfam_1__t1_setfam_1.depvmin12024-08-03 10:24 24  
[ ]setfam_1__t1_setfam_1.vmin12024-08-03 10:19 323  
[ ]setfam_1__t1_setfam_1.vmin1out2024-08-03 10:22 4.9K 
[ ]setfam_1__t1_setfam_1.vout2024-08-03 07:27 4.9K 
[ ]setfam_1__t2_setfam_12024-07-28 21:48 3.4K 
[ ]setfam_1__t2_setfam_1.depv12024-08-03 10:19 126  
[ ]setfam_1__t2_setfam_1.depvmin12024-08-03 10:24 126  
[ ]setfam_1__t2_setfam_1.vmin12024-08-03 10:19 1.1K 
[ ]setfam_1__t2_setfam_1.vmin1out2024-08-03 10:20 17K 
[ ]setfam_1__t2_setfam_1.vout2024-08-03 04:12 18K 
[ ]setfam_1__t3_setfam_12024-07-28 21:45 3.2K 
[ ]setfam_1__t3_setfam_1.depv12024-08-03 10:19 56  
[ ]setfam_1__t3_setfam_1.depvmin12024-08-03 10:24 56  
[ ]setfam_1__t3_setfam_1.vmin12024-08-03 10:19 627  
[ ]setfam_1__t3_setfam_1.vmin1out2024-08-03 10:20 11K 
[ ]setfam_1__t3_setfam_1.vout2024-08-03 04:26 11K 
[ ]setfam_1__t4_setfam_12024-07-28 21:45 3.1K 
[ ]setfam_1__t4_setfam_1.depv12024-08-03 10:19 36  
[ ]setfam_1__t4_setfam_1.depvmin12024-08-03 10:24 36  
[ ]setfam_1__t4_setfam_1.vmin12024-08-03 10:19 290  
[ ]setfam_1__t4_setfam_1.vmin1out2024-08-03 10:23 2.7K 
[ ]setfam_1__t4_setfam_1.vout2024-08-03 06:02 4.0K 
[ ]setfam_1__t5_setfam_12024-07-28 21:48 3.2K 
[ ]setfam_1__t5_setfam_1.depv12024-08-03 10:19 34  
[ ]setfam_1__t5_setfam_1.depvmin12024-08-03 10:24 34  
[ ]setfam_1__t5_setfam_1.vmin12024-08-03 10:19 540  
[ ]setfam_1__t5_setfam_1.vmin1out2024-08-03 10:21 11K 
[ ]setfam_1__t5_setfam_1.vout2024-08-03 07:58 12K 
[ ]setfam_1__t6_setfam_12024-07-28 21:48 3.2K 
[ ]setfam_1__t6_setfam_1.depv12024-08-03 10:19 102  
[ ]setfam_1__t6_setfam_1.depvmin12024-08-03 10:24 102  
[ ]setfam_1__t6_setfam_1.vmin12024-08-03 10:19 962  
[ ]setfam_1__t6_setfam_1.vmin1out2024-08-03 10:21 18K 
[ ]setfam_1__t6_setfam_1.vout2024-08-03 07:11 18K 
[ ]setfam_1__t7_setfam_12024-07-28 21:49 3.1K 
[ ]setfam_1__t7_setfam_1.depv12024-08-03 10:19 34  
[ ]setfam_1__t7_setfam_1.depvmin12024-08-03 10:24 34  
[ ]setfam_1__t7_setfam_1.vmin12024-08-03 10:19 366  
[ ]setfam_1__t7_setfam_1.vmin1out2024-08-03 10:20 5.1K 
[ ]setfam_1__t7_setfam_1.vout2024-08-03 04:44 7.5K 
[ ]setfam_1__t8_setfam_12024-07-28 21:46 3.7K 
[ ]setfam_1__t8_setfam_1.depv12024-08-03 10:19 37  
[ ]setfam_1__t8_setfam_1.depvmin12024-08-03 10:24 37  
[ ]setfam_1__t8_setfam_1.vmin12024-08-03 10:19 375  
[ ]setfam_1__t8_setfam_1.vmin1out2024-08-03 10:22 3.7K 
[ ]setfam_1__t8_setfam_1.vout2024-08-03 09:10 5.3K 
[ ]setfam_1__t9_setfam_12024-07-28 21:49 4.7K 
[ ]setfam_1__t9_setfam_1.vout2024-08-03 08:45 8.4K 
[ ]setfam_1__t10_setfam_12024-07-28 21:49 3.5K 
[ ]setfam_1__t10_setfam_1.depv12024-08-03 10:19 84  
[ ]setfam_1__t10_setfam_1.depvmin12024-08-03 10:24 84  
[ ]setfam_1__t10_setfam_1.vmin12024-08-03 10:19 653  
[ ]setfam_1__t10_setfam_1.vmin1out2024-08-03 10:21 12K 
[ ]setfam_1__t10_setfam_1.vout2024-08-03 09:17 16K 
[ ]setfam_1__t11_setfam_12024-07-28 21:50 2.2K 
[ ]setfam_1__t11_setfam_1.vout2024-08-03 08:53 7.2K 
[ ]setfam_1__t12_setfam_12024-07-28 21:46 3.1K 
[ ]setfam_1__t12_setfam_1.depv12024-08-03 10:19 80  
[ ]setfam_1__t12_setfam_1.depvmin12024-08-03 10:24 80  
[ ]setfam_1__t12_setfam_1.vmin12024-08-03 10:19 551  
[ ]setfam_1__t12_setfam_1.vmin1out2024-08-03 10:23 6.2K 
[ ]setfam_1__t12_setfam_1.vout2024-08-03 07:32 8.7K 
[ ]setfam_1__t13_setfam_12024-07-28 21:50 3.3K 
[ ]setfam_1__t13_setfam_1.depv12024-08-03 10:19 68  
[ ]setfam_1__t13_setfam_1.depvmin12024-08-03 10:24 68  
[ ]setfam_1__t13_setfam_1.vmin12024-08-03 10:19 663  
[ ]setfam_1__t13_setfam_1.vmin1out2024-08-03 10:21 14K 
[ ]setfam_1__t13_setfam_1.vout2024-08-03 07:44 15K 
[ ]setfam_1__t14_setfam_12024-07-28 21:51 3.5K 
[ ]setfam_1__t14_setfam_1.depv12024-08-03 10:19 69  
[ ]setfam_1__t14_setfam_1.depvmin12024-08-03 10:24 69  
[ ]setfam_1__t14_setfam_1.vmin12024-08-03 10:19 835  
[ ]setfam_1__t14_setfam_1.vmin1out2024-08-03 10:23 16K 
[ ]setfam_1__t14_setfam_1.vout2024-08-03 09:31 19K 
[ ]setfam_1__t15_setfam_12024-07-28 21:46 3.0K 
[ ]setfam_1__t15_setfam_1.depv12024-08-03 10:19 47  
[ ]setfam_1__t15_setfam_1.depvmin12024-08-03 10:24 47  
[ ]setfam_1__t15_setfam_1.vmin12024-08-03 10:19 386  
[ ]setfam_1__t15_setfam_1.vmin1out2024-08-03 10:21 3.4K 
[ ]setfam_1__t15_setfam_1.vout2024-08-03 07:52 4.1K 
[ ]setfam_1__t16_setfam_12024-07-28 21:51 3.2K 
[ ]setfam_1__t16_setfam_1.depv12024-08-03 10:19 84  
[ ]setfam_1__t16_setfam_1.depvmin12024-08-03 10:24 84  
[ ]setfam_1__t16_setfam_1.vmin12024-08-03 10:19 666  
[ ]setfam_1__t16_setfam_1.vmin1out2024-08-03 10:20 7.6K 
[ ]setfam_1__t16_setfam_1.vout2024-08-03 08:37 7.7K 
[ ]setfam_1__t17_setfam_12024-07-28 21:51 3.2K 
[ ]setfam_1__t17_setfam_1.depv12024-08-03 10:19 35  
[ ]setfam_1__t17_setfam_1.depvmin12024-08-03 10:24 35  
[ ]setfam_1__t17_setfam_1.vmin12024-08-03 10:19 430  
[ ]setfam_1__t17_setfam_1.vmin1out2024-08-03 10:22 9.2K 
[ ]setfam_1__t17_setfam_1.vout2024-08-03 09:16 11K 
[ ]setfam_1__t18_setfam_12024-07-28 21:52 3.4K 
[ ]setfam_1__t18_setfam_1.depv12024-08-03 10:19 68  
[ ]setfam_1__t18_setfam_1.depvmin12024-08-03 10:24 68  
[ ]setfam_1__t18_setfam_1.vmin12024-08-03 10:19 641  
[ ]setfam_1__t18_setfam_1.vmin1out2024-08-03 10:21 12K 
[ ]setfam_1__t18_setfam_1.vout2024-08-03 08:21 12K 
[ ]setfam_1__t19_setfam_12024-07-28 21:52 4.4K 
[ ]setfam_1__t19_setfam_1.depv12024-08-03 10:19 92  
[ ]setfam_1__t19_setfam_1.depvmin12024-08-03 10:24 82  
[ ]setfam_1__t19_setfam_1.vmin12024-08-03 10:19 965  
[ ]setfam_1__t19_setfam_1.vmin1out2024-08-03 10:23 16K 
[ ]setfam_1__t19_setfam_1.vout2024-08-03 07:57 19K 
[ ]setfam_1__t20_setfam_12024-07-28 21:53 3.9K 
[ ]setfam_1__t20_setfam_1.depv12024-08-03 10:19 83  
[ ]setfam_1__t20_setfam_1.depvmin12024-08-03 10:24 83  
[ ]setfam_1__t20_setfam_1.vmin12024-08-03 10:19 604  
[ ]setfam_1__t20_setfam_1.vmin1out2024-08-03 10:23 9.6K 
[ ]setfam_1__t20_setfam_1.vout2024-08-03 05:06 10K 
[ ]setfam_1__t21_setfam_12024-07-28 21:53 3.8K 
[ ]setfam_1__t21_setfam_1.depv12024-08-03 10:19 50  
[ ]setfam_1__t21_setfam_1.depvmin12024-08-03 10:24 50  
[ ]setfam_1__t21_setfam_1.vmin12024-08-03 10:19 547  
[ ]setfam_1__t21_setfam_1.vmin1out2024-08-03 10:23 10K 
[ ]setfam_1__t21_setfam_1.vout2024-08-03 08:33 11K 
[ ]setfam_1__t22_setfam_12024-07-28 21:54 3.7K 
[ ]setfam_1__t22_setfam_1.depv12024-08-03 10:19 87  
[ ]setfam_1__t22_setfam_1.depvmin12024-08-03 10:24 87  
[ ]setfam_1__t22_setfam_1.vmin12024-08-03 10:19 748  
[ ]setfam_1__t22_setfam_1.vmin1out2024-08-03 10:20 12K 
[ ]setfam_1__t22_setfam_1.vout2024-08-03 05:20 12K 
[ ]setfam_1__t23_setfam_12024-07-28 21:54 4.3K 
[ ]setfam_1__t23_setfam_1.vout2024-08-03 05:25 8.4K 
[ ]setfam_1__t24_setfam_12024-07-28 21:55 4.5K 
[ ]setfam_1__t24_setfam_1.vout2024-08-03 05:09 8.4K 
[ ]setfam_1__t25_setfam_12024-07-28 21:55 4.1K 
[ ]setfam_1__t25_setfam_1.vout2024-08-03 07:58 8.4K 
[ ]setfam_1__t26_setfam_12024-07-28 21:56 4.5K 
[ ]setfam_1__t26_setfam_1.vout2024-08-03 07:34 8.4K 
[ ]setfam_1__t27_setfam_12024-07-28 21:56 4.4K 
[ ]setfam_1__t27_setfam_1.vout2024-08-03 10:07 8.4K 
[ ]setfam_1__t28_setfam_12024-07-28 21:57 4.0K 
[ ]setfam_1__t28_setfam_1.vout2024-08-03 07:14 8.4K 
[ ]setfam_1__t29_setfam_12024-07-28 21:57 4.3K 
[ ]setfam_1__t29_setfam_1.vout2024-08-03 10:18 7.9K 
[ ]setfam_1__t30_setfam_12024-07-28 21:58 4.1K 
[ ]setfam_1__t30_setfam_1.vout2024-08-03 06:22 7.9K 
[ ]setfam_1__t31_setfam_12024-07-28 21:58 3.2K 
[ ]setfam_1__t31_setfam_1.depv12024-08-03 10:19 142  
[ ]setfam_1__t31_setfam_1.depvmin12024-08-03 10:24 129  
[ ]setfam_1__t31_setfam_1.vmin12024-08-03 10:19 1.2K 
[ ]setfam_1__t31_setfam_1.vmin1out2024-08-03 10:23 19K 
[ ]setfam_1__t31_setfam_1.vout2024-08-03 07:06 22K 
[ ]setfam_1__t32_setfam_12024-07-28 21:59 4.2K 
[ ]setfam_1__t32_setfam_1.depv12024-08-03 10:19 136  
[ ]setfam_1__t32_setfam_1.depvmin12024-08-03 10:24 136  
[ ]setfam_1__t32_setfam_1.vmin12024-08-03 10:19 1.3K 
[ ]setfam_1__t32_setfam_1.vmin1out2024-08-03 10:21 17K 
[ ]setfam_1__t32_setfam_1.vout2024-08-03 04:33 17K 
[ ]setfam_1__t33_setfam_12024-07-28 21:59 5.9K 
[ ]setfam_1__t33_setfam_1.vout2024-08-03 08:00 7.4K 
[ ]setfam_1__t34_setfam_12024-07-28 22:00 5.8K 
[ ]setfam_1__t34_setfam_1.vout2024-08-03 04:30 6.8K 
[ ]setfam_1__t35_setfam_12024-07-28 22:00 4.0K 
[ ]setfam_1__t35_setfam_1.depv12024-08-03 10:19 67  
[ ]setfam_1__t35_setfam_1.depvmin12024-08-03 10:24 67  
[ ]setfam_1__t35_setfam_1.vmin12024-08-03 10:19 825  
[ ]setfam_1__t35_setfam_1.vmin1out2024-08-03 10:20 15K 
[ ]setfam_1__t35_setfam_1.vout2024-08-03 09:41 15K 
[ ]setfam_1__t36_setfam_12024-07-28 22:01 4.2K 
[ ]setfam_1__t36_setfam_1.depv12024-08-03 10:19 140  
[ ]setfam_1__t36_setfam_1.depvmin12024-08-03 10:24 110  
[ ]setfam_1__t36_setfam_1.vmin12024-08-03 10:19 1.5K 
[ ]setfam_1__t36_setfam_1.vmin1out2024-08-03 10:23 22K 
[ ]setfam_1__t36_setfam_1.vout2024-08-03 07:49 31K 
[ ]setfam_1__t37_setfam_12024-07-28 22:01 3.6K 
[ ]setfam_1__t37_setfam_1.depv12024-08-03 10:19 78  
[ ]setfam_1__t37_setfam_1.depvmin12024-08-03 10:24 68  
[ ]setfam_1__t37_setfam_1.vmin12024-08-03 10:19 879  
[ ]setfam_1__t37_setfam_1.vmin1out2024-08-03 10:22 12K 
[ ]setfam_1__t37_setfam_1.vout2024-08-03 06:34 15K 
[ ]setfam_1__t38_setfam_12024-07-28 22:01 3.2K 
[ ]setfam_1__t38_setfam_1.depv12024-08-03 10:19 40  
[ ]setfam_1__t38_setfam_1.depvmin12024-08-03 10:24 40  
[ ]setfam_1__t38_setfam_1.vmin12024-08-03 10:19 360  
[ ]setfam_1__t38_setfam_1.vmin1out2024-08-03 10:23 5.4K 
[ ]setfam_1__t38_setfam_1.vout2024-08-03 09:37 5.5K 
[ ]setfam_1__t39_setfam_12024-07-28 22:02 5.4K 
[ ]setfam_1__t39_setfam_1.vout2024-08-03 05:52 6.8K 
[ ]setfam_1__t40_setfam_12024-07-28 22:02 4.9K 
[ ]setfam_1__t40_setfam_1.depv12024-08-03 10:19 196  
[ ]setfam_1__t40_setfam_1.depvmin12024-08-03 10:24 187  
[ ]setfam_1__t40_setfam_1.vmin12024-08-03 10:19 1.6K 
[ ]setfam_1__t40_setfam_1.vmin1out2024-08-03 10:23 29K 
[ ]setfam_1__t40_setfam_1.vout2024-08-03 07:47 37K 
[ ]setfam_1__t41_setfam_12024-07-28 22:03 3.1K 
[ ]setfam_1__t41_setfam_1.depv12024-08-03 10:19 56  
[ ]setfam_1__t41_setfam_1.depvmin12024-08-03 10:24 56  
[ ]setfam_1__t41_setfam_1.vmin12024-08-03 10:19 512  
[ ]setfam_1__t41_setfam_1.vmin1out2024-08-03 10:20 9.9K 
[ ]setfam_1__t41_setfam_1.vout2024-08-03 07:33 10K 
[ ]setfam_1__t42_setfam_12024-07-28 22:03 4.6K 
[ ]setfam_1__t42_setfam_1.vout2024-08-03 09:14 7.4K 
[ ]setfam_1__t43_setfam_12024-07-28 22:04 3.8K 
[ ]setfam_1__t43_setfam_1.depv12024-08-03 10:19 136  
[ ]setfam_1__t43_setfam_1.depvmin12024-08-03 10:24 136  
[ ]setfam_1__t43_setfam_1.vmin12024-08-03 10:19 1.3K 
[ ]setfam_1__t43_setfam_1.vmin1out2024-08-03 10:21 25K 
[ ]setfam_1__t43_setfam_1.vout2024-08-03 09:41 26K 
[ ]setfam_1__t44_setfam_12024-07-28 22:04 3.4K 
[ ]setfam_1__t44_setfam_1.depv12024-08-03 10:19 104  
[ ]setfam_1__t44_setfam_1.depvmin12024-08-03 10:24 104  
[ ]setfam_1__t44_setfam_1.vmin12024-08-03 10:19 1.2K 
[ ]setfam_1__t44_setfam_1.vmin1out2024-08-03 10:20 17K 
[ ]setfam_1__t44_setfam_1.vout2024-08-03 06:37 23K 
[ ]setfam_1__t45_setfam_12024-07-28 21:47 3.5K 
[ ]setfam_1__t45_setfam_1.vout2024-08-03 04:16 7.9K 
[ ]setfam_1__t46_setfam_12024-07-28 22:04 3.8K 
[ ]setfam_1__t46_setfam_1.depv12024-08-03 10:19 104  
[ ]setfam_1__t46_setfam_1.depvmin12024-08-03 10:24 104  
[ ]setfam_1__t46_setfam_1.vmin12024-08-03 10:19 763  
[ ]setfam_1__t46_setfam_1.vmin1out2024-08-03 10:22 6.1K 
[ ]setfam_1__t46_setfam_1.vout2024-08-03 08:08 6.7K 
[ ]setfam_1__t47_setfam_12024-07-28 21:47 3.0K 
[ ]setfam_1__t47_setfam_1.vout2024-08-03 05:35 8.4K 
[ ]setfam_1__t48_setfam_12024-07-28 22:05 4.5K 
[ ]setfam_1__t48_setfam_1.depv12024-08-03 10:19 101  
[ ]setfam_1__t48_setfam_1.depvmin12024-08-03 10:24 101  
[ ]setfam_1__t48_setfam_1.vmin12024-08-03 10:19 1.0K 
[ ]setfam_1__t48_setfam_1.vmin1out2024-08-03 10:22 17K 
[ ]setfam_1__t48_setfam_1.vout2024-08-03 05:53 17K 
[ ]setfam_1__t49_setfam_12024-07-28 22:05 2.2K 
[ ]setfam_1__t49_setfam_1.depv12024-08-03 10:19 88  
[ ]setfam_1__t49_setfam_1.depvmin12024-08-03 10:24 88  
[ ]setfam_1__t49_setfam_1.vmin12024-08-03 10:19 638  
[ ]setfam_1__t49_setfam_1.vmin1out2024-08-03 10:20 9.1K 
[ ]setfam_1__t49_setfam_1.vout2024-08-03 04:28 9.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80