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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sysrel__l1_sysrel2024-07-27 11:02 2.5K 
[ ]sysrel__l1_sysrel.depv12024-08-03 10:19 23  
[ ]sysrel__l1_sysrel.depvmin12024-08-03 10:24 23  
[ ]sysrel__l1_sysrel.vmin12024-08-03 10:20 378  
[ ]sysrel__l1_sysrel.vmin1out2024-08-03 10:21 5.6K 
[ ]sysrel__l1_sysrel.vout2024-08-03 07:43 5.6K 
[ ]sysrel__l13_sysrel2024-07-27 11:20 3.9K 
[ ]sysrel__l13_sysrel.depv12024-08-03 10:19 60  
[ ]sysrel__l13_sysrel.depvmin12024-08-03 10:24 60  
[ ]sysrel__l13_sysrel.vmin12024-08-03 10:20 756  
[ ]sysrel__l13_sysrel.vmin1out2024-08-03 10:20 10K 
[ ]sysrel__l13_sysrel.vout2024-08-03 07:14 13K 
[ ]sysrel__t1_sysrel2024-07-27 11:03 4.3K 
[ ]sysrel__t1_sysrel.depv12024-08-03 10:19 199  
[ ]sysrel__t1_sysrel.depvmin12024-08-03 10:24 199  
[ ]sysrel__t1_sysrel.vmin12024-08-03 10:20 1.7K 
[ ]sysrel__t1_sysrel.vmin1out2024-08-03 10:20 23K 
[ ]sysrel__t1_sysrel.vout2024-08-03 05:57 24K 
[ ]sysrel__t2_sysrel2024-07-27 11:03 4.3K 
[ ]sysrel__t2_sysrel.depv12024-08-03 10:19 116  
[ ]sysrel__t2_sysrel.depvmin12024-08-03 10:24 116  
[ ]sysrel__t2_sysrel.vmin12024-08-03 10:20 1.0K 
[ ]sysrel__t2_sysrel.vmin1out2024-08-03 10:22 9.5K 
[ ]sysrel__t2_sysrel.vout2024-08-03 06:54 19K 
[ ]sysrel__t3_sysrel2024-07-27 11:04 3.9K 
[ ]sysrel__t3_sysrel.depv12024-08-03 10:19 43  
[ ]sysrel__t3_sysrel.depvmin12024-08-03 10:24 33  
[ ]sysrel__t3_sysrel.vmin12024-08-03 10:20 597  
[ ]sysrel__t3_sysrel.vmin1out2024-08-03 10:20 5.4K 
[ ]sysrel__t3_sysrel.vout2024-08-03 07:30 8.0K 
[ ]sysrel__t4_sysrel2024-07-27 11:04 3.4K 
[ ]sysrel__t4_sysrel.depv12024-08-03 10:19 69  
[ ]sysrel__t4_sysrel.depvmin12024-08-03 10:24 69  
[ ]sysrel__t4_sysrel.vmin12024-08-03 10:20 938  
[ ]sysrel__t4_sysrel.vmin1out2024-08-03 10:21 18K 
[ ]sysrel__t4_sysrel.vout2024-08-03 04:12 15K 
[ ]sysrel__t5_sysrel2024-07-27 11:05 2.6K 
[ ]sysrel__t5_sysrel.depv12024-08-03 10:19 46  
[ ]sysrel__t5_sysrel.depvmin12024-08-03 10:24 46  
[ ]sysrel__t5_sysrel.vmin12024-08-03 10:20 546  
[ ]sysrel__t5_sysrel.vmin1out2024-08-03 10:21 14K 
[ ]sysrel__t5_sysrel.vout2024-08-03 08:44 16K 
[ ]sysrel__t6_sysrel2024-07-27 11:05 3.5K 
[ ]sysrel__t6_sysrel.vout2024-08-03 05:53 9.1K 
[ ]sysrel__t7_sysrel2024-07-27 11:06 5.6K 
[ ]sysrel__t7_sysrel.depv12024-08-03 10:19 78  
[ ]sysrel__t7_sysrel.depvmin12024-08-03 10:24 78  
[ ]sysrel__t7_sysrel.vmin12024-08-03 10:20 1.8K 
[ ]sysrel__t7_sysrel.vmin1out2024-08-03 10:23 31K 
[ ]sysrel__t7_sysrel.vout2024-08-03 08:48 34K 
[ ]sysrel__t8_sysrel2024-07-27 11:06 5.1K 
[ ]sysrel__t8_sysrel.vout2024-08-03 07:29 7.3K 
[ ]sysrel__t9_sysrel2024-07-27 11:07 5.4K 
[ ]sysrel__t9_sysrel.depv12024-08-03 10:19 85  
[ ]sysrel__t9_sysrel.depvmin12024-08-03 10:24 85  
[ ]sysrel__t9_sysrel.vmin12024-08-03 10:20 1.0K 
[ ]sysrel__t9_sysrel.vmin1out2024-08-03 10:20 7.7K 
[ ]sysrel__t9_sysrel.vout2024-08-03 08:38 8.3K 
[ ]sysrel__t10_sysrel2024-07-27 11:07 5.6K 
[ ]sysrel__t10_sysrel.vout2024-08-03 04:28 7.3K 
[ ]sysrel__t11_sysrel2024-07-27 11:07 3.8K 
[ ]sysrel__t11_sysrel.depv12024-08-03 10:19 48  
[ ]sysrel__t11_sysrel.depvmin12024-08-03 10:24 48  
[ ]sysrel__t11_sysrel.vmin12024-08-03 10:20 499  
[ ]sysrel__t11_sysrel.vmin1out2024-08-03 10:20 4.5K 
[ ]sysrel__t11_sysrel.vout2024-08-03 04:23 6.9K 
[ ]sysrel__t12_sysrel2024-07-27 11:08 4.8K 
[ ]sysrel__t12_sysrel.depv12024-08-03 10:19 70  
[ ]sysrel__t12_sysrel.depvmin12024-08-03 10:24 70  
[ ]sysrel__t12_sysrel.vmin12024-08-03 10:20 504  
[ ]sysrel__t12_sysrel.vmin1out2024-08-03 10:21 3.9K 
[ ]sysrel__t12_sysrel.vout2024-08-03 09:40 4.4K 
[ ]sysrel__t13_sysrel2024-07-27 11:08 4.3K 
[ ]sysrel__t13_sysrel.depv12024-08-03 10:19 80  
[ ]sysrel__t13_sysrel.depvmin12024-08-03 10:24 80  
[ ]sysrel__t13_sysrel.vmin12024-08-03 10:20 845  
[ ]sysrel__t13_sysrel.vmin1out2024-08-03 10:21 16K 
[ ]sysrel__t13_sysrel.vout2024-08-03 09:51 14K 
[ ]sysrel__t14_sysrel2024-07-27 11:09 5.6K 
[ ]sysrel__t14_sysrel.vout2024-08-03 08:55 6.7K 
[ ]sysrel__t15_sysrel2024-07-27 11:09 5.3K 
[ ]sysrel__t15_sysrel.depv12024-08-03 10:19 57  
[ ]sysrel__t15_sysrel.depvmin12024-08-03 10:24 57  
[ ]sysrel__t15_sysrel.vmin12024-08-03 10:20 693  
[ ]sysrel__t15_sysrel.vmin1out2024-08-03 10:22 8.1K 
[ ]sysrel__t15_sysrel.vout2024-08-03 05:09 8.2K 
[ ]sysrel__t16_sysrel2024-07-27 11:01 4.2K 
[ ]sysrel__t16_sysrel.depv12024-08-03 10:19 85  
[ ]sysrel__t16_sysrel.depvmin12024-08-03 10:24 85  
[ ]sysrel__t16_sysrel.vmin12024-08-03 10:20 625  
[ ]sysrel__t16_sysrel.vmin1out2024-08-03 10:20 4.8K 
[ ]sysrel__t16_sysrel.vout2024-08-03 05:34 6.3K 
[ ]sysrel__t17_sysrel2024-07-27 11:10 4.3K 
[ ]sysrel__t17_sysrel.depv12024-08-03 10:19 59  
[ ]sysrel__t17_sysrel.depvmin12024-08-03 10:24 59  
[ ]sysrel__t17_sysrel.vmin12024-08-03 10:20 735  
[ ]sysrel__t17_sysrel.vmin1out2024-08-03 10:21 18K 
[ ]sysrel__t17_sysrel.vout2024-08-03 06:38 20K 
[ ]sysrel__t18_sysrel2024-07-27 11:10 5.3K 
[ ]sysrel__t18_sysrel.depv12024-08-03 10:19 95  
[ ]sysrel__t18_sysrel.depvmin12024-08-03 10:24 95  
[ ]sysrel__t18_sysrel.vmin12024-08-03 10:20 1.3K 
[ ]sysrel__t18_sysrel.vmin1out2024-08-03 10:20 26K 
[ ]sysrel__t18_sysrel.vout2024-08-03 05:02 23K 
[ ]sysrel__t19_sysrel2024-07-27 11:11 4.5K 
[ ]sysrel__t19_sysrel.depv12024-08-03 10:19 82  
[ ]sysrel__t19_sysrel.depvmin12024-08-03 10:24 82  
[ ]sysrel__t19_sysrel.vmin12024-08-03 10:20 1.0K 
[ ]sysrel__t19_sysrel.vmin1out2024-08-03 10:21 18K 
[ ]sysrel__t19_sysrel.vout2024-08-03 08:57 18K 
[ ]sysrel__t20_sysrel2024-07-27 11:11 5.9K 
[ ]sysrel__t20_sysrel.vout2024-08-03 10:08 7.3K 
[ ]sysrel__t21_sysrel2024-07-27 11:12 6.9K 
[ ]sysrel__t21_sysrel.vout2024-08-03 10:15 7.3K 
[ ]sysrel__t22_sysrel2024-07-27 11:12 6.7K 
[ ]sysrel__t22_sysrel.vout2024-08-03 05:09 6.8K 
[ ]sysrel__t23_sysrel2024-07-27 11:01 6.6K 
[ ]sysrel__t23_sysrel.depv12024-08-03 10:19 86  
[ ]sysrel__t23_sysrel.depvmin12024-08-03 10:24 61  
[ ]sysrel__t23_sysrel.vmin12024-08-03 10:20 1.1K 
[ ]sysrel__t23_sysrel.vmin1out2024-08-03 10:21 10K 
[ ]sysrel__t23_sysrel.vout2024-08-03 08:28 15K 
[ ]sysrel__t24_sysrel2024-07-27 11:13 6.2K 
[ ]sysrel__t24_sysrel.vout2024-08-03 06:50 4.7K 
[ ]sysrel__t25_sysrel2024-07-27 11:13 3.7K 
[ ]sysrel__t25_sysrel.depv12024-08-03 10:19 72  
[ ]sysrel__t25_sysrel.depvmin12024-08-03 10:24 72  
[ ]sysrel__t25_sysrel.vmin12024-08-03 10:20 865  
[ ]sysrel__t25_sysrel.vmin1out2024-08-03 10:22 14K 
[ ]sysrel__t25_sysrel.vout2024-08-03 04:12 14K 
[ ]sysrel__t26_sysrel2024-07-27 11:14 5.4K 
[ ]sysrel__t26_sysrel.vout2024-08-03 08:11 7.3K 
[ ]sysrel__t27_sysrel2024-07-27 11:14 5.1K 
[ ]sysrel__t27_sysrel.depv12024-08-03 10:19 95  
[ ]sysrel__t27_sysrel.depvmin12024-08-03 10:24 95  
[ ]sysrel__t27_sysrel.vmin12024-08-03 10:20 2.0K 
[ ]sysrel__t27_sysrel.vmin1out2024-08-03 10:21 37K 
[ ]sysrel__t27_sysrel.vout2024-08-03 06:06 37K 
[ ]sysrel__t28_sysrel2024-07-27 11:15 4.0K 
[ ]sysrel__t28_sysrel.depv12024-08-03 10:19 60  
[ ]sysrel__t28_sysrel.depvmin12024-08-03 10:24 60  
[ ]sysrel__t28_sysrel.vmin12024-08-03 10:20 716  
[ ]sysrel__t28_sysrel.vmin1out2024-08-03 10:23 16K 
[ ]sysrel__t28_sysrel.vout2024-08-03 04:52 21K 
[ ]sysrel__t29_sysrel2024-07-27 11:15 8.2K 
[ ]sysrel__t29_sysrel.vout2024-08-03 05:10 4.7K 
[ ]sysrel__t30_sysrel2024-07-27 11:16 6.8K 
[ ]sysrel__t30_sysrel.depv12024-08-03 10:19 106  
[ ]sysrel__t30_sysrel.depvmin12024-08-03 10:24 70  
[ ]sysrel__t30_sysrel.vmin12024-08-03 10:20 1.8K 
[ ]sysrel__t30_sysrel.vmin1out2024-08-03 10:23 25K 
[ ]sysrel__t30_sysrel.vout2024-08-03 04:34 22K 
[ ]sysrel__t31_sysrel2024-07-27 11:16 7.7K 
[ ]sysrel__t31_sysrel.vout2024-08-03 06:56 6.8K 
[ ]sysrel__t32_sysrel2024-07-27 11:17 5.2K 
[ ]sysrel__t32_sysrel.depv12024-08-03 10:19 70  
[ ]sysrel__t32_sysrel.depvmin12024-08-03 10:24 70  
[ ]sysrel__t32_sysrel.vmin12024-08-03 10:20 896  
[ ]sysrel__t32_sysrel.vmin1out2024-08-03 10:21 9.5K 
[ ]sysrel__t32_sysrel.vout2024-08-03 07:15 11K 
[ ]sysrel__t33_sysrel2024-07-27 11:02 5.2K 
[ ]sysrel__t33_sysrel.depv12024-08-03 10:19 33  
[ ]sysrel__t33_sysrel.depvmin12024-08-03 10:24 33  
[ ]sysrel__t33_sysrel.vmin12024-08-03 10:20 628  
[ ]sysrel__t33_sysrel.vmin1out2024-08-03 10:23 5.4K 
[ ]sysrel__t33_sysrel.vout2024-08-03 04:58 6.0K 
[ ]sysrel__t34_sysrel2024-07-27 11:17 6.0K 
[ ]sysrel__t34_sysrel.depv12024-08-03 10:19 69  
[ ]sysrel__t34_sysrel.depvmin12024-08-03 10:24 69  
[ ]sysrel__t34_sysrel.vmin12024-08-03 10:20 1.8K 
[ ]sysrel__t34_sysrel.vmin1out2024-08-03 10:21 17K 
[ ]sysrel__t34_sysrel.vout2024-08-03 09:25 21K 
[ ]sysrel__t35_sysrel2024-07-27 11:18 8.4K 
[ ]sysrel__t35_sysrel.vout2024-08-03 07:26 6.8K 
[ ]sysrel__t36_sysrel2024-07-27 11:18 9.2K 
[ ]sysrel__t36_sysrel.depv12024-08-03 10:19 69  
[ ]sysrel__t36_sysrel.depvmin12024-08-03 10:24 44  
[ ]sysrel__t36_sysrel.vmin12024-08-03 10:20 1.3K 
[ ]sysrel__t36_sysrel.vmin1out2024-08-03 10:20 20K 
[ ]sysrel__t36_sysrel.vout2024-08-03 07:55 18K 
[ ]sysrel__t37_sysrel2024-07-27 11:19 7.1K 
[ ]sysrel__t37_sysrel.depv12024-08-03 10:19 176  
[ ]sysrel__t37_sysrel.depvmin12024-08-03 10:24 151  
[ ]sysrel__t37_sysrel.vmin12024-08-03 10:20 2.0K 
[ ]sysrel__t37_sysrel.vmin1out2024-08-03 10:23 31K 
[ ]sysrel__t37_sysrel.vout2024-08-03 04:30 24K 
[ ]sysrel__t38_sysrel2024-07-27 11:19 5.3K 
[ ]sysrel__t38_sysrel.depv12024-08-03 10:19 108  
[ ]sysrel__t38_sysrel.depvmin12024-08-03 10:24 108  
[ ]sysrel__t38_sysrel.vmin12024-08-03 10:20 1.2K 
[ ]sysrel__t38_sysrel.vmin1out2024-08-03 10:21 18K 
[ ]sysrel__t38_sysrel.vout2024-08-03 08:36 16K 
[ ]sysrel__t39_sysrel2024-07-27 11:20 7.3K 
[ ]sysrel__t39_sysrel.vout2024-08-03 09:31 6.8K 
[ ]sysrel__t40_sysrel2024-07-27 11:02 6.5K 
[ ]sysrel__t40_sysrel.vout2024-08-03 07:57 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80