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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realset2__l3_realset22021-07-18 11:48 6.4K 
[ ]realset2__l3_realset2.depv12021-07-25 20:57 69  
[ ]realset2__l3_realset2.depvmin12021-07-25 21:03 69  
[ ]realset2__l3_realset2.vmin12021-07-25 20:57 379  
[ ]realset2__l3_realset2.vmin1out2021-07-25 20:58 5.1K 
[ ]realset2__l3_realset2.vout2021-07-25 14:26 5.0K 
[ ]realset2__l4_realset22021-07-18 11:48 6.5K 
[ ]realset2__l4_realset2.depv12021-07-25 20:57 93  
[ ]realset2__l4_realset2.depvmin12021-07-25 21:03 93  
[ ]realset2__l4_realset2.vmin12021-07-25 20:57 449  
[ ]realset2__l4_realset2.vmin1out2021-07-25 21:00 5.6K 
[ ]realset2__l4_realset2.vout2021-07-25 15:29 5.5K 
[ ]realset2__l5_realset22021-07-18 11:48 6.5K 
[ ]realset2__l5_realset2.depv12021-07-25 20:57 96  
[ ]realset2__l5_realset2.depvmin12021-07-25 21:03 59  
[ ]realset2__l5_realset2.vmin12021-07-25 20:57 419  
[ ]realset2__l5_realset2.vmin1out2021-07-25 20:59 2.8K 
[ ]realset2__l5_realset2.vout2021-07-25 20:34 3.2K 
[ ]realset2__l6_realset22021-07-18 11:48 6.3K 
[ ]realset2__l6_realset2.depv12021-07-25 20:57 59  
[ ]realset2__l6_realset2.depvmin12021-07-25 21:03 59  
[ ]realset2__l6_realset2.vmin12021-07-25 20:57 280  
[ ]realset2__l6_realset2.vmin1out2021-07-25 21:02 2.3K 
[ ]realset2__l6_realset2.vout2021-07-25 15:21 2.4K 
[ ]realset2__l7_realset22021-07-18 11:49 6.3K 
[ ]realset2__l7_realset2.depv12021-07-25 20:57 133  
[ ]realset2__l7_realset2.depvmin12021-07-25 21:03 133  
[ ]realset2__l7_realset2.vmin12021-07-25 20:57 582  
[ ]realset2__l7_realset2.vmin1out2021-07-25 20:59 5.0K 
[ ]realset2__l7_realset2.vout2021-07-25 20:24 5.7K 
[ ]realset2__l8_realset22021-07-18 11:49 6.5K 
[ ]realset2__l8_realset2.depv12021-07-25 20:57 81  
[ ]realset2__l8_realset2.depvmin12021-07-25 21:03 44  
[ ]realset2__l8_realset2.vmin12021-07-25 20:57 323  
[ ]realset2__l8_realset2.vmin1out2021-07-25 20:59 1.9K 
[ ]realset2__l8_realset2.vout2021-07-25 15:06 2.2K 
[ ]realset2__l9_realset22021-07-18 11:49 15K 
[ ]realset2__l9_realset2.depv12021-07-25 20:57 168  
[ ]realset2__l9_realset2.depvmin12021-07-25 21:03 168  
[ ]realset2__l9_realset2.vmin12021-07-25 20:57 1.4K 
[ ]realset2__l9_realset2.vmin1out2021-07-25 21:01 9.8K 
[ ]realset2__l9_realset2.vout2021-07-25 17:53 10K 
[ ]realset2__l10_realset22021-07-18 11:49 15K 
[ ]realset2__l10_realset2.depv12021-07-25 20:57 218  
[ ]realset2__l10_realset2.depvmin12021-07-25 21:03 218  
[ ]realset2__l10_realset2.vmin12021-07-25 20:57 1.5K 
[ ]realset2__l10_realset2.vmin1out2021-07-25 21:02 11K 
[ ]realset2__l10_realset2.vout2021-07-25 17:25 11K 
[ ]realset2__l11_realset22021-07-18 11:50 15K 
[ ]realset2__l11_realset2.depv12021-07-25 20:57 218  
[ ]realset2__l11_realset2.depvmin12021-07-25 21:03 218  
[ ]realset2__l11_realset2.vmin12021-07-25 20:57 1.5K 
[ ]realset2__l11_realset2.vmin1out2021-07-25 20:58 11K 
[ ]realset2__l11_realset2.vout2021-07-25 16:16 11K 
[ ]realset2__l12_realset22021-07-18 12:00 16K 
[ ]realset2__l12_realset2.vout2021-07-25 14:31 7.3K 
[ ]realset2__l13_realset22021-07-18 12:00 16K 
[ ]realset2__l13_realset2.vout2021-07-25 17:44 7.3K 
[ ]realset2__l14_realset22021-07-18 12:01 16K 
[ ]realset2__l14_realset2.vout2021-07-25 20:16 7.3K 
[ ]realset2__l15_realset22021-07-18 12:01 15K 
[ ]realset2__l15_realset2.vout2021-07-25 17:36 8.8K 
[ ]realset2__l16_realset22021-07-18 11:50 14K 
[ ]realset2__l16_realset2.depv12021-07-25 20:57 169  
[ ]realset2__l16_realset2.depvmin12021-07-25 21:03 169  
[ ]realset2__l16_realset2.vmin12021-07-25 20:57 1.3K 
[ ]realset2__l16_realset2.vmin1out2021-07-25 20:59 9.7K 
[ ]realset2__l16_realset2.vout2021-07-25 16:59 10K 
[ ]realset2__l17_realset22021-07-18 11:50 15K 
[ ]realset2__l17_realset2.depv12021-07-25 20:57 218  
[ ]realset2__l17_realset2.depvmin12021-07-25 21:03 218  
[ ]realset2__l17_realset2.vmin12021-07-25 20:57 1.5K 
[ ]realset2__l17_realset2.vmin1out2021-07-25 21:02 11K 
[ ]realset2__l17_realset2.vout2021-07-25 17:26 11K 
[ ]realset2__l18_realset22021-07-18 11:51 15K 
[ ]realset2__l18_realset2.depv12021-07-25 20:57 218  
[ ]realset2__l18_realset2.depvmin12021-07-25 21:03 218  
[ ]realset2__l18_realset2.vmin12021-07-25 20:57 1.5K 
[ ]realset2__l18_realset2.vmin1out2021-07-25 21:02 11K 
[ ]realset2__l18_realset2.vout2021-07-25 15:02 11K 
[ ]realset2__l19_realset22021-07-18 12:01 16K 
[ ]realset2__l19_realset2.vout2021-07-25 16:33 7.3K 
[ ]realset2__l20_realset22021-07-18 12:01 16K 
[ ]realset2__l20_realset2.vout2021-07-25 18:57 7.3K 
[ ]realset2__l21_realset22021-07-18 12:02 16K 
[ ]realset2__l21_realset2.vout2021-07-25 20:39 7.3K 
[ ]realset2__l22_realset22021-07-18 12:02 15K 
[ ]realset2__l22_realset2.vout2021-07-25 15:22 8.9K 
[ ]realset2__l23_realset22021-07-18 11:51 10K 
[ ]realset2__l23_realset2.depv12021-07-25 20:57 187  
[ ]realset2__l23_realset2.depvmin12021-07-25 21:03 187  
[ ]realset2__l23_realset2.vmin12021-07-25 20:57 847  
[ ]realset2__l23_realset2.vmin1out2021-07-25 21:01 6.7K 
[ ]realset2__l23_realset2.vout2021-07-25 15:32 5.2K 
[ ]realset2__l24_realset22021-07-18 11:51 12K 
[ ]realset2__l24_realset2.depv12021-07-25 20:57 138  
[ ]realset2__l24_realset2.depvmin12021-07-25 21:03 55  
[ ]realset2__l24_realset2.vmin12021-07-25 20:57 866  
[ ]realset2__l24_realset2.vmin1out2021-07-25 21:00 3.6K 
[ ]realset2__l24_realset2.vout2021-07-25 17:01 5.5K 
[ ]realset2__l25_realset22021-07-18 12:02 15K 
[ ]realset2__l25_realset2.depv12021-07-25 20:57 276  
[ ]realset2__l25_realset2.depvmin12021-07-25 21:03 251  
[ ]realset2__l25_realset2.vmin12021-07-25 20:57 2.2K 
[ ]realset2__l25_realset2.vmin1out2021-07-25 20:58 17K 
[ ]realset2__l25_realset2.vout2021-07-25 19:57 18K 
[ ]realset2__l26_realset22021-07-18 11:51 11K 
[ ]realset2__l26_realset2.depv12021-07-25 20:57 319  
[ ]realset2__l26_realset2.depvmin12021-07-25 21:03 260  
[ ]realset2__l26_realset2.vmin12021-07-25 20:57 1.9K 
[ ]realset2__l26_realset2.vmin1out2021-07-25 20:59 15K 
[ ]realset2__l26_realset2.vout2021-07-25 20:48 16K 
[ ]realset2__l27_realset22021-07-18 11:51 13K 
[ ]realset2__l27_realset2.depv12021-07-25 20:57 44  
[ ]realset2__l27_realset2.depvmin12021-07-25 21:03 44  
[ ]realset2__l27_realset2.vmin12021-07-25 20:57 482  
[ ]realset2__l27_realset2.vmin1out2021-07-25 21:02 3.1K 
[ ]realset2__l27_realset2.vout2021-07-25 15:09 3.0K 
[ ]realset2__l28_realset22021-07-18 11:52 13K 
[ ]realset2__l28_realset2.depv12021-07-25 20:57 44  
[ ]realset2__l28_realset2.depvmin12021-07-25 21:03 44  
[ ]realset2__l28_realset2.vmin12021-07-25 20:57 482  
[ ]realset2__l28_realset2.vmin1out2021-07-25 21:00 3.1K 
[ ]realset2__l28_realset2.vout2021-07-25 17:21 3.0K 
[ ]realset2__l29_realset22021-07-18 12:02 15K 
[ ]realset2__l29_realset2.depv12021-07-25 20:57 302  
[ ]realset2__l29_realset2.depvmin12021-07-25 21:03 280  
[ ]realset2__l29_realset2.vmin12021-07-25 20:57 2.2K 
[ ]realset2__l29_realset2.vmin1out2021-07-25 20:59 31K 
[ ]realset2__l29_realset2.vout2021-07-25 16:06 38K 
[ ]realset2__l30_realset22021-07-18 11:52 24K 
[ ]realset2__l30_realset2.depv12021-07-25 20:57 299  
[ ]realset2__l30_realset2.depvmin12021-07-25 21:03 299  
[ ]realset2__l30_realset2.vmin12021-07-25 20:57 2.9K 
[ ]realset2__l30_realset2.vmin1out2021-07-25 20:58 20K 
[ ]realset2__l30_realset2.vout2021-07-25 19:45 22K 
[ ]realset2__l31_realset22021-07-18 12:03 26K 
[ ]realset2__l31_realset2.vout2021-07-25 17:36 5.9K 
[ ]realset2__l32_realset22021-07-18 11:52 25K 
[ ]realset2__l32_realset2.vout2021-07-25 16:16 7.9K 
[ ]realset2__l33_realset22021-07-18 12:03 26K 
[ ]realset2__l33_realset2.vout2021-07-25 17:57 5.8K 
[ ]realset2__l34_realset22021-07-18 11:53 15K 
[ ]realset2__l34_realset2.vout2021-07-25 15:49 2.0K 
[ ]realset2__l35_realset22021-07-18 12:03 25K 
[ ]realset2__l35_realset2.vout2021-07-25 20:44 4.7K 
[ ]realset2__l36_realset22021-07-18 12:04 27K 
[ ]realset2__l36_realset2.vout2021-07-25 15:47 5.8K 
[ ]realset2__l39_realset22021-07-18 11:53 27K 
[ ]realset2__l39_realset2.depv12021-07-25 20:57 95  
[ ]realset2__l39_realset2.depvmin12021-07-25 21:03 95  
[ ]realset2__l39_realset2.vmin12021-07-25 20:57 2.2K 
[ ]realset2__l39_realset2.vmin1out2021-07-25 20:59 40K 
[ ]realset2__l39_realset2.vout2021-07-25 15:49 33K 
[ ]realset2__t1_realset22021-07-18 11:54 26K 
[ ]realset2__t1_realset2.vout2021-07-25 14:47 7.9K 
[ ]realset2__t2_realset22021-07-18 11:44 22K 
[ ]realset2__t2_realset2.depv12021-07-25 20:57 122  
[ ]realset2__t2_realset2.depvmin12021-07-25 21:03 122  
[ ]realset2__t2_realset2.vmin12021-07-25 20:57 1.6K 
[ ]realset2__t2_realset2.vmin1out2021-07-25 20:59 21K 
[ ]realset2__t2_realset2.vout2021-07-25 17:03 16K 
[ ]realset2__t3_realset22021-07-18 11:54 19K 
[ ]realset2__t3_realset2.depv12021-07-25 20:57 105  
[ ]realset2__t3_realset2.depvmin12021-07-25 21:03 105  
[ ]realset2__t3_realset2.vmin12021-07-25 20:57 1.2K 
[ ]realset2__t3_realset2.vmin1out2021-07-25 20:59 16K 
[ ]realset2__t3_realset2.vout2021-07-25 19:34 13K 
[ ]realset2__t4_realset22021-07-18 11:55 34K 
[ ]realset2__t4_realset2.vout2021-07-25 16:22 5.8K 
[ ]realset2__t5_realset22021-07-18 11:55 34K 
[ ]realset2__t5_realset2.vout2021-07-25 17:22 5.8K 
[ ]realset2__t6_realset22021-07-18 11:56 34K 
[ ]realset2__t6_realset2.vout2021-07-25 20:52 5.8K 
[ ]realset2__t7_realset22021-07-18 11:56 34K 
[ ]realset2__t7_realset2.vout2021-07-25 19:46 5.8K 
[ ]realset2__t8_realset22021-07-18 11:56 25K 
[ ]realset2__t8_realset2.vout2021-07-25 19:34 7.3K 
[ ]realset2__t9_realset22021-07-18 11:57 22K 
[ ]realset2__t9_realset2.vout2021-07-25 19:44 2.0K 
[ ]realset2__t10_realset22021-07-18 11:44 24K 
[ ]realset2__t10_realset2.depv12021-07-25 20:57 199  
[ ]realset2__t10_realset2.depvmin12021-07-25 21:03 199  
[ ]realset2__t10_realset2.vmin12021-07-25 20:57 3.1K 
[ ]realset2__t10_realset2.vmin1out2021-07-25 21:01 33K 
[ ]realset2__t10_realset2.vout2021-07-25 19:59 36K 
[ ]realset2__t11_realset22021-07-18 11:45 23K 
[ ]realset2__t11_realset2.depv12021-07-25 20:57 123  
[ ]realset2__t11_realset2.depvmin12021-07-25 21:03 123  
[ ]realset2__t11_realset2.vmin12021-07-25 20:57 1.8K 
[ ]realset2__t11_realset2.vmin1out2021-07-25 21:00 22K 
[ ]realset2__t11_realset2.vout2021-07-25 20:16 20K 
[ ]realset2__t12_realset22021-07-18 11:45 23K 
[ ]realset2__t12_realset2.depv12021-07-25 20:57 123  
[ ]realset2__t12_realset2.depvmin12021-07-25 21:03 123  
[ ]realset2__t12_realset2.vmin12021-07-25 20:57 1.8K 
[ ]realset2__t12_realset2.vmin1out2021-07-25 20:59 23K 
[ ]realset2__t12_realset2.vout2021-07-25 18:37 20K 
[ ]realset2__t13_realset22021-07-18 11:45 22K 
[ ]realset2__t13_realset2.depv12021-07-25 20:57 152  
[ ]realset2__t13_realset2.depvmin12021-07-25 21:03 152  
[ ]realset2__t13_realset2.vmin12021-07-25 20:57 1.7K 
[ ]realset2__t13_realset2.vmin1out2021-07-25 20:58 17K 
[ ]realset2__t13_realset2.vout2021-07-25 14:41 15K 
[ ]realset2__t14_realset22021-07-18 11:46 22K 
[ ]realset2__t14_realset2.depv12021-07-25 20:57 177  
[ ]realset2__t14_realset2.depvmin12021-07-25 21:03 177  
[ ]realset2__t14_realset2.vmin12021-07-25 20:57 1.9K 
[ ]realset2__t14_realset2.vmin1out2021-07-25 20:59 19K 
[ ]realset2__t14_realset2.vout2021-07-25 15:10 17K 
[ ]realset2__t15_realset22021-07-18 11:46 22K 
[ ]realset2__t15_realset2.depv12021-07-25 20:57 122  
[ ]realset2__t15_realset2.depvmin12021-07-25 21:03 122  
[ ]realset2__t15_realset2.vmin12021-07-25 20:57 1.6K 
[ ]realset2__t15_realset2.vmin1out2021-07-25 21:02 18K 
[ ]realset2__t15_realset2.vout2021-07-25 20:50 17K 
[ ]realset2__t16_realset22021-07-18 11:47 23K 
[ ]realset2__t16_realset2.depv12021-07-25 20:57 140  
[ ]realset2__t16_realset2.depvmin12021-07-25 21:03 140  
[ ]realset2__t16_realset2.vmin12021-07-25 20:57 1.4K 
[ ]realset2__t16_realset2.vmin1out2021-07-25 21:01 13K 
[ ]realset2__t16_realset2.vout2021-07-25 17:24 12K 
[ ]realset2__t17_realset22021-07-18 11:47 23K 
[ ]realset2__t17_realset2.depv12021-07-25 20:57 140  
[ ]realset2__t17_realset2.depvmin12021-07-25 21:03 140  
[ ]realset2__t17_realset2.vmin12021-07-25 20:57 1.4K 
[ ]realset2__t17_realset2.vmin1out2021-07-25 21:00 13K 
[ ]realset2__t17_realset2.vout2021-07-25 20:30 12K 
[ ]realset2__t18_realset22021-07-18 11:47 22K 
[ ]realset2__t18_realset2.depv12021-07-25 20:57 112  
[ ]realset2__t18_realset2.depvmin12021-07-25 21:03 112  
[ ]realset2__t18_realset2.vmin12021-07-25 20:57 1.9K 
[ ]realset2__t18_realset2.vmin1out2021-07-25 21:00 19K 
[ ]realset2__t18_realset2.vout2021-07-25 17:13 18K 
[ ]realset2__t19_realset22021-07-18 11:57 23K 
[ ]realset2__t19_realset2.vout2021-07-25 19:19 7.9K 
[ ]realset2__t20_realset22021-07-18 11:58 23K 
[ ]realset2__t20_realset2.vout2021-07-25 19:52 7.9K 
[ ]realset2__t21_realset22021-07-18 11:58 23K 
[ ]realset2__t21_realset2.depv12021-07-25 20:57 383  
[ ]realset2__t21_realset2.depvmin12021-07-25 21:03 383  
[ ]realset2__t21_realset2.vmin12021-07-25 20:57 3.8K 
[ ]realset2__t21_realset2.vmin1out2021-07-25 20:59 49K 
[ ]realset2__t21_realset2.vout2021-07-25 15:42 41K 
[ ]realset2__t22_realset22021-07-18 11:59 29K 
[ ]realset2__t22_realset2.vout2021-07-25 20:44 7.9K 
[ ]realset2__t23_realset22021-07-18 11:59 29K 
[ ]realset2__t23_realset2.vout2021-07-25 17:02 7.9K 
[ ]realset2__t24_realset22021-07-18 11:59 26K 
[ ]realset2__t24_realset2.vout2021-07-25 16:02 2.0K 
[ ]realset2__t25_realset22021-07-18 11:48 21K 
[ ]realset2__t25_realset2.depv12021-07-25 20:57 80  
[ ]realset2__t25_realset2.depvmin12021-07-25 21:03 80  
[ ]realset2__t25_realset2.vmin12021-07-25 20:57 1.3K 
[ ]realset2__t25_realset2.vmin1out2021-07-25 20:58 13K 
[ ]realset2__t25_realset2.vout2021-07-25 15:20 13K 
[ ]realset2__t26_realset22021-07-18 12:00 29K 
[ ]realset2__t26_realset2.vout2021-07-25 15:36 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80