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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sysrel__t12_sysrel.depvmin12021-07-25 21:03 70  
[ ]sysrel__t38_sysrel.depvmin12021-07-25 21:03 108  
[ ]sysrel__t27_sysrel.depvmin12021-07-25 21:03 95  
[ ]sysrel__t5_sysrel.depvmin12021-07-25 21:03 46  
[ ]sysrel__t33_sysrel.depvmin12021-07-25 21:03 33  
[ ]sysrel__t30_sysrel.depvmin12021-07-25 21:03 70  
[ ]sysrel__t17_sysrel.depvmin12021-07-25 21:03 59  
[ ]sysrel__t36_sysrel.depvmin12021-07-25 21:03 44  
[ ]sysrel__t32_sysrel.depvmin12021-07-25 21:03 70  
[ ]sysrel__t9_sysrel.depvmin12021-07-25 21:03 85  
[ ]sysrel__l1_sysrel.depvmin12021-07-25 21:03 23  
[ ]sysrel__t37_sysrel.depvmin12021-07-25 21:03 151  
[ ]sysrel__t18_sysrel.depvmin12021-07-25 21:03 95  
[ ]sysrel__l13_sysrel.depvmin12021-07-25 21:03 60  
[ ]sysrel__t34_sysrel.depvmin12021-07-25 21:03 69  
[ ]sysrel__t19_sysrel.depvmin12021-07-25 21:03 82  
[ ]sysrel__t2_sysrel.depvmin12021-07-25 21:03 116  
[ ]sysrel__t28_sysrel.depvmin12021-07-25 21:03 60  
[ ]sysrel__t15_sysrel.depvmin12021-07-25 21:03 57  
[ ]sysrel__t7_sysrel.depvmin12021-07-25 21:03 78  
[ ]sysrel__t13_sysrel.depvmin12021-07-25 21:03 80  
[ ]sysrel__t11_sysrel.depvmin12021-07-25 21:03 48  
[ ]sysrel__t4_sysrel.depvmin12021-07-25 21:03 69  
[ ]sysrel__t1_sysrel.depvmin12021-07-25 21:03 199  
[ ]sysrel__t25_sysrel.depvmin12021-07-25 21:03 72  
[ ]sysrel__t23_sysrel.depvmin12021-07-25 21:03 61  
[ ]sysrel__t16_sysrel.depvmin12021-07-25 21:03 85  
[ ]sysrel__t3_sysrel.depvmin12021-07-25 21:03 33  
[ ]sysrel__t7_sysrel.vmin1out2021-07-25 21:02 31K 
[ ]sysrel__t38_sysrel.vmin1out2021-07-25 21:02 18K 
[ ]sysrel__t5_sysrel.vmin1out2021-07-25 21:02 14K 
[ ]sysrel__t30_sysrel.vmin1out2021-07-25 21:02 25K 
[ ]sysrel__t27_sysrel.vmin1out2021-07-25 21:02 37K 
[ ]sysrel__t17_sysrel.vmin1out2021-07-25 21:02 18K 
[ ]sysrel__t2_sysrel.vmin1out2021-07-25 21:01 9.5K 
[ ]sysrel__t1_sysrel.vmin1out2021-07-25 21:01 23K 
[ ]sysrel__t36_sysrel.vmin1out2021-07-25 21:01 20K 
[ ]sysrel__l13_sysrel.vmin1out2021-07-25 21:01 10K 
[ ]sysrel__t15_sysrel.vmin1out2021-07-25 21:00 8.1K 
[ ]sysrel__l1_sysrel.vmin1out2021-07-25 21:00 5.6K 
[ ]sysrel__t28_sysrel.vmin1out2021-07-25 21:00 16K 
[ ]sysrel__t9_sysrel.vmin1out2021-07-25 21:00 7.7K 
[ ]sysrel__t32_sysrel.vmin1out2021-07-25 20:59 9.5K 
[ ]sysrel__t13_sysrel.vmin1out2021-07-25 20:59 16K 
[ ]sysrel__t3_sysrel.vmin1out2021-07-25 20:59 5.4K 
[ ]sysrel__t4_sysrel.vmin1out2021-07-25 20:59 18K 
[ ]sysrel__t37_sysrel.vmin1out2021-07-25 20:59 31K 
[ ]sysrel__t25_sysrel.vmin1out2021-07-25 20:59 14K 
[ ]sysrel__t16_sysrel.vmin1out2021-07-25 20:59 4.8K 
[ ]sysrel__t11_sysrel.vmin1out2021-07-25 20:59 4.5K 
[ ]sysrel__t19_sysrel.vmin1out2021-07-25 20:58 18K 
[ ]sysrel__t34_sysrel.vmin1out2021-07-25 20:58 17K 
[ ]sysrel__t23_sysrel.vmin1out2021-07-25 20:58 10K 
[ ]sysrel__t33_sysrel.vmin1out2021-07-25 20:58 5.4K 
[ ]sysrel__t12_sysrel.vmin1out2021-07-25 20:58 3.9K 
[ ]sysrel__t18_sysrel.vmin1out2021-07-25 20:58 26K 
[ ]sysrel__t38_sysrel.vmin12021-07-25 20:57 1.2K 
[ ]sysrel__t37_sysrel.vmin12021-07-25 20:57 2.0K 
[ ]sysrel__t36_sysrel.vmin12021-07-25 20:57 1.3K 
[ ]sysrel__t34_sysrel.vmin12021-07-25 20:57 1.8K 
[ ]sysrel__t33_sysrel.vmin12021-07-25 20:57 628  
[ ]sysrel__t32_sysrel.vmin12021-07-25 20:57 896  
[ ]sysrel__t30_sysrel.vmin12021-07-25 20:57 1.8K 
[ ]sysrel__t28_sysrel.vmin12021-07-25 20:57 716  
[ ]sysrel__t27_sysrel.vmin12021-07-25 20:57 2.0K 
[ ]sysrel__t25_sysrel.vmin12021-07-25 20:57 865  
[ ]sysrel__t23_sysrel.vmin12021-07-25 20:57 1.1K 
[ ]sysrel__t19_sysrel.vmin12021-07-25 20:57 1.0K 
[ ]sysrel__t18_sysrel.vmin12021-07-25 20:57 1.3K 
[ ]sysrel__t17_sysrel.vmin12021-07-25 20:57 735  
[ ]sysrel__t16_sysrel.vmin12021-07-25 20:57 625  
[ ]sysrel__t15_sysrel.vmin12021-07-25 20:57 693  
[ ]sysrel__t13_sysrel.vmin12021-07-25 20:57 845  
[ ]sysrel__t12_sysrel.vmin12021-07-25 20:57 504  
[ ]sysrel__t11_sysrel.vmin12021-07-25 20:57 499  
[ ]sysrel__t9_sysrel.vmin12021-07-25 20:57 1.0K 
[ ]sysrel__t7_sysrel.vmin12021-07-25 20:57 1.9K 
[ ]sysrel__t5_sysrel.vmin12021-07-25 20:57 546  
[ ]sysrel__t4_sysrel.vmin12021-07-25 20:57 938  
[ ]sysrel__t3_sysrel.vmin12021-07-25 20:57 597  
[ ]sysrel__t2_sysrel.vmin12021-07-25 20:57 1.0K 
[ ]sysrel__t1_sysrel.vmin12021-07-25 20:57 1.7K 
[ ]sysrel__l13_sysrel.vmin12021-07-25 20:57 756  
[ ]sysrel__l1_sysrel.vmin12021-07-25 20:57 378  
[ ]sysrel__t38_sysrel.depv12021-07-25 20:57 108  
[ ]sysrel__t12_sysrel.depv12021-07-25 20:57 70  
[ ]sysrel__t5_sysrel.depv12021-07-25 20:57 46  
[ ]sysrel__t33_sysrel.depv12021-07-25 20:57 33  
[ ]sysrel__t30_sysrel.depv12021-07-25 20:57 106  
[ ]sysrel__t27_sysrel.depv12021-07-25 20:57 95  
[ ]sysrel__t36_sysrel.depv12021-07-25 20:57 69  
[ ]sysrel__t32_sysrel.depv12021-07-25 20:57 70  
[ ]sysrel__t17_sysrel.depv12021-07-25 20:57 59  
[ ]sysrel__t37_sysrel.depv12021-07-25 20:57 176  
[ ]sysrel__t18_sysrel.depv12021-07-25 20:57 95  
[ ]sysrel__t9_sysrel.depv12021-07-25 20:57 85  
[ ]sysrel__l1_sysrel.depv12021-07-25 20:57 23  
[ ]sysrel__t19_sysrel.depv12021-07-25 20:57 82  
[ ]sysrel__t2_sysrel.depv12021-07-25 20:57 116  
[ ]sysrel__l13_sysrel.depv12021-07-25 20:57 60  
[ ]sysrel__t34_sysrel.depv12021-07-25 20:57 69  
[ ]sysrel__t28_sysrel.depv12021-07-25 20:57 60  
[ ]sysrel__t15_sysrel.depv12021-07-25 20:57 57  
[ ]sysrel__t13_sysrel.depv12021-07-25 20:57 80  
[ ]sysrel__t11_sysrel.depv12021-07-25 20:57 48  
[ ]sysrel__t7_sysrel.depv12021-07-25 20:57 90  
[ ]sysrel__t4_sysrel.depv12021-07-25 20:57 69  
[ ]sysrel__t25_sysrel.depv12021-07-25 20:57 72  
[ ]sysrel__t16_sysrel.depv12021-07-25 20:57 85  
[ ]sysrel__t1_sysrel.depv12021-07-25 20:57 199  
[ ]sysrel__t23_sysrel.depv12021-07-25 20:57 86  
[ ]sysrel__t3_sysrel.depv12021-07-25 20:57 43  
[ ]sysrel__t34_sysrel.vout2021-07-25 20:50 21K 
[ ]sysrel__t7_sysrel.vout2021-07-25 20:25 31K 
[ ]sysrel__t18_sysrel.vout2021-07-25 20:21 23K 
[ ]sysrel__t29_sysrel.vout2021-07-25 20:17 4.7K 
[ ]sysrel__l13_sysrel.vout2021-07-25 20:14 13K 
[ ]sysrel__t21_sysrel.vout2021-07-25 19:55 7.3K 
[ ]sysrel__t13_sysrel.vout2021-07-25 19:51 14K 
[ ]sysrel__t22_sysrel.vout2021-07-25 19:40 6.7K 
[ ]sysrel__t2_sysrel.vout2021-07-25 19:38 19K 
[ ]sysrel__t26_sysrel.vout2021-07-25 19:29 7.3K 
[ ]sysrel__t17_sysrel.vout2021-07-25 19:01 20K 
[ ]sysrel__l1_sysrel.vout2021-07-25 18:44 5.6K 
[ ]sysrel__t1_sysrel.vout2021-07-25 18:35 24K 
[ ]sysrel__t28_sysrel.vout2021-07-25 18:22 21K 
[ ]sysrel__t25_sysrel.vout2021-07-25 18:01 14K 
[ ]sysrel__t38_sysrel.vout2021-07-25 17:57 16K 
[ ]sysrel__t16_sysrel.vout2021-07-25 17:32 6.3K 
[ ]sysrel__t33_sysrel.vout2021-07-25 17:31 6.0K 
[ ]sysrel__t37_sysrel.vout2021-07-25 17:29 24K 
[ ]sysrel__t11_sysrel.vout2021-07-25 17:25 6.9K 
[ ]sysrel__t8_sysrel.vout2021-07-25 17:21 7.3K 
[ ]sysrel__t27_sysrel.vout2021-07-25 17:13 37K 
[ ]sysrel__t35_sysrel.vout2021-07-25 17:10 6.8K 
[ ]sysrel__t23_sysrel.vout2021-07-25 16:52 15K 
[ ]sysrel__t9_sysrel.vout2021-07-25 16:46 8.3K 
[ ]sysrel__t20_sysrel.vout2021-07-25 16:30 7.3K 
[ ]sysrel__t32_sysrel.vout2021-07-25 16:28 11K 
[ ]sysrel__t36_sysrel.vout2021-07-25 16:20 18K 
[ ]sysrel__t39_sysrel.vout2021-07-25 16:12 6.8K 
[ ]sysrel__t15_sysrel.vout2021-07-25 15:52 8.2K 
[ ]sysrel__t40_sysrel.vout2021-07-25 15:40 6.8K 
[ ]sysrel__t12_sysrel.vout2021-07-25 15:36 4.4K 
[ ]sysrel__t30_sysrel.vout2021-07-25 15:34 22K 
[ ]sysrel__t5_sysrel.vout2021-07-25 15:16 16K 
[ ]sysrel__t19_sysrel.vout2021-07-25 15:14 18K 
[ ]sysrel__t10_sysrel.vout2021-07-25 15:11 7.3K 
[ ]sysrel__t31_sysrel.vout2021-07-25 15:10 6.8K 
[ ]sysrel__t14_sysrel.vout2021-07-25 15:06 6.7K 
[ ]sysrel__t24_sysrel.vout2021-07-25 15:06 4.7K 
[ ]sysrel__t6_sysrel.vout2021-07-25 14:33 9.1K 
[ ]sysrel__t4_sysrel.vout2021-07-25 14:26 15K 
[ ]sysrel__t3_sysrel.vout2021-07-25 14:22 8.0K 
[ ]sysrel__l13_sysrel2021-07-17 23:27 3.9K 
[ ]sysrel__t39_sysrel2021-07-17 23:26 7.3K 
[ ]sysrel__t38_sysrel2021-07-17 23:26 5.3K 
[ ]sysrel__t37_sysrel2021-07-17 23:26 7.1K 
[ ]sysrel__t36_sysrel2021-07-17 23:26 9.2K 
[ ]sysrel__t35_sysrel2021-07-17 23:26 8.4K 
[ ]sysrel__t34_sysrel2021-07-17 23:25 6.0K 
[ ]sysrel__t32_sysrel2021-07-17 23:25 5.2K 
[ ]sysrel__t31_sysrel2021-07-17 23:25 7.7K 
[ ]sysrel__t30_sysrel2021-07-17 23:25 6.8K 
[ ]sysrel__t29_sysrel2021-07-17 23:25 8.2K 
[ ]sysrel__t28_sysrel2021-07-17 23:24 4.0K 
[ ]sysrel__t27_sysrel2021-07-17 23:24 5.1K 
[ ]sysrel__t26_sysrel2021-07-17 23:24 5.4K 
[ ]sysrel__t25_sysrel2021-07-17 23:24 3.7K 
[ ]sysrel__t24_sysrel2021-07-17 23:24 6.2K 
[ ]sysrel__t22_sysrel2021-07-17 23:24 6.7K 
[ ]sysrel__t21_sysrel2021-07-17 23:23 6.9K 
[ ]sysrel__t20_sysrel2021-07-17 23:23 5.9K 
[ ]sysrel__t19_sysrel2021-07-17 23:23 4.5K 
[ ]sysrel__t18_sysrel2021-07-17 23:23 5.3K 
[ ]sysrel__t17_sysrel2021-07-17 23:23 4.3K 
[ ]sysrel__t15_sysrel2021-07-17 23:23 5.3K 
[ ]sysrel__t14_sysrel2021-07-17 23:22 5.6K 
[ ]sysrel__t13_sysrel2021-07-17 23:22 4.3K 
[ ]sysrel__t12_sysrel2021-07-17 23:22 4.8K 
[ ]sysrel__t11_sysrel2021-07-17 23:22 3.8K 
[ ]sysrel__t10_sysrel2021-07-17 23:22 5.6K 
[ ]sysrel__t9_sysrel2021-07-17 23:22 5.4K 
[ ]sysrel__t8_sysrel2021-07-17 23:21 5.1K 
[ ]sysrel__t7_sysrel2021-07-17 23:21 5.6K 
[ ]sysrel__t6_sysrel2021-07-17 23:21 3.5K 
[ ]sysrel__t5_sysrel2021-07-17 23:21 2.6K 
[ ]sysrel__t4_sysrel2021-07-17 23:21 3.4K 
[ ]sysrel__t3_sysrel2021-07-17 23:21 3.9K 
[ ]sysrel__t2_sysrel2021-07-17 23:20 4.3K 
[ ]sysrel__t1_sysrel2021-07-17 23:20 4.3K 
[ ]sysrel__l1_sysrel2021-07-17 23:20 2.5K 
[ ]sysrel__t40_sysrel2021-07-17 23:20 6.5K 
[ ]sysrel__t33_sysrel2021-07-17 23:20 5.2K 
[ ]sysrel__t23_sysrel2021-07-17 23:20 6.6K 
[ ]sysrel__t16_sysrel2021-07-17 23:19 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80