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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_4__l39_algstr_42025-09-08 18:47 36K 
[ ]algstr_4__l39_algstr_4.vout2025-09-15 17:14 8.0K 
[ ]algstr_4__l56_algstr_42025-09-08 18:48 43K 
[ ]algstr_4__l56_algstr_4.vout2025-09-15 19:24 6.3K 
[ ]algstr_4__l57_algstr_42025-09-08 18:50 48K 
[ ]algstr_4__l57_algstr_4.vout2025-09-15 16:29 4.7K 
[ ]algstr_4__l73_algstr_42025-09-08 18:51 37K 
[ ]algstr_4__l73_algstr_4.vout2025-09-15 15:11 4.7K 
[ ]algstr_4__t1_algstr_42025-09-08 17:34 22K 
[ ]algstr_4__t1_algstr_4.depv12025-09-15 19:46 37  
[ ]algstr_4__t1_algstr_4.depvmin12025-09-15 19:51 37  
[ ]algstr_4__t1_algstr_4.vmin12025-09-15 19:47 443  
[ ]algstr_4__t1_algstr_4.vmin1out2025-09-15 19:48 4.7K 
[ ]algstr_4__t1_algstr_4.vout2025-09-15 18:51 5.8K 
[ ]algstr_4__t2_algstr_42025-09-08 17:35 30K 
[ ]algstr_4__t2_algstr_4.vout2025-09-15 18:36 2.0K 
[ ]algstr_4__t3_algstr_42025-09-08 17:37 30K 
[ ]algstr_4__t3_algstr_4.vout2025-09-15 18:21 3.7K 
[ ]algstr_4__t4_algstr_42025-09-08 17:38 33K 
[ ]algstr_4__t4_algstr_4.vout2025-09-15 16:54 7.3K 
[ ]algstr_4__t5_algstr_42025-09-08 17:40 42K 
[ ]algstr_4__t5_algstr_4.vout2025-09-15 13:51 4.2K 
[ ]algstr_4__t6_algstr_42025-09-08 17:41 33K 
[ ]algstr_4__t6_algstr_4.depv12025-09-15 19:46 52  
[ ]algstr_4__t6_algstr_4.depvmin12025-09-15 19:51 52  
[ ]algstr_4__t6_algstr_4.vmin12025-09-15 19:47 719  
[ ]algstr_4__t6_algstr_4.vmin1out2025-09-15 19:49 9.0K 
[ ]algstr_4__t6_algstr_4.vout2025-09-15 13:32 15K 
[ ]algstr_4__t7_algstr_42025-09-08 17:42 33K 
[ ]algstr_4__t7_algstr_4.depv12025-09-15 19:46 128  
[ ]algstr_4__t7_algstr_4.depvmin12025-09-15 19:51 104  
[ ]algstr_4__t7_algstr_4.vmin12025-09-15 19:47 1.5K 
[ ]algstr_4__t7_algstr_4.vmin1out2025-09-15 19:50 11K 
[ ]algstr_4__t7_algstr_4.vout2025-09-15 18:27 17K 
[ ]algstr_4__t8_algstr_42025-09-08 17:43 32K 
[ ]algstr_4__t8_algstr_4.vout2025-09-15 18:19 7.3K 
[ ]algstr_4__t9_algstr_42025-09-08 17:44 29K 
[ ]algstr_4__t9_algstr_4.vout2025-09-15 17:51 6.8K 
[ ]algstr_4__t10_algstr_42025-09-08 17:46 28K 
[ ]algstr_4__t10_algstr_4.vout2025-09-15 17:45 7.3K 
[ ]algstr_4__t11_algstr_42025-09-08 17:47 32K 
[ ]algstr_4__t11_algstr_4.vout2025-09-15 14:58 7.3K 
[ ]algstr_4__t12_algstr_42025-09-08 17:48 32K 
[ ]algstr_4__t12_algstr_4.vout2025-09-15 15:04 7.3K 
[ ]algstr_4__t13_algstr_42025-09-08 18:44 30K 
[ ]algstr_4__t13_algstr_4.vout2025-09-15 19:42 3.7K 
[ ]algstr_4__t14_algstr_42025-09-08 17:49 31K 
[ ]algstr_4__t14_algstr_4.vout2025-09-15 18:27 7.4K 
[ ]algstr_4__t15_algstr_42025-09-08 17:51 36K 
[ ]algstr_4__t15_algstr_4.vout2025-09-15 18:57 7.3K 
[ ]algstr_4__t16_algstr_42025-09-08 17:31 31K 
[ ]algstr_4__t16_algstr_4.depv12025-09-15 19:46 130  
[ ]algstr_4__t16_algstr_4.depvmin12025-09-15 19:51 130  
[ ]algstr_4__t16_algstr_4.vmin12025-09-15 19:47 1.8K 
[ ]algstr_4__t16_algstr_4.vmin1out2025-09-15 19:50 21K 
[ ]algstr_4__t16_algstr_4.vout2025-09-15 14:03 22K 
[ ]algstr_4__t17_algstr_42025-09-08 17:32 31K 
[ ]algstr_4__t17_algstr_4.depv12025-09-15 19:46 107  
[ ]algstr_4__t17_algstr_4.depvmin12025-09-15 19:51 107  
[ ]algstr_4__t17_algstr_4.vmin12025-09-15 19:47 1.7K 
[ ]algstr_4__t17_algstr_4.vmin1out2025-09-15 19:49 21K 
[ ]algstr_4__t17_algstr_4.vout2025-09-15 16:17 22K 
[ ]algstr_4__t18_algstr_42025-09-08 17:52 43K 
[ ]algstr_4__t18_algstr_4.vout2025-09-15 16:39 10K 
[ ]algstr_4__t19_algstr_42025-09-08 17:54 47K 
[ ]algstr_4__t19_algstr_4.vout2025-09-15 18:12 8.8K 
[ ]algstr_4__t20_algstr_42025-09-08 17:55 48K 
[ ]algstr_4__t20_algstr_4.vout2025-09-15 14:34 7.4K 
[ ]algstr_4__t21_algstr_42025-09-08 17:56 53K 
[ ]algstr_4__t21_algstr_4.vout2025-09-15 14:34 4.7K 
[ ]algstr_4__t22_algstr_42025-09-08 17:58 59K 
[ ]algstr_4__t22_algstr_4.vout2025-09-15 18:06 4.7K 
[ ]algstr_4__t23_algstr_42025-09-08 17:59 62K 
[ ]algstr_4__t23_algstr_4.vout2025-09-15 13:32 7.4K 
[ ]algstr_4__t24_algstr_42025-09-08 18:01 53K 
[ ]algstr_4__t24_algstr_4.vout2025-09-15 18:55 8.4K 
[ ]algstr_4__t25_algstr_42025-09-08 18:02 34K 
[ ]algstr_4__t25_algstr_4.vout2025-09-15 18:06 4.7K 
[ ]algstr_4__t26_algstr_42025-09-08 18:03 38K 
[ ]algstr_4__t26_algstr_4.vout2025-09-15 16:04 7.3K 
[ ]algstr_4__t27_algstr_42025-09-08 18:04 35K 
[ ]algstr_4__t27_algstr_4.vout2025-09-15 17:15 7.9K 
[ ]algstr_4__t28_algstr_42025-09-08 17:33 33K 
[ ]algstr_4__t28_algstr_4.depv12025-09-15 19:46 89  
[ ]algstr_4__t28_algstr_4.depvmin12025-09-15 19:51 26  
[ ]algstr_4__t28_algstr_4.vmin12025-09-15 19:47 717  
[ ]algstr_4__t28_algstr_4.vmin1out2025-09-15 19:48 3.9K 
[ ]algstr_4__t28_algstr_4.vout2025-09-15 16:33 7.6K 
[ ]algstr_4__t29_algstr_42025-09-08 18:06 46K 
[ ]algstr_4__t29_algstr_4.vout2025-09-15 13:30 8.4K 
[ ]algstr_4__t30_algstr_42025-09-08 18:45 47K 
[ ]algstr_4__t30_algstr_4.vout2025-09-15 13:55 5.9K 
[ ]algstr_4__t31_algstr_42025-09-08 18:08 42K 
[ ]algstr_4__t31_algstr_4.vout2025-09-15 14:45 4.7K 
[ ]algstr_4__t32_algstr_42025-09-08 18:09 45K 
[ ]algstr_4__t32_algstr_4.vout2025-09-15 15:31 4.7K 
[ ]algstr_4__t33_algstr_42025-09-08 18:11 44K 
[ ]algstr_4__t33_algstr_4.vout2025-09-15 14:16 7.4K 
[ ]algstr_4__t34_algstr_42025-09-08 18:13 72K 
[ ]algstr_4__t34_algstr_4.vout2025-09-15 15:36 7.4K 
[ ]algstr_4__t35_algstr_42025-09-08 18:14 59K 
[ ]algstr_4__t35_algstr_4.vout2025-09-15 14:42 4.7K 
[ ]algstr_4__t36_algstr_42025-09-08 18:16 57K 
[ ]algstr_4__t36_algstr_4.vout2025-09-15 18:57 3.7K 
[ ]algstr_4__t37_algstr_42025-09-08 18:18 49K 
[ ]algstr_4__t37_algstr_4.vout2025-09-15 16:11 4.7K 
[ ]algstr_4__t38_algstr_42025-09-08 18:19 46K 
[ ]algstr_4__t38_algstr_4.vout2025-09-15 16:17 7.3K 
[ ]algstr_4__t39_algstr_42025-09-08 18:23 145K 
[ ]algstr_4__t39_algstr_4.vout2025-09-15 19:03 6.8K 
[ ]algstr_4__t40_algstr_42025-09-08 18:25 62K 
[ ]algstr_4__t40_algstr_4.vout2025-09-15 14:26 3.7K 
[ ]algstr_4__t41_algstr_42025-09-08 18:28 61K 
[ ]algstr_4__t41_algstr_4.vout2025-09-15 14:06 6.8K 
[ ]algstr_4__t42_algstr_42025-09-08 18:29 44K 
[ ]algstr_4__t42_algstr_4.vout2025-09-15 15:59 4.7K 
[ ]algstr_4__t43_algstr_42025-09-08 18:31 72K 
[ ]algstr_4__t43_algstr_4.vout2025-09-15 17:28 4.2K 
[ ]algstr_4__t44_algstr_42025-09-08 18:33 53K 
[ ]algstr_4__t44_algstr_4.vout2025-09-15 13:53 6.8K 
[ ]algstr_4__t45_algstr_42025-09-08 18:35 59K 
[ ]algstr_4__t45_algstr_4.vout2025-09-15 14:08 7.4K 
[ ]algstr_4__t46_algstr_42025-09-08 18:37 67K 
[ ]algstr_4__t46_algstr_4.vout2025-09-15 17:19 3.7K 
[ ]algstr_4__t47_algstr_42025-09-08 18:39 51K 
[ ]algstr_4__t47_algstr_4.vout2025-09-15 13:50 7.3K 
[ ]algstr_4__t48_algstr_42025-09-08 18:41 69K 
[ ]algstr_4__t48_algstr_4.vout2025-09-15 14:16 3.7K 
[ ]algstr_4__t49_algstr_42025-09-08 18:42 37K 
[ ]algstr_4__t49_algstr_4.vout2025-09-15 18:39 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80