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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_1__l7_algstr_12025-09-09 23:31 15K 
[ ]algstr_1__l7_algstr_1.depv12025-09-15 19:47 84  
[ ]algstr_1__l7_algstr_1.depvmin12025-09-15 19:51 84  
[ ]algstr_1__l7_algstr_1.vmin12025-09-15 19:47 872  
[ ]algstr_1__l7_algstr_1.vmin1out2025-09-15 19:50 12K 
[ ]algstr_1__l7_algstr_1.vout2025-09-15 17:22 14K 
[ ]algstr_1__l8_algstr_12025-09-09 23:50 15K 
[ ]algstr_1__l8_algstr_1.depv12025-09-15 19:47 69  
[ ]algstr_1__l8_algstr_1.depvmin12025-09-15 19:51 69  
[ ]algstr_1__l8_algstr_1.vmin12025-09-15 19:47 739  
[ ]algstr_1__l8_algstr_1.vmin1out2025-09-15 19:51 6.3K 
[ ]algstr_1__l8_algstr_1.vout2025-09-15 17:56 7.2K 
[ ]algstr_1__l9_algstr_12025-09-09 23:51 15K 
[ ]algstr_1__l9_algstr_1.depv12025-09-15 19:47 69  
[ ]algstr_1__l9_algstr_1.depvmin12025-09-15 19:51 69  
[ ]algstr_1__l9_algstr_1.vmin12025-09-15 19:47 739  
[ ]algstr_1__l9_algstr_1.vmin1out2025-09-15 19:47 6.3K 
[ ]algstr_1__l9_algstr_1.vout2025-09-15 17:01 7.2K 
[ ]algstr_1__l10_algstr_12025-09-09 23:32 15K 
[ ]algstr_1__l10_algstr_1.depv12025-09-15 19:47 25  
[ ]algstr_1__l10_algstr_1.depvmin12025-09-15 19:51 25  
[ ]algstr_1__l10_algstr_1.vmin12025-09-15 19:47 694  
[ ]algstr_1__l10_algstr_1.vmin1out2025-09-15 19:49 11K 
[ ]algstr_1__l10_algstr_1.vout2025-09-15 19:22 12K 
[ ]algstr_1__l16_algstr_12025-09-09 23:33 15K 
[ ]algstr_1__l16_algstr_1.depv12025-09-15 19:47 82  
[ ]algstr_1__l16_algstr_1.depvmin12025-09-15 19:51 70  
[ ]algstr_1__l16_algstr_1.vmin12025-09-15 19:47 1.0K 
[ ]algstr_1__l16_algstr_1.vmin1out2025-09-15 19:51 9.1K 
[ ]algstr_1__l16_algstr_1.vout2025-09-15 14:13 14K 
[ ]algstr_1__l17_algstr_12025-09-09 23:34 15K 
[ ]algstr_1__l17_algstr_1.depv12025-09-15 19:47 25  
[ ]algstr_1__l17_algstr_1.depvmin12025-09-15 19:51 25  
[ ]algstr_1__l17_algstr_1.vmin12025-09-15 19:47 364  
[ ]algstr_1__l17_algstr_1.vmin1out2025-09-15 19:49 3.7K 
[ ]algstr_1__l17_algstr_1.vout2025-09-15 18:42 4.9K 
[ ]algstr_1__l22_algstr_12025-09-09 23:35 15K 
[ ]algstr_1__l22_algstr_1.depv12025-09-15 19:47 85  
[ ]algstr_1__l22_algstr_1.depvmin12025-09-15 19:51 85  
[ ]algstr_1__l22_algstr_1.vmin12025-09-15 19:47 873  
[ ]algstr_1__l22_algstr_1.vmin1out2025-09-15 19:50 12K 
[ ]algstr_1__l22_algstr_1.vout2025-09-15 16:42 14K 
[ ]algstr_1__l23_algstr_12025-09-09 23:53 15K 
[ ]algstr_1__l23_algstr_1.depv12025-09-15 19:47 70  
[ ]algstr_1__l23_algstr_1.depvmin12025-09-15 19:51 70  
[ ]algstr_1__l23_algstr_1.vmin12025-09-15 19:47 740  
[ ]algstr_1__l23_algstr_1.vmin1out2025-09-15 19:50 6.3K 
[ ]algstr_1__l23_algstr_1.vout2025-09-15 18:08 8.5K 
[ ]algstr_1__l24_algstr_12025-09-09 23:54 15K 
[ ]algstr_1__l24_algstr_1.depv12025-09-15 19:47 70  
[ ]algstr_1__l24_algstr_1.depvmin12025-09-15 19:51 70  
[ ]algstr_1__l24_algstr_1.vmin12025-09-15 19:47 740  
[ ]algstr_1__l24_algstr_1.vmin1out2025-09-15 19:50 6.3K 
[ ]algstr_1__l24_algstr_1.vout2025-09-15 18:35 8.7K 
[ ]algstr_1__l26_algstr_12025-09-09 23:36 15K 
[ ]algstr_1__l26_algstr_1.depv12025-09-15 19:47 83  
[ ]algstr_1__l26_algstr_1.depvmin12025-09-15 19:51 70  
[ ]algstr_1__l26_algstr_1.vmin12025-09-15 19:47 1.0K 
[ ]algstr_1__l26_algstr_1.vmin1out2025-09-15 19:49 9.1K 
[ ]algstr_1__l26_algstr_1.vout2025-09-15 16:15 14K 
[ ]algstr_1__l27_algstr_12025-09-09 23:55 10K 
[ ]algstr_1__l27_algstr_1.depv12025-09-15 19:47 43  
[ ]algstr_1__l27_algstr_1.depvmin12025-09-15 19:51 43  
[ ]algstr_1__l27_algstr_1.vmin12025-09-15 19:47 947  
[ ]algstr_1__l27_algstr_1.vmin1out2025-09-15 19:49 15K 
[ ]algstr_1__l27_algstr_1.vout2025-09-15 18:19 16K 
[ ]algstr_1__l28_algstr_12025-09-09 23:55 11K 
[ ]algstr_1__l28_algstr_1.depv12025-09-15 19:47 26  
[ ]algstr_1__l28_algstr_1.depvmin12025-09-15 19:51 26  
[ ]algstr_1__l28_algstr_1.vmin12025-09-15 19:47 1.4K 
[ ]algstr_1__l28_algstr_1.vmin1out2025-09-15 19:47 31K 
[ ]algstr_1__l28_algstr_1.vout2025-09-15 18:13 36K 
[ ]algstr_1__l29_algstr_12025-09-09 23:56 11K 
[ ]algstr_1__l29_algstr_1.depv12025-09-15 19:47 26  
[ ]algstr_1__l29_algstr_1.depvmin12025-09-15 19:51 26  
[ ]algstr_1__l29_algstr_1.vmin12025-09-15 19:47 1.4K 
[ ]algstr_1__l29_algstr_1.vmin1out2025-09-15 19:51 30K 
[ ]algstr_1__l29_algstr_1.vout2025-09-15 13:39 36K 
[ ]algstr_1__l31_algstr_12025-09-09 23:37 16K 
[ ]algstr_1__l31_algstr_1.depv12025-09-15 19:47 25  
[ ]algstr_1__l31_algstr_1.depvmin12025-09-15 19:51 25  
[ ]algstr_1__l31_algstr_1.vmin12025-09-15 19:47 364  
[ ]algstr_1__l31_algstr_1.vmin1out2025-09-15 19:48 3.7K 
[ ]algstr_1__l31_algstr_1.vout2025-09-15 19:04 4.9K 
[ ]algstr_1__l35_algstr_12025-09-09 23:57 15K 
[ ]algstr_1__l35_algstr_1.vout2025-09-15 19:43 7.8K 
[ ]algstr_1__l36_algstr_12025-09-09 23:59 22K 
[ ]algstr_1__l36_algstr_1.vout2025-09-15 13:42 7.8K 
[ ]algstr_1__l37_algstr_12025-09-10 00:00 22K 
[ ]algstr_1__l37_algstr_1.vout2025-09-15 14:30 7.8K 
[ ]algstr_1__l38_algstr_12025-09-10 00:01 20K 
[ ]algstr_1__l38_algstr_1.vout2025-09-15 14:52 7.8K 
[ ]algstr_1__l39_algstr_12025-09-10 00:02 20K 
[ ]algstr_1__l39_algstr_1.vout2025-09-15 17:57 7.8K 
[ ]algstr_1__l40_algstr_12025-09-10 00:03 16K 
[ ]algstr_1__l40_algstr_1.vout2025-09-15 19:20 7.8K 
[ ]algstr_1__l41_algstr_12025-09-10 00:05 16K 
[ ]algstr_1__l41_algstr_1.vout2025-09-15 19:23 7.8K 
[ ]algstr_1__l47_algstr_12025-09-10 00:06 20K 
[ ]algstr_1__l47_algstr_1.vout2025-09-15 17:41 7.8K 
[ ]algstr_1__l48_algstr_12025-09-10 00:07 17K 
[ ]algstr_1__l48_algstr_1.vout2025-09-15 17:48 7.8K 
[ ]algstr_1__t1_algstr_12025-09-09 23:38 11K 
[ ]algstr_1__t1_algstr_1.depv12025-09-15 19:47 42  
[ ]algstr_1__t1_algstr_1.depvmin12025-09-15 19:51 42  
[ ]algstr_1__t1_algstr_1.vmin12025-09-15 19:47 946  
[ ]algstr_1__t1_algstr_1.vmin1out2025-09-15 19:48 15K 
[ ]algstr_1__t1_algstr_1.vout2025-09-15 18:04 16K 
[ ]algstr_1__t2_algstr_12025-09-09 23:39 12K 
[ ]algstr_1__t2_algstr_1.depv12025-09-15 19:47 42  
[ ]algstr_1__t2_algstr_1.depvmin12025-09-15 19:51 42  
[ ]algstr_1__t2_algstr_1.vmin12025-09-15 19:47 886  
[ ]algstr_1__t2_algstr_1.vmin1out2025-09-15 19:49 15K 
[ ]algstr_1__t2_algstr_1.vout2025-09-15 19:35 19K 
[ ]algstr_1__t3_algstr_12025-09-09 23:40 12K 
[ ]algstr_1__t3_algstr_1.depv12025-09-15 19:47 24  
[ ]algstr_1__t3_algstr_1.depvmin12025-09-15 19:51 24  
[ ]algstr_1__t3_algstr_1.vmin12025-09-15 19:47 1.4K 
[ ]algstr_1__t3_algstr_1.vmin1out2025-09-15 19:49 30K 
[ ]algstr_1__t3_algstr_1.vout2025-09-15 14:54 36K 
[ ]algstr_1__t4_algstr_12025-09-09 23:41 13K 
[ ]algstr_1__t4_algstr_1.depv12025-09-15 19:47 294  
[ ]algstr_1__t4_algstr_1.depvmin12025-09-15 19:51 266  
[ ]algstr_1__t4_algstr_1.vmin12025-09-15 19:47 2.2K 
[ ]algstr_1__t4_algstr_1.vmin1out2025-09-15 19:49 21K 
[ ]algstr_1__t4_algstr_1.vout2025-09-15 18:13 23K 
[ ]algstr_1__t5_algstr_12025-09-09 23:26 15K 
[ ]algstr_1__t5_algstr_1.depv12025-09-15 19:47 96  
[ ]algstr_1__t5_algstr_1.depvmin12025-09-15 19:51 84  
[ ]algstr_1__t5_algstr_1.vmin12025-09-15 19:47 1.0K 
[ ]algstr_1__t5_algstr_1.vmin1out2025-09-15 19:48 8.1K 
[ ]algstr_1__t5_algstr_1.vout2025-09-15 14:55 13K 
[ ]algstr_1__t6_algstr_12025-09-09 23:42 13K 
[ ]algstr_1__t6_algstr_1.depv12025-09-15 19:47 211  
[ ]algstr_1__t6_algstr_1.depvmin12025-09-15 19:51 140  
[ ]algstr_1__t6_algstr_1.vmin12025-09-15 19:47 3.5K 
[ ]algstr_1__t6_algstr_1.vmin1out2025-09-15 19:50 87K 
[ ]algstr_1__t6_algstr_1.vout2025-09-15 14:46 179K 
[ ]algstr_1__t7_algstr_12025-09-09 23:43 14K 
[ ]algstr_1__t7_algstr_1.depv12025-09-15 19:47 91  
[ ]algstr_1__t7_algstr_1.depvmin12025-09-15 19:51 77  
[ ]algstr_1__t7_algstr_1.vmin12025-09-15 19:47 1.7K 
[ ]algstr_1__t7_algstr_1.vmin1out2025-09-15 19:49 48K 
[ ]algstr_1__t7_algstr_1.vout2025-09-15 17:42 54K 
[ ]algstr_1__t8_algstr_12025-09-09 23:27 14K 
[ ]algstr_1__t8_algstr_1.depv12025-09-15 19:47 51  
[ ]algstr_1__t8_algstr_1.depvmin12025-09-15 19:51 51  
[ ]algstr_1__t8_algstr_1.vmin12025-09-15 19:47 1.8K 
[ ]algstr_1__t8_algstr_1.vmin1out2025-09-15 19:50 74K 
[ ]algstr_1__t8_algstr_1.vout2025-09-15 14:47 59K 
[ ]algstr_1__t9_algstr_12025-09-09 23:44 13K 
[ ]algstr_1__t9_algstr_1.depv12025-09-15 19:47 281  
[ ]algstr_1__t9_algstr_1.depvmin12025-09-15 19:51 268  
[ ]algstr_1__t9_algstr_1.vmin12025-09-15 19:47 2.0K 
[ ]algstr_1__t9_algstr_1.vmin1out2025-09-15 19:48 20K 
[ ]algstr_1__t9_algstr_1.vout2025-09-15 14:02 22K 
[ ]algstr_1__t10_algstr_12025-09-09 23:28 15K 
[ ]algstr_1__t10_algstr_1.depv12025-09-15 19:47 98  
[ ]algstr_1__t10_algstr_1.depvmin12025-09-15 19:51 85  
[ ]algstr_1__t10_algstr_1.vmin12025-09-15 19:47 1.0K 
[ ]algstr_1__t10_algstr_1.vmin1out2025-09-15 19:51 8.2K 
[ ]algstr_1__t10_algstr_1.vout2025-09-15 17:43 13K 
[ ]algstr_1__t11_algstr_12025-09-09 23:46 15K 
[ ]algstr_1__t11_algstr_1.vout2025-09-15 15:36 4.7K 
[ ]algstr_1__t12_algstr_12025-09-09 23:29 14K 
[ ]algstr_1__t12_algstr_1.depv12025-09-15 19:47 53  
[ ]algstr_1__t12_algstr_1.depvmin12025-09-15 19:51 53  
[ ]algstr_1__t12_algstr_1.vmin12025-09-15 19:47 1.8K 
[ ]algstr_1__t12_algstr_1.vmin1out2025-09-15 19:50 70K 
[ ]algstr_1__t12_algstr_1.vout2025-09-15 14:38 62K 
[ ]algstr_1__t13_algstr_12025-09-09 23:47 14K 
[ ]algstr_1__t13_algstr_1.depv12025-09-15 19:47 136  
[ ]algstr_1__t13_algstr_1.depvmin12025-09-15 19:51 136  
[ ]algstr_1__t13_algstr_1.vmin12025-09-15 19:47 2.3K 
[ ]algstr_1__t13_algstr_1.vmin1out2025-09-15 19:49 43K 
[ ]algstr_1__t13_algstr_1.vout2025-09-15 17:37 43K 
[ ]algstr_1__t16_algstr_12025-09-09 23:48 13K 
[ ]algstr_1__t16_algstr_1.vout2025-09-15 17:16 6.3K 
[ ]algstr_1__t17_algstr_12025-09-09 23:49 14K 
[ ]algstr_1__t17_algstr_1.depv12025-09-15 19:47 148  
[ ]algstr_1__t17_algstr_1.depvmin12025-09-15 19:51 148  
[ ]algstr_1__t17_algstr_1.vmin12025-09-15 19:47 2.5K 
[ ]algstr_1__t17_algstr_1.vmin1out2025-09-15 19:47 40K 
[ ]algstr_1__t17_algstr_1.vout2025-09-15 13:33 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80