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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bhsp_4__t1_bhsp_42025-09-08 19:38 35K 
[ ]bhsp_4__t1_bhsp_4.vout2025-09-15 17:54 4.7K 
[ ]bhsp_4__t2_bhsp_42025-09-08 19:40 36K 
[ ]bhsp_4__t2_bhsp_4.vout2025-09-15 17:33 4.7K 
[ ]bhsp_4__t3_bhsp_42025-09-08 19:42 35K 
[ ]bhsp_4__t3_bhsp_4.vout2025-09-15 17:12 4.7K 
[ ]bhsp_4__t4_bhsp_42025-09-08 19:43 31K 
[ ]bhsp_4__t4_bhsp_4.depv12025-09-15 19:47 194  
[ ]bhsp_4__t4_bhsp_4.depvmin12025-09-15 19:52 194  
[ ]bhsp_4__t4_bhsp_4.vmin12025-09-15 19:47 3.9K 
[ ]bhsp_4__t4_bhsp_4.vmin1out2025-09-15 19:50 83K 
[ ]bhsp_4__t4_bhsp_4.vout2025-09-15 19:44 68K 
[ ]bhsp_4__t5_bhsp_42025-09-08 19:45 32K 
[ ]bhsp_4__t5_bhsp_4.vout2025-09-15 14:24 4.1K 
[ ]bhsp_4__t6_bhsp_42025-09-08 19:46 37K 
[ ]bhsp_4__t6_bhsp_4.vout2025-09-15 16:27 4.1K 
[ ]bhsp_4__t7_bhsp_42025-09-08 19:48 36K 
[ ]bhsp_4__t7_bhsp_4.vout2025-09-15 19:21 4.1K 
[ ]bhsp_4__t8_bhsp_42025-09-08 19:50 35K 
[ ]bhsp_4__t8_bhsp_4.vout2025-09-15 17:01 4.1K 
[ ]bhsp_4__t10_bhsp_42025-09-08 19:24 33K 
[ ]bhsp_4__t10_bhsp_4.vout2025-09-15 15:45 2.0K 
[ ]bhsp_4__t11_bhsp_42025-09-08 19:25 26K 
[ ]bhsp_4__t11_bhsp_4.vout2025-09-15 16:52 3.5K 
[ ]bhsp_4__t13_bhsp_42025-09-08 19:51 49K 
[ ]bhsp_4__t13_bhsp_4.vout2025-09-15 17:54 4.7K 
[ ]bhsp_4__t15_bhsp_42025-09-08 19:27 32K 
[ ]bhsp_4__t15_bhsp_4.depv12025-09-15 19:47 182  
[ ]bhsp_4__t15_bhsp_4.depvmin12025-09-15 19:52 182  
[ ]bhsp_4__t15_bhsp_4.vmin12025-09-15 19:47 3.0K 
[ ]bhsp_4__t15_bhsp_4.vmin1out2025-09-15 19:50 49K 
[ ]bhsp_4__t15_bhsp_4.vout2025-09-15 15:24 50K 
[ ]bhsp_4__t16_bhsp_42025-09-08 19:53 33K 
[ ]bhsp_4__t16_bhsp_4.vout2025-09-15 17:13 7.3K 
[ ]bhsp_4__t17_bhsp_42025-09-08 19:55 34K 
[ ]bhsp_4__t17_bhsp_4.depv12025-09-15 19:47 275  
[ ]bhsp_4__t17_bhsp_4.depvmin12025-09-15 19:52 207  
[ ]bhsp_4__t17_bhsp_4.vmin12025-09-15 19:47 4.7K 
[ ]bhsp_4__t17_bhsp_4.vmin1out2025-09-15 19:48 60K 
[ ]bhsp_4__t17_bhsp_4.vout2025-09-15 15:06 77K 
[ ]bhsp_4__t18_bhsp_42025-09-08 19:29 33K 
[ ]bhsp_4__t18_bhsp_4.depv12025-09-15 19:47 287  
[ ]bhsp_4__t18_bhsp_4.depvmin12025-09-15 19:52 287  
[ ]bhsp_4__t18_bhsp_4.vmin12025-09-15 19:47 4.6K 
[ ]bhsp_4__t18_bhsp_4.vmin1out2025-09-15 19:51 74K 
[ ]bhsp_4__t18_bhsp_4.vout2025-09-15 15:16 75K 
[ ]bhsp_4__t19_bhsp_42025-09-08 19:56 36K 
[ ]bhsp_4__t19_bhsp_4.vout2025-09-15 16:48 7.3K 
[ ]bhsp_4__t20_bhsp_42025-09-08 19:58 33K 
[ ]bhsp_4__t20_bhsp_4.depv12025-09-15 19:47 269  
[ ]bhsp_4__t20_bhsp_4.depvmin12025-09-15 19:52 269  
[ ]bhsp_4__t20_bhsp_4.vmin12025-09-15 19:47 2.6K 
[ ]bhsp_4__t20_bhsp_4.vmin1out2025-09-15 19:50 24K 
[ ]bhsp_4__t20_bhsp_4.vout2025-09-15 16:17 26K 
[ ]bhsp_4__t21_bhsp_42025-09-08 20:00 37K 
[ ]bhsp_4__t21_bhsp_4.vout2025-09-15 19:11 7.3K 
[ ]bhsp_4__t22_bhsp_42025-09-08 19:30 34K 
[ ]bhsp_4__t22_bhsp_4.depv12025-09-15 19:47 194  
[ ]bhsp_4__t22_bhsp_4.depvmin12025-09-15 19:52 114  
[ ]bhsp_4__t22_bhsp_4.vmin12025-09-15 19:47 2.7K 
[ ]bhsp_4__t22_bhsp_4.vmin1out2025-09-15 19:51 26K 
[ ]bhsp_4__t22_bhsp_4.vout2025-09-15 15:15 20K 
[ ]bhsp_4__t23_bhsp_42025-09-08 20:01 32K 
[ ]bhsp_4__t23_bhsp_4.vout2025-09-15 17:42 2.0K 
[ ]bhsp_4__t24_bhsp_42025-09-08 20:03 33K 
[ ]bhsp_4__t24_bhsp_4.depv12025-09-15 19:47 56  
[ ]bhsp_4__t24_bhsp_4.depvmin12025-09-15 19:52 32  
[ ]bhsp_4__t24_bhsp_4.vmin12025-09-15 19:47 2.1K 
[ ]bhsp_4__t24_bhsp_4.vmin1out2025-09-15 19:50 54K 
[ ]bhsp_4__t24_bhsp_4.vout2025-09-15 14:45 56K 
[ ]bhsp_4__t25_bhsp_42025-09-08 20:05 50K 
[ ]bhsp_4__t25_bhsp_4.vout2025-09-15 15:50 4.7K 
[ ]bhsp_4__t26_bhsp_42025-09-08 20:07 43K 
[ ]bhsp_4__t26_bhsp_4.vout2025-09-15 13:49 4.7K 
[ ]bhsp_4__t27_bhsp_42025-09-08 20:09 33K 
[ ]bhsp_4__t27_bhsp_4.vout2025-09-15 15:25 7.3K 
[ ]bhsp_4__t28_bhsp_42025-09-08 20:10 37K 
[ ]bhsp_4__t28_bhsp_4.vout2025-09-15 15:16 7.3K 
[ ]bhsp_4__t29_bhsp_42025-09-08 20:12 36K 
[ ]bhsp_4__t29_bhsp_4.depv12025-09-15 19:47 187  
[ ]bhsp_4__t29_bhsp_4.depvmin12025-09-15 19:52 187  
[ ]bhsp_4__t29_bhsp_4.vmin12025-09-15 19:47 3.3K 
[ ]bhsp_4__t29_bhsp_4.vmin1out2025-09-15 19:47 70K 
[ ]bhsp_4__t29_bhsp_4.vout2025-09-15 14:21 58K 
[ ]bhsp_4__t30_bhsp_42025-09-08 20:14 53K 
[ ]bhsp_4__t30_bhsp_4.vout2025-09-15 14:58 6.8K 
[ ]bhsp_4__t31_bhsp_42025-09-08 20:15 41K 
[ ]bhsp_4__t31_bhsp_4.vout2025-09-15 18:41 6.8K 
[ ]bhsp_4__t32_bhsp_42025-09-08 20:17 32K 
[ ]bhsp_4__t32_bhsp_4.vout2025-09-15 15:16 7.3K 
[ ]bhsp_4__t33_bhsp_42025-09-08 20:19 38K 
[ ]bhsp_4__t33_bhsp_4.vout2025-09-15 19:17 6.8K 
[ ]bhsp_4__t34_bhsp_42025-09-08 20:21 44K 
[ ]bhsp_4__t34_bhsp_4.vout2025-09-15 18:32 6.8K 
[ ]bhsp_4__t35_bhsp_42025-09-08 20:22 36K 
[ ]bhsp_4__t35_bhsp_4.vout2025-09-15 17:18 6.8K 
[ ]bhsp_4__t36_bhsp_42025-09-08 20:24 36K 
[ ]bhsp_4__t36_bhsp_4.vout2025-09-15 17:46 7.3K 
[ ]bhsp_4__t37_bhsp_42025-09-08 20:26 39K 
[ ]bhsp_4__t37_bhsp_4.vout2025-09-15 14:10 6.8K 
[ ]bhsp_4__t38_bhsp_42025-09-08 19:32 33K 
[ ]bhsp_4__t38_bhsp_4.depv12025-09-15 19:47 82  
[ ]bhsp_4__t38_bhsp_4.depvmin12025-09-15 19:52 57  
[ ]bhsp_4__t38_bhsp_4.vmin12025-09-15 19:47 2.7K 
[ ]bhsp_4__t38_bhsp_4.vmin1out2025-09-15 19:47 39K 
[ ]bhsp_4__t38_bhsp_4.vout2025-09-15 16:29 19K 
[ ]bhsp_4__t39_bhsp_42025-09-08 20:28 59K 
[ ]bhsp_4__t39_bhsp_4.vout2025-09-15 18:10 6.8K 
[ ]bhsp_4__t40_bhsp_42025-09-08 19:33 37K 
[ ]bhsp_4__t40_bhsp_4.vout2025-09-15 16:42 1.1K 
[ ]bhsp_4__t41_bhsp_42025-09-08 19:35 42K 
[ ]bhsp_4__t41_bhsp_4.vout2025-09-15 13:28 1.1K 
[ ]bhsp_4__t42_bhsp_42025-09-08 20:30 57K 
[ ]bhsp_4__t42_bhsp_4.vout2025-09-15 14:14 2.0K 
[ ]bhsp_4__t43_bhsp_42025-09-08 20:32 36K 
[ ]bhsp_4__t43_bhsp_4.vout2025-09-15 17:21 4.1K 
[ ]bhsp_4__t44_bhsp_42025-09-08 20:33 46K 
[ ]bhsp_4__t44_bhsp_4.vout2025-09-15 18:52 4.1K 
[ ]bhsp_4__t45_bhsp_42025-09-08 20:35 40K 
[ ]bhsp_4__t45_bhsp_4.vout2025-09-15 16:02 4.1K 
[ ]bhsp_4__t46_bhsp_42025-09-08 20:37 39K 
[ ]bhsp_4__t46_bhsp_4.vout2025-09-15 15:09 4.1K 
[ ]bhsp_4__t47_bhsp_42025-09-08 20:38 42K 
[ ]bhsp_4__t47_bhsp_4.vout2025-09-15 17:54 4.1K 
[ ]bhsp_4__t48_bhsp_42025-09-08 20:40 66K 
[ ]bhsp_4__t48_bhsp_4.vout2025-09-15 17:40 6.8K 
[ ]bhsp_4__t49_bhsp_42025-09-08 20:42 41K 
[ ]bhsp_4__t49_bhsp_4.vout2025-09-15 14:59 6.8K 
[ ]bhsp_4__t50_bhsp_42025-09-08 20:44 68K 
[ ]bhsp_4__t50_bhsp_4.vout2025-09-15 19:27 6.8K 
[ ]bhsp_4__t51_bhsp_42025-09-08 20:46 35K 
[ ]bhsp_4__t51_bhsp_4.vout2025-09-15 17:58 2.0K 
[ ]bhsp_4__t53_bhsp_42025-09-08 20:48 62K 
[ ]bhsp_4__t53_bhsp_4.vout2025-09-15 17:20 4.1K 
[ ]bhsp_4__t54_bhsp_42025-09-08 19:37 53K 
[ ]bhsp_4__t54_bhsp_4.vout2025-09-15 18:13 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80