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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setfam_1__t1_setfam_12021-07-18 05:42 1.4K 
[ ]setfam_1__t1_setfam_1.depv12021-07-25 20:57 24  
[ ]setfam_1__t1_setfam_1.depvmin12021-07-25 21:03 24  
[ ]setfam_1__t1_setfam_1.vmin12021-07-25 20:57 323  
[ ]setfam_1__t1_setfam_1.vmin1out2021-07-25 21:00 4.9K 
[ ]setfam_1__t1_setfam_1.vout2021-07-25 17:39 4.9K 
[ ]setfam_1__t2_setfam_12021-07-18 05:43 3.4K 
[ ]setfam_1__t2_setfam_1.depv12021-07-25 20:57 126  
[ ]setfam_1__t2_setfam_1.depvmin12021-07-25 21:03 126  
[ ]setfam_1__t2_setfam_1.vmin12021-07-25 20:57 1.1K 
[ ]setfam_1__t2_setfam_1.vmin1out2021-07-25 21:02 17K 
[ ]setfam_1__t2_setfam_1.vout2021-07-25 17:39 18K 
[ ]setfam_1__t3_setfam_12021-07-18 05:42 3.2K 
[ ]setfam_1__t3_setfam_1.depv12021-07-25 20:57 56  
[ ]setfam_1__t3_setfam_1.depvmin12021-07-25 21:03 56  
[ ]setfam_1__t3_setfam_1.vmin12021-07-25 20:57 627  
[ ]setfam_1__t3_setfam_1.vmin1out2021-07-25 20:58 11K 
[ ]setfam_1__t3_setfam_1.vout2021-07-25 19:39 11K 
[ ]setfam_1__t4_setfam_12021-07-18 05:42 3.1K 
[ ]setfam_1__t4_setfam_1.depv12021-07-25 20:57 36  
[ ]setfam_1__t4_setfam_1.depvmin12021-07-25 21:03 36  
[ ]setfam_1__t4_setfam_1.vmin12021-07-25 20:57 290  
[ ]setfam_1__t4_setfam_1.vmin1out2021-07-25 20:57 2.7K 
[ ]setfam_1__t4_setfam_1.vout2021-07-25 16:16 4.0K 
[ ]setfam_1__t5_setfam_12021-07-18 05:43 3.2K 
[ ]setfam_1__t5_setfam_1.depv12021-07-25 20:57 34  
[ ]setfam_1__t5_setfam_1.depvmin12021-07-25 21:03 34  
[ ]setfam_1__t5_setfam_1.vmin12021-07-25 20:57 540  
[ ]setfam_1__t5_setfam_1.vmin1out2021-07-25 20:58 11K 
[ ]setfam_1__t5_setfam_1.vout2021-07-25 20:56 12K 
[ ]setfam_1__t6_setfam_12021-07-18 05:43 3.2K 
[ ]setfam_1__t6_setfam_1.depv12021-07-25 20:57 102  
[ ]setfam_1__t6_setfam_1.depvmin12021-07-25 21:03 102  
[ ]setfam_1__t6_setfam_1.vmin12021-07-25 20:57 962  
[ ]setfam_1__t6_setfam_1.vmin1out2021-07-25 20:59 18K 
[ ]setfam_1__t6_setfam_1.vout2021-07-25 14:39 18K 
[ ]setfam_1__t7_setfam_12021-07-18 05:43 3.1K 
[ ]setfam_1__t7_setfam_1.depv12021-07-25 20:57 34  
[ ]setfam_1__t7_setfam_1.depvmin12021-07-25 21:03 34  
[ ]setfam_1__t7_setfam_1.vmin12021-07-25 20:57 366  
[ ]setfam_1__t7_setfam_1.vmin1out2021-07-25 21:01 5.1K 
[ ]setfam_1__t7_setfam_1.vout2021-07-25 16:12 7.5K 
[ ]setfam_1__t8_setfam_12021-07-18 05:42 3.7K 
[ ]setfam_1__t8_setfam_1.depv12021-07-25 20:57 37  
[ ]setfam_1__t8_setfam_1.depvmin12021-07-25 21:03 37  
[ ]setfam_1__t8_setfam_1.vmin12021-07-25 20:57 375  
[ ]setfam_1__t8_setfam_1.vmin1out2021-07-25 21:01 3.7K 
[ ]setfam_1__t8_setfam_1.vout2021-07-25 18:13 5.3K 
[ ]setfam_1__t9_setfam_12021-07-18 05:43 4.7K 
[ ]setfam_1__t9_setfam_1.vout2021-07-25 17:07 8.4K 
[ ]setfam_1__t10_setfam_12021-07-18 05:43 3.5K 
[ ]setfam_1__t10_setfam_1.depv12021-07-25 20:57 84  
[ ]setfam_1__t10_setfam_1.depvmin12021-07-25 21:03 84  
[ ]setfam_1__t10_setfam_1.vmin12021-07-25 20:57 653  
[ ]setfam_1__t10_setfam_1.vmin1out2021-07-25 21:02 12K 
[ ]setfam_1__t10_setfam_1.vout2021-07-25 20:09 16K 
[ ]setfam_1__t11_setfam_12021-07-18 05:44 2.2K 
[ ]setfam_1__t11_setfam_1.vout2021-07-25 15:48 7.2K 
[ ]setfam_1__t12_setfam_12021-07-18 05:43 3.1K 
[ ]setfam_1__t12_setfam_1.depv12021-07-25 20:57 80  
[ ]setfam_1__t12_setfam_1.depvmin12021-07-25 21:03 80  
[ ]setfam_1__t12_setfam_1.vmin12021-07-25 20:57 551  
[ ]setfam_1__t12_setfam_1.vmin1out2021-07-25 21:02 6.2K 
[ ]setfam_1__t12_setfam_1.vout2021-07-25 15:30 8.7K 
[ ]setfam_1__t13_setfam_12021-07-18 05:44 3.3K 
[ ]setfam_1__t13_setfam_1.depv12021-07-25 20:57 68  
[ ]setfam_1__t13_setfam_1.depvmin12021-07-25 21:03 68  
[ ]setfam_1__t13_setfam_1.vmin12021-07-25 20:57 663  
[ ]setfam_1__t13_setfam_1.vmin1out2021-07-25 21:00 14K 
[ ]setfam_1__t13_setfam_1.vout2021-07-25 14:54 15K 
[ ]setfam_1__t14_setfam_12021-07-18 05:44 3.5K 
[ ]setfam_1__t14_setfam_1.depv12021-07-25 20:57 69  
[ ]setfam_1__t14_setfam_1.depvmin12021-07-25 21:03 69  
[ ]setfam_1__t14_setfam_1.vmin12021-07-25 20:57 835  
[ ]setfam_1__t14_setfam_1.vmin1out2021-07-25 20:58 16K 
[ ]setfam_1__t14_setfam_1.vout2021-07-25 15:01 19K 
[ ]setfam_1__t15_setfam_12021-07-18 05:43 3.0K 
[ ]setfam_1__t15_setfam_1.depv12021-07-25 20:57 47  
[ ]setfam_1__t15_setfam_1.depvmin12021-07-25 21:03 47  
[ ]setfam_1__t15_setfam_1.vmin12021-07-25 20:57 386  
[ ]setfam_1__t15_setfam_1.vmin1out2021-07-25 21:00 3.4K 
[ ]setfam_1__t15_setfam_1.vout2021-07-25 16:16 4.1K 
[ ]setfam_1__t16_setfam_12021-07-18 05:44 3.2K 
[ ]setfam_1__t16_setfam_1.depv12021-07-25 20:57 84  
[ ]setfam_1__t16_setfam_1.depvmin12021-07-25 21:03 84  
[ ]setfam_1__t16_setfam_1.vmin12021-07-25 20:57 666  
[ ]setfam_1__t16_setfam_1.vmin1out2021-07-25 21:01 7.6K 
[ ]setfam_1__t16_setfam_1.vout2021-07-25 19:23 7.7K 
[ ]setfam_1__t17_setfam_12021-07-18 05:44 3.2K 
[ ]setfam_1__t17_setfam_1.depv12021-07-25 20:57 35  
[ ]setfam_1__t17_setfam_1.depvmin12021-07-25 21:03 35  
[ ]setfam_1__t17_setfam_1.vmin12021-07-25 20:57 430  
[ ]setfam_1__t17_setfam_1.vmin1out2021-07-25 21:01 9.2K 
[ ]setfam_1__t17_setfam_1.vout2021-07-25 17:57 11K 
[ ]setfam_1__t18_setfam_12021-07-18 05:44 3.4K 
[ ]setfam_1__t18_setfam_1.depv12021-07-25 20:57 68  
[ ]setfam_1__t18_setfam_1.depvmin12021-07-25 21:03 68  
[ ]setfam_1__t18_setfam_1.vmin12021-07-25 20:57 641  
[ ]setfam_1__t18_setfam_1.vmin1out2021-07-25 20:59 12K 
[ ]setfam_1__t18_setfam_1.vout2021-07-25 20:00 12K 
[ ]setfam_1__t19_setfam_12021-07-18 05:44 4.4K 
[ ]setfam_1__t19_setfam_1.depv12021-07-25 20:57 92  
[ ]setfam_1__t19_setfam_1.depvmin12021-07-25 21:03 82  
[ ]setfam_1__t19_setfam_1.vmin12021-07-25 20:57 965  
[ ]setfam_1__t19_setfam_1.vmin1out2021-07-25 21:01 16K 
[ ]setfam_1__t19_setfam_1.vout2021-07-25 16:01 19K 
[ ]setfam_1__t20_setfam_12021-07-18 05:44 3.9K 
[ ]setfam_1__t20_setfam_1.depv12021-07-25 20:57 83  
[ ]setfam_1__t20_setfam_1.depvmin12021-07-25 21:03 83  
[ ]setfam_1__t20_setfam_1.vmin12021-07-25 20:57 604  
[ ]setfam_1__t20_setfam_1.vmin1out2021-07-25 20:59 9.6K 
[ ]setfam_1__t20_setfam_1.vout2021-07-25 19:21 10K 
[ ]setfam_1__t21_setfam_12021-07-18 05:45 3.8K 
[ ]setfam_1__t21_setfam_1.depv12021-07-25 20:57 50  
[ ]setfam_1__t21_setfam_1.depvmin12021-07-25 21:03 50  
[ ]setfam_1__t21_setfam_1.vmin12021-07-25 20:57 547  
[ ]setfam_1__t21_setfam_1.vmin1out2021-07-25 20:58 10K 
[ ]setfam_1__t21_setfam_1.vout2021-07-25 20:38 11K 
[ ]setfam_1__t22_setfam_12021-07-18 05:45 3.7K 
[ ]setfam_1__t22_setfam_1.depv12021-07-25 20:57 87  
[ ]setfam_1__t22_setfam_1.depvmin12021-07-25 21:03 87  
[ ]setfam_1__t22_setfam_1.vmin12021-07-25 20:57 748  
[ ]setfam_1__t22_setfam_1.vmin1out2021-07-25 21:01 12K 
[ ]setfam_1__t22_setfam_1.vout2021-07-25 17:18 12K 
[ ]setfam_1__t23_setfam_12021-07-18 05:45 4.3K 
[ ]setfam_1__t23_setfam_1.vout2021-07-25 16:50 8.4K 
[ ]setfam_1__t24_setfam_12021-07-18 05:45 4.5K 
[ ]setfam_1__t24_setfam_1.vout2021-07-25 18:35 8.4K 
[ ]setfam_1__t25_setfam_12021-07-18 05:45 4.1K 
[ ]setfam_1__t25_setfam_1.vout2021-07-25 15:39 8.4K 
[ ]setfam_1__t26_setfam_12021-07-18 05:45 4.5K 
[ ]setfam_1__t26_setfam_1.vout2021-07-25 17:20 8.4K 
[ ]setfam_1__t27_setfam_12021-07-18 05:45 4.4K 
[ ]setfam_1__t27_setfam_1.vout2021-07-25 19:18 8.4K 
[ ]setfam_1__t28_setfam_12021-07-18 05:46 4.0K 
[ ]setfam_1__t28_setfam_1.vout2021-07-25 18:40 8.4K 
[ ]setfam_1__t29_setfam_12021-07-18 05:46 4.3K 
[ ]setfam_1__t29_setfam_1.vout2021-07-25 17:27 7.9K 
[ ]setfam_1__t30_setfam_12021-07-18 05:46 4.1K 
[ ]setfam_1__t30_setfam_1.vout2021-07-25 20:46 7.9K 
[ ]setfam_1__t31_setfam_12021-07-18 05:46 3.2K 
[ ]setfam_1__t31_setfam_1.depv12021-07-25 20:57 142  
[ ]setfam_1__t31_setfam_1.depvmin12021-07-25 21:03 129  
[ ]setfam_1__t31_setfam_1.vmin12021-07-25 20:57 1.2K 
[ ]setfam_1__t31_setfam_1.vmin1out2021-07-25 20:58 19K 
[ ]setfam_1__t31_setfam_1.vout2021-07-25 20:56 22K 
[ ]setfam_1__t32_setfam_12021-07-18 05:46 4.2K 
[ ]setfam_1__t32_setfam_1.depv12021-07-25 20:57 136  
[ ]setfam_1__t32_setfam_1.depvmin12021-07-25 21:03 136  
[ ]setfam_1__t32_setfam_1.vmin12021-07-25 20:57 1.3K 
[ ]setfam_1__t32_setfam_1.vmin1out2021-07-25 20:59 17K 
[ ]setfam_1__t32_setfam_1.vout2021-07-25 17:26 17K 
[ ]setfam_1__t33_setfam_12021-07-18 05:46 5.9K 
[ ]setfam_1__t33_setfam_1.vout2021-07-25 18:01 7.3K 
[ ]setfam_1__t34_setfam_12021-07-18 05:46 5.8K 
[ ]setfam_1__t34_setfam_1.vout2021-07-25 18:59 6.8K 
[ ]setfam_1__t35_setfam_12021-07-18 05:46 4.0K 
[ ]setfam_1__t35_setfam_1.depv12021-07-25 20:57 67  
[ ]setfam_1__t35_setfam_1.depvmin12021-07-25 21:03 67  
[ ]setfam_1__t35_setfam_1.vmin12021-07-25 20:57 825  
[ ]setfam_1__t35_setfam_1.vmin1out2021-07-25 21:02 15K 
[ ]setfam_1__t35_setfam_1.vout2021-07-25 17:06 15K 
[ ]setfam_1__t36_setfam_12021-07-18 05:47 4.2K 
[ ]setfam_1__t36_setfam_1.depv12021-07-25 20:57 140  
[ ]setfam_1__t36_setfam_1.depvmin12021-07-25 21:03 110  
[ ]setfam_1__t36_setfam_1.vmin12021-07-25 20:57 1.5K 
[ ]setfam_1__t36_setfam_1.vmin1out2021-07-25 21:00 22K 
[ ]setfam_1__t36_setfam_1.vout2021-07-25 16:18 31K 
[ ]setfam_1__t37_setfam_12021-07-18 05:47 3.6K 
[ ]setfam_1__t37_setfam_1.depv12021-07-25 20:57 78  
[ ]setfam_1__t37_setfam_1.depvmin12021-07-25 21:03 68  
[ ]setfam_1__t37_setfam_1.vmin12021-07-25 20:57 879  
[ ]setfam_1__t37_setfam_1.vmin1out2021-07-25 20:58 12K 
[ ]setfam_1__t37_setfam_1.vout2021-07-25 19:30 15K 
[ ]setfam_1__t38_setfam_12021-07-18 05:47 3.2K 
[ ]setfam_1__t38_setfam_1.depv12021-07-25 20:57 40  
[ ]setfam_1__t38_setfam_1.depvmin12021-07-25 21:03 40  
[ ]setfam_1__t38_setfam_1.vmin12021-07-25 20:57 360  
[ ]setfam_1__t38_setfam_1.vmin1out2021-07-25 21:01 5.4K 
[ ]setfam_1__t38_setfam_1.vout2021-07-25 17:50 5.5K 
[ ]setfam_1__t39_setfam_12021-07-18 05:47 5.4K 
[ ]setfam_1__t39_setfam_1.vout2021-07-25 16:40 6.8K 
[ ]setfam_1__t40_setfam_12021-07-18 05:47 4.9K 
[ ]setfam_1__t40_setfam_1.depv12021-07-25 20:57 196  
[ ]setfam_1__t40_setfam_1.depvmin12021-07-25 21:03 187  
[ ]setfam_1__t40_setfam_1.vmin12021-07-25 20:57 1.6K 
[ ]setfam_1__t40_setfam_1.vmin1out2021-07-25 21:01 29K 
[ ]setfam_1__t40_setfam_1.vout2021-07-25 20:39 37K 
[ ]setfam_1__t41_setfam_12021-07-18 05:47 3.1K 
[ ]setfam_1__t41_setfam_1.depv12021-07-25 20:57 56  
[ ]setfam_1__t41_setfam_1.depvmin12021-07-25 21:03 56  
[ ]setfam_1__t41_setfam_1.vmin12021-07-25 20:57 512  
[ ]setfam_1__t41_setfam_1.vmin1out2021-07-25 20:59 9.9K 
[ ]setfam_1__t41_setfam_1.vout2021-07-25 18:08 10K 
[ ]setfam_1__t42_setfam_12021-07-18 05:47 4.6K 
[ ]setfam_1__t42_setfam_1.vout2021-07-25 19:53 7.3K 
[ ]setfam_1__t43_setfam_12021-07-18 05:47 3.8K 
[ ]setfam_1__t43_setfam_1.depv12021-07-25 20:57 136  
[ ]setfam_1__t43_setfam_1.depvmin12021-07-25 21:03 136  
[ ]setfam_1__t43_setfam_1.vmin12021-07-25 20:57 1.3K 
[ ]setfam_1__t43_setfam_1.vmin1out2021-07-25 20:58 25K 
[ ]setfam_1__t43_setfam_1.vout2021-07-25 20:56 26K 
[ ]setfam_1__t44_setfam_12021-07-18 05:48 3.4K 
[ ]setfam_1__t44_setfam_1.depv12021-07-25 20:57 104  
[ ]setfam_1__t44_setfam_1.depvmin12021-07-25 21:03 104  
[ ]setfam_1__t44_setfam_1.vmin12021-07-25 20:57 1.2K 
[ ]setfam_1__t44_setfam_1.vmin1out2021-07-25 21:01 17K 
[ ]setfam_1__t44_setfam_1.vout2021-07-25 20:49 23K 
[ ]setfam_1__t45_setfam_12021-07-18 05:43 3.5K 
[ ]setfam_1__t45_setfam_1.vout2021-07-25 16:02 7.9K 
[ ]setfam_1__t46_setfam_12021-07-18 05:48 3.8K 
[ ]setfam_1__t46_setfam_1.depv12021-07-25 20:57 104  
[ ]setfam_1__t46_setfam_1.depvmin12021-07-25 21:03 104  
[ ]setfam_1__t46_setfam_1.vmin12021-07-25 20:57 763  
[ ]setfam_1__t46_setfam_1.vmin1out2021-07-25 21:01 6.1K 
[ ]setfam_1__t46_setfam_1.vout2021-07-25 18:09 6.7K 
[ ]setfam_1__t47_setfam_12021-07-18 05:43 3.0K 
[ ]setfam_1__t47_setfam_1.vout2021-07-25 19:13 8.4K 
[ ]setfam_1__t48_setfam_12021-07-18 05:48 4.5K 
[ ]setfam_1__t48_setfam_1.depv12021-07-25 20:57 101  
[ ]setfam_1__t48_setfam_1.depvmin12021-07-25 21:03 101  
[ ]setfam_1__t48_setfam_1.vmin12021-07-25 20:57 1.0K 
[ ]setfam_1__t48_setfam_1.vmin1out2021-07-25 21:02 17K 
[ ]setfam_1__t48_setfam_1.vout2021-07-25 15:44 17K 
[ ]setfam_1__t49_setfam_12021-07-18 05:48 2.2K 
[ ]setfam_1__t49_setfam_1.depv12021-07-25 20:57 88  
[ ]setfam_1__t49_setfam_1.depvmin12021-07-25 21:03 88  
[ ]setfam_1__t49_setfam_1.vmin12021-07-25 20:57 638  
[ ]setfam_1__t49_setfam_1.vmin1out2021-07-25 21:01 9.1K 
[ ]setfam_1__t49_setfam_1.vout2021-07-25 17:49 9.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80