Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/realset2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realset2__l3_realset22024-07-27 11:40 6.3K 
[ ]realset2__l3_realset2.depv12024-08-03 10:19 69  
[ ]realset2__l3_realset2.depvmin12024-08-03 10:24 69  
[ ]realset2__l3_realset2.vmin12024-08-03 10:20 379  
[ ]realset2__l3_realset2.vmin1out2024-08-03 10:23 5.1K 
[ ]realset2__l3_realset2.vout2024-08-03 08:12 5.0K 
[ ]realset2__l4_realset22024-07-27 11:40 6.4K 
[ ]realset2__l4_realset2.depv12024-08-03 10:19 93  
[ ]realset2__l4_realset2.depvmin12024-08-03 10:24 93  
[ ]realset2__l4_realset2.vmin12024-08-03 10:20 449  
[ ]realset2__l4_realset2.vmin1out2024-08-03 10:22 5.6K 
[ ]realset2__l4_realset2.vout2024-08-03 10:04 5.5K 
[ ]realset2__l5_realset22024-07-27 11:41 6.4K 
[ ]realset2__l5_realset2.depv12024-08-03 10:19 96  
[ ]realset2__l5_realset2.depvmin12024-08-03 10:24 59  
[ ]realset2__l5_realset2.vmin12024-08-03 10:20 419  
[ ]realset2__l5_realset2.vmin1out2024-08-03 10:21 2.8K 
[ ]realset2__l5_realset2.vout2024-08-03 08:36 3.2K 
[ ]realset2__l6_realset22024-07-27 11:42 6.3K 
[ ]realset2__l6_realset2.depv12024-08-03 10:19 59  
[ ]realset2__l6_realset2.depvmin12024-08-03 10:24 59  
[ ]realset2__l6_realset2.vmin12024-08-03 10:20 280  
[ ]realset2__l6_realset2.vmin1out2024-08-03 10:23 2.3K 
[ ]realset2__l6_realset2.vout2024-08-03 10:05 2.4K 
[ ]realset2__l7_realset22024-07-27 11:42 6.3K 
[ ]realset2__l7_realset2.depv12024-08-03 10:19 133  
[ ]realset2__l7_realset2.depvmin12024-08-03 10:24 133  
[ ]realset2__l7_realset2.vmin12024-08-03 10:20 582  
[ ]realset2__l7_realset2.vmin1out2024-08-03 10:20 5.0K 
[ ]realset2__l7_realset2.vout2024-08-03 05:55 5.7K 
[ ]realset2__l8_realset22024-07-27 11:43 6.4K 
[ ]realset2__l8_realset2.depv12024-08-03 10:19 81  
[ ]realset2__l8_realset2.depvmin12024-08-03 10:24 44  
[ ]realset2__l8_realset2.vmin12024-08-03 10:20 323  
[ ]realset2__l8_realset2.vmin1out2024-08-03 10:20 1.9K 
[ ]realset2__l8_realset2.vout2024-08-03 09:16 2.2K 
[ ]realset2__l9_realset22024-07-27 11:44 15K 
[ ]realset2__l9_realset2.depv12024-08-03 10:19 168  
[ ]realset2__l9_realset2.depvmin12024-08-03 10:24 168  
[ ]realset2__l9_realset2.vmin12024-08-03 10:20 1.4K 
[ ]realset2__l9_realset2.vmin1out2024-08-03 10:20 9.8K 
[ ]realset2__l9_realset2.vout2024-08-03 05:28 10K 
[ ]realset2__l10_realset22024-07-27 11:45 15K 
[ ]realset2__l10_realset2.depv12024-08-03 10:19 218  
[ ]realset2__l10_realset2.depvmin12024-08-03 10:24 218  
[ ]realset2__l10_realset2.vmin12024-08-03 10:20 1.5K 
[ ]realset2__l10_realset2.vmin1out2024-08-03 10:22 11K 
[ ]realset2__l10_realset2.vout2024-08-03 08:07 11K 
[ ]realset2__l11_realset22024-07-27 11:46 15K 
[ ]realset2__l11_realset2.depv12024-08-03 10:19 218  
[ ]realset2__l11_realset2.depvmin12024-08-03 10:24 218  
[ ]realset2__l11_realset2.vmin12024-08-03 10:20 1.5K 
[ ]realset2__l11_realset2.vmin1out2024-08-03 10:21 11K 
[ ]realset2__l11_realset2.vout2024-08-03 08:57 11K 
[ ]realset2__l12_realset22024-07-27 12:22 16K 
[ ]realset2__l12_realset2.vout2024-08-03 04:45 6.8K 
[ ]realset2__l13_realset22024-07-27 12:23 16K 
[ ]realset2__l13_realset2.vout2024-08-03 05:58 6.8K 
[ ]realset2__l14_realset22024-07-27 12:24 16K 
[ ]realset2__l14_realset2.vout2024-08-03 09:27 6.8K 
[ ]realset2__l15_realset22024-07-27 12:25 16K 
[ ]realset2__l15_realset2.vout2024-08-03 06:53 8.8K 
[ ]realset2__l16_realset22024-07-27 11:47 15K 
[ ]realset2__l16_realset2.depv12024-08-03 10:19 169  
[ ]realset2__l16_realset2.depvmin12024-08-03 10:24 169  
[ ]realset2__l16_realset2.vmin12024-08-03 10:20 1.3K 
[ ]realset2__l16_realset2.vmin1out2024-08-03 10:22 9.7K 
[ ]realset2__l16_realset2.vout2024-08-03 06:21 10K 
[ ]realset2__l17_realset22024-07-27 11:48 15K 
[ ]realset2__l17_realset2.depv12024-08-03 10:19 218  
[ ]realset2__l17_realset2.depvmin12024-08-03 10:24 218  
[ ]realset2__l17_realset2.vmin12024-08-03 10:20 1.5K 
[ ]realset2__l17_realset2.vmin1out2024-08-03 10:20 11K 
[ ]realset2__l17_realset2.vout2024-08-03 08:16 11K 
[ ]realset2__l18_realset22024-07-27 11:49 15K 
[ ]realset2__l18_realset2.depv12024-08-03 10:19 218  
[ ]realset2__l18_realset2.depvmin12024-08-03 10:24 218  
[ ]realset2__l18_realset2.vmin12024-08-03 10:20 1.5K 
[ ]realset2__l18_realset2.vmin1out2024-08-03 10:21 11K 
[ ]realset2__l18_realset2.vout2024-08-03 07:49 11K 
[ ]realset2__l19_realset22024-07-27 12:26 16K 
[ ]realset2__l19_realset2.vout2024-08-03 07:47 6.8K 
[ ]realset2__l20_realset22024-07-27 12:27 16K 
[ ]realset2__l20_realset2.vout2024-08-03 04:25 6.8K 
[ ]realset2__l21_realset22024-07-27 12:28 16K 
[ ]realset2__l21_realset2.vout2024-08-03 09:58 6.8K 
[ ]realset2__l22_realset22024-07-27 12:29 16K 
[ ]realset2__l22_realset2.vout2024-08-03 07:39 8.8K 
[ ]realset2__l23_realset22024-07-27 11:50 10K 
[ ]realset2__l23_realset2.depv12024-08-03 10:19 187  
[ ]realset2__l23_realset2.depvmin12024-08-03 10:24 187  
[ ]realset2__l23_realset2.vmin12024-08-03 10:20 847  
[ ]realset2__l23_realset2.vmin1out2024-08-03 10:20 6.7K 
[ ]realset2__l23_realset2.vout2024-08-03 05:49 5.2K 
[ ]realset2__l24_realset22024-07-27 11:50 13K 
[ ]realset2__l24_realset2.depv12024-08-03 10:19 138  
[ ]realset2__l24_realset2.depvmin12024-08-03 10:24 55  
[ ]realset2__l24_realset2.vmin12024-08-03 10:20 866  
[ ]realset2__l24_realset2.vmin1out2024-08-03 10:20 3.6K 
[ ]realset2__l24_realset2.vout2024-08-03 09:58 5.5K 
[ ]realset2__l25_realset22024-07-27 12:30 15K 
[ ]realset2__l25_realset2.depv12024-08-03 10:19 276  
[ ]realset2__l25_realset2.depvmin12024-08-03 10:24 251  
[ ]realset2__l25_realset2.vmin12024-08-03 10:20 2.2K 
[ ]realset2__l25_realset2.vmin1out2024-08-03 10:21 17K 
[ ]realset2__l25_realset2.vout2024-08-03 08:26 18K 
[ ]realset2__l26_realset22024-07-27 11:51 11K 
[ ]realset2__l26_realset2.depv12024-08-03 10:19 319  
[ ]realset2__l26_realset2.depvmin12024-08-03 10:24 260  
[ ]realset2__l26_realset2.vmin12024-08-03 10:20 1.9K 
[ ]realset2__l26_realset2.vmin1out2024-08-03 10:20 15K 
[ ]realset2__l26_realset2.vout2024-08-03 04:37 16K 
[ ]realset2__l27_realset22024-07-27 11:52 13K 
[ ]realset2__l27_realset2.depv12024-08-03 10:19 44  
[ ]realset2__l27_realset2.depvmin12024-08-03 10:24 44  
[ ]realset2__l27_realset2.vmin12024-08-03 10:20 482  
[ ]realset2__l27_realset2.vmin1out2024-08-03 10:22 3.1K 
[ ]realset2__l27_realset2.vout2024-08-03 09:58 3.0K 
[ ]realset2__l28_realset22024-07-27 11:53 13K 
[ ]realset2__l28_realset2.depv12024-08-03 10:19 44  
[ ]realset2__l28_realset2.depvmin12024-08-03 10:24 44  
[ ]realset2__l28_realset2.vmin12024-08-03 10:20 482  
[ ]realset2__l28_realset2.vmin1out2024-08-03 10:22 3.1K 
[ ]realset2__l28_realset2.vout2024-08-03 10:11 3.0K 
[ ]realset2__l29_realset22024-07-27 12:31 15K 
[ ]realset2__l29_realset2.depv12024-08-03 10:19 328  
[ ]realset2__l29_realset2.depvmin12024-08-03 10:24 328  
[ ]realset2__l29_realset2.vmin12024-08-03 10:20 2.4K 
[ ]realset2__l29_realset2.vmin1out2024-08-03 10:21 39K 
[ ]realset2__l29_realset2.vout2024-08-03 04:16 40K 
[ ]realset2__l30_realset22024-07-27 11:54 24K 
[ ]realset2__l30_realset2.depv12024-08-03 10:19 298  
[ ]realset2__l30_realset2.depvmin12024-08-03 10:24 298  
[ ]realset2__l30_realset2.vmin12024-08-03 10:20 2.8K 
[ ]realset2__l30_realset2.vmin1out2024-08-03 10:22 20K 
[ ]realset2__l30_realset2.vout2024-08-03 08:33 21K 
[ ]realset2__l31_realset22024-07-27 12:32 26K 
[ ]realset2__l31_realset2.vout2024-08-03 06:59 5.8K 
[ ]realset2__l32_realset22024-07-27 11:55 26K 
[ ]realset2__l32_realset2.vout2024-08-03 09:57 7.9K 
[ ]realset2__l33_realset22024-07-27 12:33 26K 
[ ]realset2__l33_realset2.vout2024-08-03 06:46 5.8K 
[ ]realset2__l34_realset22024-07-27 11:56 15K 
[ ]realset2__l34_realset2.vout2024-08-03 06:56 2.0K 
[ ]realset2__l35_realset22024-07-27 12:35 25K 
[ ]realset2__l35_realset2.vout2024-08-03 06:18 4.7K 
[ ]realset2__l36_realset22024-07-27 12:36 27K 
[ ]realset2__l36_realset2.vout2024-08-03 07:46 5.8K 
[ ]realset2__l39_realset22024-07-27 11:58 27K 
[ ]realset2__l39_realset2.depv12024-08-03 10:19 95  
[ ]realset2__l39_realset2.depvmin12024-08-03 10:24 95  
[ ]realset2__l39_realset2.vmin12024-08-03 10:20 2.2K 
[ ]realset2__l39_realset2.vmin1out2024-08-03 10:23 40K 
[ ]realset2__l39_realset2.vout2024-08-03 07:27 33K 
[ ]realset2__t1_realset22024-07-27 11:59 26K 
[ ]realset2__t1_realset2.vout2024-08-03 05:52 7.9K 
[ ]realset2__t2_realset22024-07-27 11:25 22K 
[ ]realset2__t2_realset2.depv12024-08-03 10:19 122  
[ ]realset2__t2_realset2.depvmin12024-08-03 10:24 122  
[ ]realset2__t2_realset2.vmin12024-08-03 10:20 1.6K 
[ ]realset2__t2_realset2.vmin1out2024-08-03 10:20 21K 
[ ]realset2__t2_realset2.vout2024-08-03 07:39 16K 
[ ]realset2__t3_realset22024-07-27 12:01 19K 
[ ]realset2__t3_realset2.depv12024-08-03 10:19 105  
[ ]realset2__t3_realset2.depvmin12024-08-03 10:24 105  
[ ]realset2__t3_realset2.vmin12024-08-03 10:20 1.2K 
[ ]realset2__t3_realset2.vmin1out2024-08-03 10:22 16K 
[ ]realset2__t3_realset2.vout2024-08-03 05:38 13K 
[ ]realset2__t4_realset22024-07-27 12:03 34K 
[ ]realset2__t4_realset2.vout2024-08-03 09:00 5.8K 
[ ]realset2__t5_realset22024-07-27 12:04 34K 
[ ]realset2__t5_realset2.vout2024-08-03 08:43 5.8K 
[ ]realset2__t6_realset22024-07-27 12:06 34K 
[ ]realset2__t6_realset2.vout2024-08-03 05:47 5.8K 
[ ]realset2__t7_realset22024-07-27 12:08 34K 
[ ]realset2__t7_realset2.vout2024-08-03 06:11 5.8K 
[ ]realset2__t8_realset22024-07-27 12:09 25K 
[ ]realset2__t8_realset2.vout2024-08-03 08:40 7.3K 
[ ]realset2__t9_realset22024-07-27 12:11 22K 
[ ]realset2__t9_realset2.vout2024-08-03 04:16 2.1K 
[ ]realset2__t10_realset22024-07-27 11:27 24K 
[ ]realset2__t10_realset2.depv12024-08-03 10:19 199  
[ ]realset2__t10_realset2.depvmin12024-08-03 10:24 199  
[ ]realset2__t10_realset2.vmin12024-08-03 10:20 3.1K 
[ ]realset2__t10_realset2.vmin1out2024-08-03 10:22 33K 
[ ]realset2__t10_realset2.vout2024-08-03 09:53 36K 
[ ]realset2__t11_realset22024-07-27 11:28 23K 
[ ]realset2__t11_realset2.depv12024-08-03 10:19 123  
[ ]realset2__t11_realset2.depvmin12024-08-03 10:24 123  
[ ]realset2__t11_realset2.vmin12024-08-03 10:20 1.8K 
[ ]realset2__t11_realset2.vmin1out2024-08-03 10:20 22K 
[ ]realset2__t11_realset2.vout2024-08-03 07:24 20K 
[ ]realset2__t12_realset22024-07-27 11:30 23K 
[ ]realset2__t12_realset2.depv12024-08-03 10:19 123  
[ ]realset2__t12_realset2.depvmin12024-08-03 10:24 123  
[ ]realset2__t12_realset2.vmin12024-08-03 10:20 1.8K 
[ ]realset2__t12_realset2.vmin1out2024-08-03 10:21 23K 
[ ]realset2__t12_realset2.vout2024-08-03 09:19 20K 
[ ]realset2__t13_realset22024-07-27 11:31 22K 
[ ]realset2__t13_realset2.depv12024-08-03 10:19 152  
[ ]realset2__t13_realset2.depvmin12024-08-03 10:24 152  
[ ]realset2__t13_realset2.vmin12024-08-03 10:20 1.7K 
[ ]realset2__t13_realset2.vmin1out2024-08-03 10:21 17K 
[ ]realset2__t13_realset2.vout2024-08-03 06:20 15K 
[ ]realset2__t14_realset22024-07-27 11:32 22K 
[ ]realset2__t14_realset2.depv12024-08-03 10:19 177  
[ ]realset2__t14_realset2.depvmin12024-08-03 10:24 177  
[ ]realset2__t14_realset2.vmin12024-08-03 10:20 1.9K 
[ ]realset2__t14_realset2.vmin1out2024-08-03 10:21 19K 
[ ]realset2__t14_realset2.vout2024-08-03 04:39 17K 
[ ]realset2__t15_realset22024-07-27 11:34 22K 
[ ]realset2__t15_realset2.depv12024-08-03 10:19 122  
[ ]realset2__t15_realset2.depvmin12024-08-03 10:24 122  
[ ]realset2__t15_realset2.vmin12024-08-03 10:20 1.6K 
[ ]realset2__t15_realset2.vmin1out2024-08-03 10:23 18K 
[ ]realset2__t15_realset2.vout2024-08-03 06:23 17K 
[ ]realset2__t16_realset22024-07-27 11:35 23K 
[ ]realset2__t16_realset2.depv12024-08-03 10:19 140  
[ ]realset2__t16_realset2.depvmin12024-08-03 10:24 140  
[ ]realset2__t16_realset2.vmin12024-08-03 10:20 1.4K 
[ ]realset2__t16_realset2.vmin1out2024-08-03 10:22 13K 
[ ]realset2__t16_realset2.vout2024-08-03 08:24 12K 
[ ]realset2__t17_realset22024-07-27 11:37 23K 
[ ]realset2__t17_realset2.depv12024-08-03 10:19 140  
[ ]realset2__t17_realset2.depvmin12024-08-03 10:24 140  
[ ]realset2__t17_realset2.vmin12024-08-03 10:20 1.4K 
[ ]realset2__t17_realset2.vmin1out2024-08-03 10:20 13K 
[ ]realset2__t17_realset2.vout2024-08-03 09:50 12K 
[ ]realset2__t18_realset22024-07-27 11:38 22K 
[ ]realset2__t18_realset2.depv12024-08-03 10:19 112  
[ ]realset2__t18_realset2.depvmin12024-08-03 10:24 112  
[ ]realset2__t18_realset2.vmin12024-08-03 10:20 1.9K 
[ ]realset2__t18_realset2.vmin1out2024-08-03 10:21 19K 
[ ]realset2__t18_realset2.vout2024-08-03 04:14 18K 
[ ]realset2__t19_realset22024-07-27 12:12 23K 
[ ]realset2__t19_realset2.vout2024-08-03 07:08 7.9K 
[ ]realset2__t20_realset22024-07-27 12:14 23K 
[ ]realset2__t20_realset2.vout2024-08-03 06:16 7.9K 
[ ]realset2__t21_realset22024-07-27 12:15 23K 
[ ]realset2__t21_realset2.depv12024-08-03 10:19 382  
[ ]realset2__t21_realset2.depvmin12024-08-03 10:24 382  
[ ]realset2__t21_realset2.vmin12024-08-03 10:20 3.8K 
[ ]realset2__t21_realset2.vmin1out2024-08-03 10:21 48K 
[ ]realset2__t21_realset2.vout2024-08-03 07:53 40K 
[ ]realset2__t22_realset22024-07-27 12:17 29K 
[ ]realset2__t22_realset2.vout2024-08-03 08:47 7.9K 
[ ]realset2__t23_realset22024-07-27 12:18 29K 
[ ]realset2__t23_realset2.vout2024-08-03 07:21 7.9K 
[ ]realset2__t24_realset22024-07-27 12:20 26K 
[ ]realset2__t24_realset2.vout2024-08-03 06:42 2.0K 
[ ]realset2__t25_realset22024-07-27 11:39 21K 
[ ]realset2__t25_realset2.depv12024-08-03 10:19 80  
[ ]realset2__t25_realset2.depvmin12024-08-03 10:24 80  
[ ]realset2__t25_realset2.vmin12024-08-03 10:20 1.3K 
[ ]realset2__t25_realset2.vmin1out2024-08-03 10:23 13K 
[ ]realset2__t25_realset2.vout2024-08-03 06:14 13K 
[ ]realset2__t26_realset22024-07-27 12:21 29K 
[ ]realset2__t26_realset2.vout2024-08-03 04:30 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80