Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/setfam_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setfam_1__t1_setfam_12025-09-09 20:17 1.4K 
[ ]setfam_1__t1_setfam_1.depv12025-09-15 19:47 24  
[ ]setfam_1__t1_setfam_1.depvmin12025-09-15 19:51 24  
[ ]setfam_1__t1_setfam_1.vmin12025-09-15 19:47 323  
[ ]setfam_1__t1_setfam_1.vmin1out2025-09-15 19:48 4.9K 
[ ]setfam_1__t1_setfam_1.vout2025-09-15 15:04 4.9K 
[ ]setfam_1__t2_setfam_12025-09-09 20:19 3.4K 
[ ]setfam_1__t2_setfam_1.depv12025-09-15 19:47 126  
[ ]setfam_1__t2_setfam_1.depvmin12025-09-15 19:51 126  
[ ]setfam_1__t2_setfam_1.vmin12025-09-15 19:47 1.1K 
[ ]setfam_1__t2_setfam_1.vmin1out2025-09-15 19:48 17K 
[ ]setfam_1__t2_setfam_1.vout2025-09-15 18:49 18K 
[ ]setfam_1__t3_setfam_12025-09-09 20:17 3.2K 
[ ]setfam_1__t3_setfam_1.depv12025-09-15 19:47 56  
[ ]setfam_1__t3_setfam_1.depvmin12025-09-15 19:51 56  
[ ]setfam_1__t3_setfam_1.vmin12025-09-15 19:47 627  
[ ]setfam_1__t3_setfam_1.vmin1out2025-09-15 19:47 11K 
[ ]setfam_1__t3_setfam_1.vout2025-09-15 16:38 11K 
[ ]setfam_1__t4_setfam_12025-09-09 20:17 3.1K 
[ ]setfam_1__t4_setfam_1.depv12025-09-15 19:47 36  
[ ]setfam_1__t4_setfam_1.depvmin12025-09-15 19:51 36  
[ ]setfam_1__t4_setfam_1.vmin12025-09-15 19:47 290  
[ ]setfam_1__t4_setfam_1.vmin1out2025-09-15 19:47 2.7K 
[ ]setfam_1__t4_setfam_1.vout2025-09-15 13:54 4.0K 
[ ]setfam_1__t5_setfam_12025-09-09 20:20 3.2K 
[ ]setfam_1__t5_setfam_1.depv12025-09-15 19:47 34  
[ ]setfam_1__t5_setfam_1.depvmin12025-09-15 19:51 34  
[ ]setfam_1__t5_setfam_1.vmin12025-09-15 19:47 540  
[ ]setfam_1__t5_setfam_1.vmin1out2025-09-15 19:50 11K 
[ ]setfam_1__t5_setfam_1.vout2025-09-15 19:46 12K 
[ ]setfam_1__t6_setfam_12025-09-09 20:20 3.2K 
[ ]setfam_1__t6_setfam_1.depv12025-09-15 19:47 102  
[ ]setfam_1__t6_setfam_1.depvmin12025-09-15 19:51 102  
[ ]setfam_1__t6_setfam_1.vmin12025-09-15 19:47 962  
[ ]setfam_1__t6_setfam_1.vmin1out2025-09-15 19:48 18K 
[ ]setfam_1__t6_setfam_1.vout2025-09-15 19:15 18K 
[ ]setfam_1__t7_setfam_12025-09-09 20:21 3.1K 
[ ]setfam_1__t7_setfam_1.depv12025-09-15 19:47 34  
[ ]setfam_1__t7_setfam_1.depvmin12025-09-15 19:51 34  
[ ]setfam_1__t7_setfam_1.vmin12025-09-15 19:47 366  
[ ]setfam_1__t7_setfam_1.vmin1out2025-09-15 19:50 5.1K 
[ ]setfam_1__t7_setfam_1.vout2025-09-15 14:39 7.5K 
[ ]setfam_1__t8_setfam_12025-09-09 20:18 3.7K 
[ ]setfam_1__t8_setfam_1.depv12025-09-15 19:47 37  
[ ]setfam_1__t8_setfam_1.depvmin12025-09-15 19:51 37  
[ ]setfam_1__t8_setfam_1.vmin12025-09-15 19:47 375  
[ ]setfam_1__t8_setfam_1.vmin1out2025-09-15 19:47 3.7K 
[ ]setfam_1__t8_setfam_1.vout2025-09-15 17:19 5.3K 
[ ]setfam_1__t9_setfam_12025-09-09 20:21 4.7K 
[ ]setfam_1__t9_setfam_1.vout2025-09-15 18:05 8.4K 
[ ]setfam_1__t10_setfam_12025-09-09 20:21 3.5K 
[ ]setfam_1__t10_setfam_1.depv12025-09-15 19:47 84  
[ ]setfam_1__t10_setfam_1.depvmin12025-09-15 19:51 84  
[ ]setfam_1__t10_setfam_1.vmin12025-09-15 19:47 653  
[ ]setfam_1__t10_setfam_1.vmin1out2025-09-15 19:48 12K 
[ ]setfam_1__t10_setfam_1.vout2025-09-15 18:17 16K 
[ ]setfam_1__t11_setfam_12025-09-09 20:22 2.2K 
[ ]setfam_1__t11_setfam_1.vout2025-09-15 15:37 7.2K 
[ ]setfam_1__t12_setfam_12025-09-09 20:18 3.1K 
[ ]setfam_1__t12_setfam_1.depv12025-09-15 19:47 80  
[ ]setfam_1__t12_setfam_1.depvmin12025-09-15 19:51 80  
[ ]setfam_1__t12_setfam_1.vmin12025-09-15 19:47 551  
[ ]setfam_1__t12_setfam_1.vmin1out2025-09-15 19:48 6.2K 
[ ]setfam_1__t12_setfam_1.vout2025-09-15 15:17 8.7K 
[ ]setfam_1__t13_setfam_12025-09-09 20:22 3.3K 
[ ]setfam_1__t13_setfam_1.depv12025-09-15 19:47 68  
[ ]setfam_1__t13_setfam_1.depvmin12025-09-15 19:51 68  
[ ]setfam_1__t13_setfam_1.vmin12025-09-15 19:47 663  
[ ]setfam_1__t13_setfam_1.vmin1out2025-09-15 19:50 14K 
[ ]setfam_1__t13_setfam_1.vout2025-09-15 19:00 15K 
[ ]setfam_1__t14_setfam_12025-09-09 20:23 3.5K 
[ ]setfam_1__t14_setfam_1.depv12025-09-15 19:47 69  
[ ]setfam_1__t14_setfam_1.depvmin12025-09-15 19:51 69  
[ ]setfam_1__t14_setfam_1.vmin12025-09-15 19:47 835  
[ ]setfam_1__t14_setfam_1.vmin1out2025-09-15 19:48 16K 
[ ]setfam_1__t14_setfam_1.vout2025-09-15 14:41 19K 
[ ]setfam_1__t15_setfam_12025-09-09 20:18 3.0K 
[ ]setfam_1__t15_setfam_1.depv12025-09-15 19:47 47  
[ ]setfam_1__t15_setfam_1.depvmin12025-09-15 19:51 47  
[ ]setfam_1__t15_setfam_1.vmin12025-09-15 19:47 386  
[ ]setfam_1__t15_setfam_1.vmin1out2025-09-15 19:48 3.4K 
[ ]setfam_1__t15_setfam_1.vout2025-09-15 15:39 4.1K 
[ ]setfam_1__t16_setfam_12025-09-09 20:23 3.2K 
[ ]setfam_1__t16_setfam_1.depv12025-09-15 19:47 84  
[ ]setfam_1__t16_setfam_1.depvmin12025-09-15 19:51 84  
[ ]setfam_1__t16_setfam_1.vmin12025-09-15 19:47 666  
[ ]setfam_1__t16_setfam_1.vmin1out2025-09-15 19:48 7.6K 
[ ]setfam_1__t16_setfam_1.vout2025-09-15 19:21 7.7K 
[ ]setfam_1__t17_setfam_12025-09-09 20:23 3.2K 
[ ]setfam_1__t17_setfam_1.depv12025-09-15 19:47 35  
[ ]setfam_1__t17_setfam_1.depvmin12025-09-15 19:51 35  
[ ]setfam_1__t17_setfam_1.vmin12025-09-15 19:47 430  
[ ]setfam_1__t17_setfam_1.vmin1out2025-09-15 19:47 9.2K 
[ ]setfam_1__t17_setfam_1.vout2025-09-15 14:05 11K 
[ ]setfam_1__t18_setfam_12025-09-09 20:24 3.4K 
[ ]setfam_1__t18_setfam_1.depv12025-09-15 19:47 68  
[ ]setfam_1__t18_setfam_1.depvmin12025-09-15 19:51 68  
[ ]setfam_1__t18_setfam_1.vmin12025-09-15 19:47 641  
[ ]setfam_1__t18_setfam_1.vmin1out2025-09-15 19:47 12K 
[ ]setfam_1__t18_setfam_1.vout2025-09-15 13:44 12K 
[ ]setfam_1__t19_setfam_12025-09-09 20:24 4.4K 
[ ]setfam_1__t19_setfam_1.depv12025-09-15 19:47 92  
[ ]setfam_1__t19_setfam_1.depvmin12025-09-15 19:51 82  
[ ]setfam_1__t19_setfam_1.vmin12025-09-15 19:47 965  
[ ]setfam_1__t19_setfam_1.vmin1out2025-09-15 19:50 16K 
[ ]setfam_1__t19_setfam_1.vout2025-09-15 18:28 19K 
[ ]setfam_1__t20_setfam_12025-09-09 20:25 3.9K 
[ ]setfam_1__t20_setfam_1.depv12025-09-15 19:47 83  
[ ]setfam_1__t20_setfam_1.depvmin12025-09-15 19:51 83  
[ ]setfam_1__t20_setfam_1.vmin12025-09-15 19:47 604  
[ ]setfam_1__t20_setfam_1.vmin1out2025-09-15 19:49 9.6K 
[ ]setfam_1__t20_setfam_1.vout2025-09-15 17:11 10K 
[ ]setfam_1__t21_setfam_12025-09-09 20:25 3.8K 
[ ]setfam_1__t21_setfam_1.depv12025-09-15 19:47 50  
[ ]setfam_1__t21_setfam_1.depvmin12025-09-15 19:51 50  
[ ]setfam_1__t21_setfam_1.vmin12025-09-15 19:47 547  
[ ]setfam_1__t21_setfam_1.vmin1out2025-09-15 19:48 10K 
[ ]setfam_1__t21_setfam_1.vout2025-09-15 18:09 11K 
[ ]setfam_1__t22_setfam_12025-09-09 20:26 3.7K 
[ ]setfam_1__t22_setfam_1.depv12025-09-15 19:47 87  
[ ]setfam_1__t22_setfam_1.depvmin12025-09-15 19:51 87  
[ ]setfam_1__t22_setfam_1.vmin12025-09-15 19:47 748  
[ ]setfam_1__t22_setfam_1.vmin1out2025-09-15 19:48 12K 
[ ]setfam_1__t22_setfam_1.vout2025-09-15 16:00 12K 
[ ]setfam_1__t23_setfam_12025-09-09 20:26 4.3K 
[ ]setfam_1__t23_setfam_1.vout2025-09-15 19:41 8.4K 
[ ]setfam_1__t24_setfam_12025-09-09 20:27 4.5K 
[ ]setfam_1__t24_setfam_1.vout2025-09-15 17:48 8.4K 
[ ]setfam_1__t25_setfam_12025-09-09 20:27 4.1K 
[ ]setfam_1__t25_setfam_1.vout2025-09-15 17:08 8.4K 
[ ]setfam_1__t26_setfam_12025-09-09 20:28 4.5K 
[ ]setfam_1__t26_setfam_1.vout2025-09-15 16:58 8.4K 
[ ]setfam_1__t27_setfam_12025-09-09 20:28 4.4K 
[ ]setfam_1__t27_setfam_1.vout2025-09-15 17:18 8.4K 
[ ]setfam_1__t28_setfam_12025-09-09 20:29 4.0K 
[ ]setfam_1__t28_setfam_1.vout2025-09-15 13:42 8.4K 
[ ]setfam_1__t29_setfam_12025-09-09 20:29 4.3K 
[ ]setfam_1__t29_setfam_1.vout2025-09-15 18:45 7.9K 
[ ]setfam_1__t30_setfam_12025-09-09 20:30 4.1K 
[ ]setfam_1__t30_setfam_1.vout2025-09-15 15:03 7.9K 
[ ]setfam_1__t31_setfam_12025-09-09 20:30 3.2K 
[ ]setfam_1__t31_setfam_1.depv12025-09-15 19:47 142  
[ ]setfam_1__t31_setfam_1.depvmin12025-09-15 19:51 129  
[ ]setfam_1__t31_setfam_1.vmin12025-09-15 19:47 1.2K 
[ ]setfam_1__t31_setfam_1.vmin1out2025-09-15 19:48 19K 
[ ]setfam_1__t31_setfam_1.vout2025-09-15 16:01 22K 
[ ]setfam_1__t32_setfam_12025-09-09 20:31 4.2K 
[ ]setfam_1__t32_setfam_1.depv12025-09-15 19:47 136  
[ ]setfam_1__t32_setfam_1.depvmin12025-09-15 19:51 136  
[ ]setfam_1__t32_setfam_1.vmin12025-09-15 19:47 1.3K 
[ ]setfam_1__t32_setfam_1.vmin1out2025-09-15 19:50 17K 
[ ]setfam_1__t32_setfam_1.vout2025-09-15 17:15 17K 
[ ]setfam_1__t33_setfam_12025-09-09 20:31 5.9K 
[ ]setfam_1__t33_setfam_1.vout2025-09-15 17:05 7.3K 
[ ]setfam_1__t34_setfam_12025-09-09 20:32 5.8K 
[ ]setfam_1__t34_setfam_1.vout2025-09-15 15:25 6.8K 
[ ]setfam_1__t35_setfam_12025-09-09 20:32 4.0K 
[ ]setfam_1__t35_setfam_1.depv12025-09-15 19:47 67  
[ ]setfam_1__t35_setfam_1.depvmin12025-09-15 19:51 67  
[ ]setfam_1__t35_setfam_1.vmin12025-09-15 19:47 825  
[ ]setfam_1__t35_setfam_1.vmin1out2025-09-15 19:49 15K 
[ ]setfam_1__t35_setfam_1.vout2025-09-15 18:02 15K 
[ ]setfam_1__t36_setfam_12025-09-09 20:33 4.2K 
[ ]setfam_1__t36_setfam_1.depv12025-09-15 19:47 161  
[ ]setfam_1__t36_setfam_1.depvmin12025-09-15 19:51 110  
[ ]setfam_1__t36_setfam_1.vmin12025-09-15 19:47 1.6K 
[ ]setfam_1__t36_setfam_1.vmin1out2025-09-15 19:51 22K 
[ ]setfam_1__t36_setfam_1.vout2025-09-15 14:10 34K 
[ ]setfam_1__t37_setfam_12025-09-09 20:33 3.6K 
[ ]setfam_1__t37_setfam_1.depv12025-09-15 19:47 78  
[ ]setfam_1__t37_setfam_1.depvmin12025-09-15 19:51 68  
[ ]setfam_1__t37_setfam_1.vmin12025-09-15 19:47 879  
[ ]setfam_1__t37_setfam_1.vmin1out2025-09-15 19:50 12K 
[ ]setfam_1__t37_setfam_1.vout2025-09-15 15:46 15K 
[ ]setfam_1__t38_setfam_12025-09-09 20:33 3.2K 
[ ]setfam_1__t38_setfam_1.depv12025-09-15 19:47 40  
[ ]setfam_1__t38_setfam_1.depvmin12025-09-15 19:51 40  
[ ]setfam_1__t38_setfam_1.vmin12025-09-15 19:47 360  
[ ]setfam_1__t38_setfam_1.vmin1out2025-09-15 19:48 5.4K 
[ ]setfam_1__t38_setfam_1.vout2025-09-15 18:50 5.5K 
[ ]setfam_1__t39_setfam_12025-09-09 20:34 5.4K 
[ ]setfam_1__t39_setfam_1.vout2025-09-15 13:38 6.8K 
[ ]setfam_1__t40_setfam_12025-09-09 20:34 4.9K 
[ ]setfam_1__t40_setfam_1.depv12025-09-15 19:47 196  
[ ]setfam_1__t40_setfam_1.depvmin12025-09-15 19:51 187  
[ ]setfam_1__t40_setfam_1.vmin12025-09-15 19:47 1.6K 
[ ]setfam_1__t40_setfam_1.vmin1out2025-09-15 19:49 29K 
[ ]setfam_1__t40_setfam_1.vout2025-09-15 16:16 37K 
[ ]setfam_1__t41_setfam_12025-09-09 20:35 3.1K 
[ ]setfam_1__t41_setfam_1.depv12025-09-15 19:47 56  
[ ]setfam_1__t41_setfam_1.depvmin12025-09-15 19:51 56  
[ ]setfam_1__t41_setfam_1.vmin12025-09-15 19:47 512  
[ ]setfam_1__t41_setfam_1.vmin1out2025-09-15 19:47 9.9K 
[ ]setfam_1__t41_setfam_1.vout2025-09-15 15:19 10K 
[ ]setfam_1__t42_setfam_12025-09-09 20:35 4.6K 
[ ]setfam_1__t42_setfam_1.vout2025-09-15 18:20 7.3K 
[ ]setfam_1__t43_setfam_12025-09-09 20:35 3.8K 
[ ]setfam_1__t43_setfam_1.depv12025-09-15 19:47 136  
[ ]setfam_1__t43_setfam_1.depvmin12025-09-15 19:51 136  
[ ]setfam_1__t43_setfam_1.vmin12025-09-15 19:47 1.3K 
[ ]setfam_1__t43_setfam_1.vmin1out2025-09-15 19:51 25K 
[ ]setfam_1__t43_setfam_1.vout2025-09-15 14:49 26K 
[ ]setfam_1__t44_setfam_12025-09-09 20:36 3.4K 
[ ]setfam_1__t44_setfam_1.depv12025-09-15 19:47 104  
[ ]setfam_1__t44_setfam_1.depvmin12025-09-15 19:51 104  
[ ]setfam_1__t44_setfam_1.vmin12025-09-15 19:47 1.2K 
[ ]setfam_1__t44_setfam_1.vmin1out2025-09-15 19:49 17K 
[ ]setfam_1__t44_setfam_1.vout2025-09-15 14:25 23K 
[ ]setfam_1__t45_setfam_12025-09-09 20:19 3.5K 
[ ]setfam_1__t45_setfam_1.vout2025-09-15 18:40 7.9K 
[ ]setfam_1__t46_setfam_12025-09-09 20:36 3.8K 
[ ]setfam_1__t46_setfam_1.depv12025-09-15 19:47 104  
[ ]setfam_1__t46_setfam_1.depvmin12025-09-15 19:51 104  
[ ]setfam_1__t46_setfam_1.vmin12025-09-15 19:47 763  
[ ]setfam_1__t46_setfam_1.vmin1out2025-09-15 19:51 6.1K 
[ ]setfam_1__t46_setfam_1.vout2025-09-15 19:06 6.7K 
[ ]setfam_1__t47_setfam_12025-09-09 20:19 3.0K 
[ ]setfam_1__t47_setfam_1.vout2025-09-15 14:55 8.4K 
[ ]setfam_1__t48_setfam_12025-09-09 20:37 4.5K 
[ ]setfam_1__t48_setfam_1.depv12025-09-15 19:47 101  
[ ]setfam_1__t48_setfam_1.depvmin12025-09-15 19:51 101  
[ ]setfam_1__t48_setfam_1.vmin12025-09-15 19:47 1.0K 
[ ]setfam_1__t48_setfam_1.vmin1out2025-09-15 19:49 17K 
[ ]setfam_1__t48_setfam_1.vout2025-09-15 17:42 17K 
[ ]setfam_1__t49_setfam_12025-09-09 20:37 2.2K 
[ ]setfam_1__t49_setfam_1.depv12025-09-15 19:47 88  
[ ]setfam_1__t49_setfam_1.depvmin12025-09-15 19:51 88  
[ ]setfam_1__t49_setfam_1.vmin12025-09-15 19:47 638  
[ ]setfam_1__t49_setfam_1.vmin1out2025-09-15 19:48 9.1K 
[ ]setfam_1__t49_setfam_1.vout2025-09-15 16:46 9.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80