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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_1__t17_algstr_1.vout2021-07-25 20:46 40K 
[ ]algstr_1__t17_algstr_1.vmin1out2021-07-25 20:59 40K 
[ ]algstr_1__t17_algstr_1.vmin12021-07-25 20:57 2.5K 
[ ]algstr_1__t17_algstr_1.depvmin12021-07-25 21:03 148  
[ ]algstr_1__t17_algstr_1.depv12021-07-25 20:57 148  
[ ]algstr_1__t17_algstr_12021-07-18 12:02 14K 
[ ]algstr_1__t16_algstr_1.vout2021-07-25 19:03 6.3K 
[ ]algstr_1__t16_algstr_12021-07-18 12:01 13K 
[ ]algstr_1__t13_algstr_1.vout2021-07-25 17:57 43K 
[ ]algstr_1__t13_algstr_1.vmin1out2021-07-25 21:00 43K 
[ ]algstr_1__t13_algstr_1.vmin12021-07-25 20:57 2.3K 
[ ]algstr_1__t13_algstr_1.depvmin12021-07-25 21:03 136  
[ ]algstr_1__t13_algstr_1.depv12021-07-25 20:57 136  
[ ]algstr_1__t13_algstr_12021-07-18 12:01 14K 
[ ]algstr_1__t12_algstr_1.vout2021-07-25 15:33 62K 
[ ]algstr_1__t12_algstr_1.vmin1out2021-07-25 21:02 70K 
[ ]algstr_1__t12_algstr_1.vmin12021-07-25 20:57 1.8K 
[ ]algstr_1__t12_algstr_1.depvmin12021-07-25 21:03 53  
[ ]algstr_1__t12_algstr_1.depv12021-07-25 20:57 53  
[ ]algstr_1__t12_algstr_12021-07-18 11:57 14K 
[ ]algstr_1__t11_algstr_1.vout2021-07-25 15:11 4.7K 
[ ]algstr_1__t11_algstr_12021-07-18 12:01 15K 
[ ]algstr_1__t10_algstr_1.vout2021-07-25 18:51 13K 
[ ]algstr_1__t10_algstr_1.vmin1out2021-07-25 21:00 8.2K 
[ ]algstr_1__t10_algstr_1.vmin12021-07-25 20:57 1.0K 
[ ]algstr_1__t10_algstr_1.depvmin12021-07-25 21:03 85  
[ ]algstr_1__t10_algstr_1.depv12021-07-25 20:57 98  
[ ]algstr_1__t10_algstr_12021-07-18 11:56 15K 
[ ]algstr_1__t9_algstr_1.vout2021-07-25 15:22 22K 
[ ]algstr_1__t9_algstr_1.vmin1out2021-07-25 21:02 20K 
[ ]algstr_1__t9_algstr_1.vmin12021-07-25 20:57 2.0K 
[ ]algstr_1__t9_algstr_1.depvmin12021-07-25 21:03 268  
[ ]algstr_1__t9_algstr_1.depv12021-07-25 20:57 281  
[ ]algstr_1__t9_algstr_12021-07-18 12:01 13K 
[ ]algstr_1__t8_algstr_1.vout2021-07-25 18:33 59K 
[ ]algstr_1__t8_algstr_1.vmin1out2021-07-25 20:58 74K 
[ ]algstr_1__t8_algstr_1.vmin12021-07-25 20:57 1.8K 
[ ]algstr_1__t8_algstr_1.depvmin12021-07-25 21:03 51  
[ ]algstr_1__t8_algstr_1.depv12021-07-25 20:57 51  
[ ]algstr_1__t8_algstr_12021-07-18 11:56 14K 
[ ]algstr_1__t7_algstr_1.vout2021-07-25 14:31 54K 
[ ]algstr_1__t7_algstr_1.vmin1out2021-07-25 20:58 48K 
[ ]algstr_1__t7_algstr_1.vmin12021-07-25 20:57 1.7K 
[ ]algstr_1__t7_algstr_1.depvmin12021-07-25 21:03 77  
[ ]algstr_1__t7_algstr_1.depv12021-07-25 20:57 91  
[ ]algstr_1__t7_algstr_12021-07-18 12:00 14K 
[ ]algstr_1__t6_algstr_1.vout2021-07-25 16:47 85K 
[ ]algstr_1__t6_algstr_1.vmin1out2021-07-25 21:02 79K 
[ ]algstr_1__t6_algstr_1.vmin12021-07-25 20:57 2.8K 
[ ]algstr_1__t6_algstr_1.depvmin12021-07-25 21:03 125  
[ ]algstr_1__t6_algstr_1.depv12021-07-25 20:57 125  
[ ]algstr_1__t6_algstr_12021-07-18 12:00 13K 
[ ]algstr_1__t5_algstr_1.vout2021-07-25 19:21 13K 
[ ]algstr_1__t5_algstr_1.vmin1out2021-07-25 20:58 8.1K 
[ ]algstr_1__t5_algstr_1.vmin12021-07-25 20:57 1.0K 
[ ]algstr_1__t5_algstr_1.depvmin12021-07-25 21:03 84  
[ ]algstr_1__t5_algstr_1.depv12021-07-25 20:57 96  
[ ]algstr_1__t5_algstr_12021-07-18 11:56 15K 
[ ]algstr_1__t4_algstr_1.vout2021-07-25 18:17 23K 
[ ]algstr_1__t4_algstr_1.vmin1out2021-07-25 20:58 21K 
[ ]algstr_1__t4_algstr_1.vmin12021-07-25 20:57 2.1K 
[ ]algstr_1__t4_algstr_1.depvmin12021-07-25 21:03 266  
[ ]algstr_1__t4_algstr_1.depv12021-07-25 20:57 279  
[ ]algstr_1__t4_algstr_12021-07-18 12:00 13K 
[ ]algstr_1__t3_algstr_1.vout2021-07-25 20:42 36K 
[ ]algstr_1__t3_algstr_1.vmin1out2021-07-25 21:02 30K 
[ ]algstr_1__t3_algstr_1.vmin12021-07-25 20:57 1.4K 
[ ]algstr_1__t3_algstr_1.depvmin12021-07-25 21:03 24  
[ ]algstr_1__t3_algstr_1.depv12021-07-25 20:57 24  
[ ]algstr_1__t3_algstr_12021-07-18 11:59 12K 
[ ]algstr_1__t2_algstr_1.vout2021-07-25 20:00 2.0K 
[ ]algstr_1__t2_algstr_12021-07-18 11:59 12K 
[ ]algstr_1__t1_algstr_1.vout2021-07-25 15:09 16K 
[ ]algstr_1__t1_algstr_1.vmin1out2021-07-25 20:57 15K 
[ ]algstr_1__t1_algstr_1.vmin12021-07-25 20:57 946  
[ ]algstr_1__t1_algstr_1.depvmin12021-07-25 21:03 42  
[ ]algstr_1__t1_algstr_1.depv12021-07-25 20:57 42  
[ ]algstr_1__t1_algstr_12021-07-18 11:59 11K 
[ ]algstr_1__l48_algstr_1.vout2021-07-25 16:43 7.8K 
[ ]algstr_1__l48_algstr_12021-07-18 12:07 17K 
[ ]algstr_1__l47_algstr_1.vout2021-07-25 16:34 7.8K 
[ ]algstr_1__l47_algstr_12021-07-18 12:06 20K 
[ ]algstr_1__l41_algstr_1.vout2021-07-25 15:05 7.8K 
[ ]algstr_1__l41_algstr_12021-07-18 12:06 17K 
[ ]algstr_1__l40_algstr_1.vout2021-07-25 14:39 7.3K 
[ ]algstr_1__l40_algstr_12021-07-18 12:06 17K 
[ ]algstr_1__l39_algstr_1.vout2021-07-25 19:52 7.8K 
[ ]algstr_1__l39_algstr_12021-07-18 12:05 20K 
[ ]algstr_1__l38_algstr_1.vout2021-07-25 16:37 7.8K 
[ ]algstr_1__l38_algstr_12021-07-18 12:05 20K 
[ ]algstr_1__l37_algstr_1.vout2021-07-25 17:43 7.8K 
[ ]algstr_1__l37_algstr_12021-07-18 12:05 22K 
[ ]algstr_1__l36_algstr_1.vout2021-07-25 15:05 7.8K 
[ ]algstr_1__l36_algstr_12021-07-18 12:04 22K 
[ ]algstr_1__l35_algstr_1.vout2021-07-25 17:59 7.8K 
[ ]algstr_1__l35_algstr_12021-07-18 12:04 15K 
[ ]algstr_1__l31_algstr_1.vout2021-07-25 19:45 4.9K 
[ ]algstr_1__l31_algstr_1.vmin1out2021-07-25 20:59 3.7K 
[ ]algstr_1__l31_algstr_1.vmin12021-07-25 20:57 364  
[ ]algstr_1__l31_algstr_1.depvmin12021-07-25 21:03 25  
[ ]algstr_1__l31_algstr_1.depv12021-07-25 20:57 25  
[ ]algstr_1__l31_algstr_12021-07-18 11:59 16K 
[ ]algstr_1__l29_algstr_1.vout2021-07-25 17:59 36K 
[ ]algstr_1__l29_algstr_1.vmin1out2021-07-25 20:59 30K 
[ ]algstr_1__l29_algstr_1.vmin12021-07-25 20:57 1.4K 
[ ]algstr_1__l29_algstr_1.depvmin12021-07-25 21:03 26  
[ ]algstr_1__l29_algstr_1.depv12021-07-25 20:57 26  
[ ]algstr_1__l29_algstr_12021-07-18 12:04 11K 
[ ]algstr_1__l28_algstr_1.vout2021-07-25 17:16 2.0K 
[ ]algstr_1__l28_algstr_12021-07-18 12:03 11K 
[ ]algstr_1__l27_algstr_1.vout2021-07-25 20:12 16K 
[ ]algstr_1__l27_algstr_1.vmin1out2021-07-25 21:00 15K 
[ ]algstr_1__l27_algstr_1.vmin12021-07-25 20:57 947  
[ ]algstr_1__l27_algstr_1.depvmin12021-07-25 21:03 43  
[ ]algstr_1__l27_algstr_1.depv12021-07-25 20:57 43  
[ ]algstr_1__l27_algstr_12021-07-18 12:03 10K 
[ ]algstr_1__l26_algstr_1.vout2021-07-25 14:38 14K 
[ ]algstr_1__l26_algstr_1.vmin1out2021-07-25 21:01 9.1K 
[ ]algstr_1__l26_algstr_1.vmin12021-07-25 20:57 1.0K 
[ ]algstr_1__l26_algstr_1.depvmin12021-07-25 21:03 70  
[ ]algstr_1__l26_algstr_1.depv12021-07-25 20:57 83  
[ ]algstr_1__l26_algstr_12021-07-18 11:58 16K 
[ ]algstr_1__l24_algstr_1.vout2021-07-25 16:27 8.7K 
[ ]algstr_1__l24_algstr_1.vmin1out2021-07-25 20:59 6.3K 
[ ]algstr_1__l24_algstr_1.vmin12021-07-25 20:57 740  
[ ]algstr_1__l24_algstr_1.depvmin12021-07-25 21:03 70  
[ ]algstr_1__l24_algstr_1.depv12021-07-25 20:57 70  
[ ]algstr_1__l24_algstr_12021-07-18 12:03 15K 
[ ]algstr_1__l23_algstr_1.vout2021-07-25 16:11 8.5K 
[ ]algstr_1__l23_algstr_1.vmin1out2021-07-25 21:01 6.3K 
[ ]algstr_1__l23_algstr_1.vmin12021-07-25 20:57 740  
[ ]algstr_1__l23_algstr_1.depvmin12021-07-25 21:03 70  
[ ]algstr_1__l23_algstr_1.depv12021-07-25 20:57 70  
[ ]algstr_1__l23_algstr_12021-07-18 12:03 15K 
[ ]algstr_1__l22_algstr_1.vout2021-07-25 20:38 14K 
[ ]algstr_1__l22_algstr_1.vmin1out2021-07-25 21:01 12K 
[ ]algstr_1__l22_algstr_1.vmin12021-07-25 20:57 873  
[ ]algstr_1__l22_algstr_1.depvmin12021-07-25 21:03 85  
[ ]algstr_1__l22_algstr_1.depv12021-07-25 20:57 85  
[ ]algstr_1__l22_algstr_12021-07-18 11:58 15K 
[ ]algstr_1__l17_algstr_1.vout2021-07-25 15:37 4.9K 
[ ]algstr_1__l17_algstr_1.vmin1out2021-07-25 20:58 3.7K 
[ ]algstr_1__l17_algstr_1.vmin12021-07-25 20:57 364  
[ ]algstr_1__l17_algstr_1.depvmin12021-07-25 21:03 25  
[ ]algstr_1__l17_algstr_1.depv12021-07-25 20:57 25  
[ ]algstr_1__l17_algstr_12021-07-18 11:58 15K 
[ ]algstr_1__l16_algstr_1.vout2021-07-25 18:54 14K 
[ ]algstr_1__l16_algstr_1.vmin1out2021-07-25 21:02 9.1K 
[ ]algstr_1__l16_algstr_1.vmin12021-07-25 20:57 1.0K 
[ ]algstr_1__l16_algstr_1.depvmin12021-07-25 21:03 70  
[ ]algstr_1__l16_algstr_1.depv12021-07-25 20:57 82  
[ ]algstr_1__l16_algstr_12021-07-18 11:57 15K 
[ ]algstr_1__l10_algstr_1.vout2021-07-25 18:13 12K 
[ ]algstr_1__l10_algstr_1.vmin1out2021-07-25 20:59 11K 
[ ]algstr_1__l10_algstr_1.vmin12021-07-25 20:57 694  
[ ]algstr_1__l10_algstr_1.depvmin12021-07-25 21:03 25  
[ ]algstr_1__l10_algstr_1.depv12021-07-25 20:57 25  
[ ]algstr_1__l10_algstr_12021-07-18 11:57 15K 
[ ]algstr_1__l9_algstr_1.vout2021-07-25 14:35 7.2K 
[ ]algstr_1__l9_algstr_1.vmin1out2021-07-25 21:00 6.3K 
[ ]algstr_1__l9_algstr_1.vmin12021-07-25 20:57 739  
[ ]algstr_1__l9_algstr_1.depvmin12021-07-25 21:03 69  
[ ]algstr_1__l9_algstr_1.depv12021-07-25 20:57 69  
[ ]algstr_1__l9_algstr_12021-07-18 12:02 15K 
[ ]algstr_1__l8_algstr_1.vout2021-07-25 20:53 7.2K 
[ ]algstr_1__l8_algstr_1.vmin1out2021-07-25 21:01 6.3K 
[ ]algstr_1__l8_algstr_1.vmin12021-07-25 20:57 739  
[ ]algstr_1__l8_algstr_1.depvmin12021-07-25 21:03 69  
[ ]algstr_1__l8_algstr_1.depv12021-07-25 20:57 69  
[ ]algstr_1__l8_algstr_12021-07-18 12:02 15K 
[ ]algstr_1__l7_algstr_1.vout2021-07-25 15:19 14K 
[ ]algstr_1__l7_algstr_1.vmin1out2021-07-25 20:58 12K 
[ ]algstr_1__l7_algstr_1.vmin12021-07-25 20:57 872  
[ ]algstr_1__l7_algstr_1.depvmin12021-07-25 21:03 84  
[ ]algstr_1__l7_algstr_1.depv12021-07-25 20:57 84  
[ ]algstr_1__l7_algstr_12021-07-18 11:57 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80