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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realalg1__l9_realalg12021-07-18 11:14 227K 
[ ]realalg1__l9_realalg1.vout2021-07-25 19:45 4.7K 
[ ]realalg1__l13_realalg12021-07-18 11:22 100K 
[ ]realalg1__l13_realalg1.vout2021-07-25 17:40 3.7K 
[ ]realalg1__l28_realalg12021-07-18 11:14 97K 
[ ]realalg1__l28_realalg1.vout2021-07-25 16:11 5.8K 
[ ]realalg1__l29_realalg12021-07-18 11:15 117K 
[ ]realalg1__l29_realalg1.vout2021-07-25 15:50 5.8K 
[ ]realalg1__l30_realalg12021-07-18 11:16 92K 
[ ]realalg1__l30_realalg1.vout2021-07-25 16:44 5.8K 
[ ]realalg1__l31_realalg12021-07-18 11:16 87K 
[ ]realalg1__l31_realalg1.vout2021-07-25 19:31 5.8K 
[ ]realalg1__l32_realalg12021-07-18 11:17 124K 
[ ]realalg1__l32_realalg1.vout2021-07-25 18:02 7.4K 
[ ]realalg1__l35_realalg12021-07-18 10:47 81K 
[ ]realalg1__l35_realalg1.depv12021-07-25 20:57 143  
[ ]realalg1__l35_realalg1.depvmin12021-07-25 21:03 143  
[ ]realalg1__l35_realalg1.vmin12021-07-25 20:57 1.6K 
[ ]realalg1__l35_realalg1.vmin1out2021-07-25 20:59 13K 
[ ]realalg1__l35_realalg1.vout2021-07-25 16:15 25K 
[ ]realalg1__l36_realalg12021-07-18 10:48 81K 
[ ]realalg1__l36_realalg1.depv12021-07-25 20:57 144  
[ ]realalg1__l36_realalg1.depvmin12021-07-25 21:03 144  
[ ]realalg1__l36_realalg1.vmin12021-07-25 20:57 1.9K 
[ ]realalg1__l36_realalg1.vmin1out2021-07-25 21:02 14K 
[ ]realalg1__l36_realalg1.vout2021-07-25 20:25 30K 
[ ]realalg1__l41_realalg12021-07-18 11:18 102K 
[ ]realalg1__l41_realalg1.vout2021-07-25 19:39 7.3K 
[ ]realalg1__l42_realalg12021-07-18 11:18 84K 
[ ]realalg1__l42_realalg1.vout2021-07-25 20:48 4.2K 
[ ]realalg1__l43_realalg12021-07-18 11:19 127K 
[ ]realalg1__l43_realalg1.vout2021-07-25 15:19 7.3K 
[ ]realalg1__l52_realalg12021-07-18 11:23 141K 
[ ]realalg1__l52_realalg1.vout2021-07-25 20:52 3.7K 
[ ]realalg1__l53_realalg12021-07-18 11:20 88K 
[ ]realalg1__l53_realalg1.vout2021-07-25 15:40 10K 
[ ]realalg1__l67_realalg12021-07-18 11:20 126K 
[ ]realalg1__l67_realalg1.vout2021-07-25 19:56 3.7K 
[ ]realalg1__l68_realalg12021-07-18 11:21 110K 
[ ]realalg1__l68_realalg1.vout2021-07-25 16:42 3.7K 
[ ]realalg1__l81_realalg12021-07-18 11:22 129K 
[ ]realalg1__l81_realalg1.vout2021-07-25 15:42 4.7K 
[ ]realalg1__l85_realalg12021-07-18 11:24 132K 
[ ]realalg1__l85_realalg1.vout2021-07-25 16:15 3.7K 
[ ]realalg1__l86_realalg12021-07-18 11:25 138K 
[ ]realalg1__l86_realalg1.vout2021-07-25 15:43 6.8K 
[ ]realalg1__t1_realalg12021-07-18 10:37 36K 
[ ]realalg1__t1_realalg1.depv12021-07-25 20:57 101  
[ ]realalg1__t1_realalg1.depvmin12021-07-25 21:03 101  
[ ]realalg1__t1_realalg1.vmin12021-07-25 20:57 1.0K 
[ ]realalg1__t1_realalg1.vmin1out2021-07-25 21:01 9.7K 
[ ]realalg1__t1_realalg1.vout2021-07-25 16:02 9.8K 
[ ]realalg1__t2_realalg12021-07-18 10:48 36K 
[ ]realalg1__t2_realalg1.depv12021-07-25 20:57 116  
[ ]realalg1__t2_realalg1.depvmin12021-07-25 21:03 80  
[ ]realalg1__t2_realalg1.vmin12021-07-25 20:57 1.3K 
[ ]realalg1__t2_realalg1.vmin1out2021-07-25 21:01 11K 
[ ]realalg1__t2_realalg1.vout2021-07-25 17:52 16K 
[ ]realalg1__t3_realalg12021-07-18 10:49 36K 
[ ]realalg1__t3_realalg1.depv12021-07-25 20:57 80  
[ ]realalg1__t3_realalg1.depvmin12021-07-25 21:03 80  
[ ]realalg1__t3_realalg1.vmin12021-07-25 20:57 1.2K 
[ ]realalg1__t3_realalg1.vmin1out2021-07-25 20:58 15K 
[ ]realalg1__t3_realalg1.vout2021-07-25 17:06 17K 
[ ]realalg1__t4_realalg12021-07-18 10:38 36K 
[ ]realalg1__t4_realalg1.depv12021-07-25 20:57 101  
[ ]realalg1__t4_realalg1.depvmin12021-07-25 21:03 101  
[ ]realalg1__t4_realalg1.vmin12021-07-25 20:57 1.2K 
[ ]realalg1__t4_realalg1.vmin1out2021-07-25 20:57 13K 
[ ]realalg1__t4_realalg1.vout2021-07-25 19:03 13K 
[ ]realalg1__t5_realalg12021-07-18 11:06 89K 
[ ]realalg1__t5_realalg1.depv12021-07-25 20:57 143  
[ ]realalg1__t5_realalg1.depvmin12021-07-25 21:03 143  
[ ]realalg1__t5_realalg1.vmin12021-07-25 20:57 2.3K 
[ ]realalg1__t5_realalg1.vmin1out2021-07-25 20:58 54K 
[ ]realalg1__t5_realalg1.vout2021-07-25 15:18 32K 
[ ]realalg1__t6_realalg12021-07-18 11:07 121K 
[ ]realalg1__t6_realalg1.vout2021-07-25 16:45 7.3K 
[ ]realalg1__t7_realalg12021-07-18 11:08 109K 
[ ]realalg1__t7_realalg1.vout2021-07-25 20:00 3.7K 
[ ]realalg1__t8_realalg12021-07-18 11:09 112K 
[ ]realalg1__t8_realalg1.vout2021-07-25 20:19 3.7K 
[ ]realalg1__t9_realalg12021-07-18 11:10 112K 
[ ]realalg1__t9_realalg1.vout2021-07-25 15:43 3.7K 
[ ]realalg1__t10_realalg12021-07-18 11:10 111K 
[ ]realalg1__t10_realalg1.vout2021-07-25 16:05 3.7K 
[ ]realalg1__t11_realalg12021-07-18 11:11 109K 
[ ]realalg1__t11_realalg1.vout2021-07-25 15:35 3.7K 
[ ]realalg1__t12_realalg12021-07-18 11:12 134K 
[ ]realalg1__t12_realalg1.vout2021-07-25 18:46 6.8K 
[ ]realalg1__t13_realalg12021-07-18 11:13 140K 
[ ]realalg1__t13_realalg1.vout2021-07-25 19:45 6.8K 
[ ]realalg1__t14_realalg12021-07-18 10:49 40K 
[ ]realalg1__t14_realalg1.depv12021-07-25 20:57 123  
[ ]realalg1__t14_realalg1.depvmin12021-07-25 21:03 123  
[ ]realalg1__t14_realalg1.vmin12021-07-25 20:57 1.7K 
[ ]realalg1__t14_realalg1.vmin1out2021-07-25 21:01 27K 
[ ]realalg1__t14_realalg1.vout2021-07-25 16:59 28K 
[ ]realalg1__t15_realalg12021-07-18 10:50 45K 
[ ]realalg1__t15_realalg1.vout2021-07-25 18:34 7.9K 
[ ]realalg1__t16_realalg12021-07-18 10:50 44K 
[ ]realalg1__t16_realalg1.vout2021-07-25 16:21 7.3K 
[ ]realalg1__t17_realalg12021-07-18 10:38 83K 
[ ]realalg1__t17_realalg1.depv12021-07-25 20:57 201  
[ ]realalg1__t17_realalg1.depvmin12021-07-25 21:03 201  
[ ]realalg1__t17_realalg1.vmin12021-07-25 20:57 2.2K 
[ ]realalg1__t17_realalg1.vmin1out2021-07-25 21:01 20K 
[ ]realalg1__t17_realalg1.vout2021-07-25 19:08 37K 
[ ]realalg1__t18_realalg12021-07-18 10:51 84K 
[ ]realalg1__t18_realalg1.vout2021-07-25 16:14 5.3K 
[ ]realalg1__t19_realalg12021-07-18 10:52 101K 
[ ]realalg1__t19_realalg1.vout2021-07-25 16:27 4.2K 
[ ]realalg1__t20_realalg12021-07-18 10:53 105K 
[ ]realalg1__t20_realalg1.vout2021-07-25 17:48 4.2K 
[ ]realalg1__t21_realalg12021-07-18 10:53 108K 
[ ]realalg1__t21_realalg1.vout2021-07-25 15:25 3.7K 
[ ]realalg1__t22_realalg12021-07-18 10:54 108K 
[ ]realalg1__t22_realalg1.vout2021-07-25 18:01 3.7K 
[ ]realalg1__t23_realalg12021-07-18 10:55 106K 
[ ]realalg1__t23_realalg1.vout2021-07-25 18:08 3.7K 
[ ]realalg1__t24_realalg12021-07-18 10:56 85K 
[ ]realalg1__t24_realalg1.vout2021-07-25 14:30 4.2K 
[ ]realalg1__t25_realalg12021-07-18 10:57 88K 
[ ]realalg1__t25_realalg1.vout2021-07-25 18:07 4.2K 
[ ]realalg1__t26_realalg12021-07-18 10:57 107K 
[ ]realalg1__t26_realalg1.vout2021-07-25 18:40 3.7K 
[ ]realalg1__t27_realalg12021-07-18 10:58 113K 
[ ]realalg1__t27_realalg1.vout2021-07-25 16:58 4.2K 
[ ]realalg1__t28_realalg12021-07-18 10:59 149K 
[ ]realalg1__t28_realalg1.vout2021-07-25 19:38 5.3K 
[ ]realalg1__t29_realalg12021-07-18 11:00 103K 
[ ]realalg1__t29_realalg1.vout2021-07-25 19:33 4.2K 
[ ]realalg1__t30_realalg12021-07-18 10:39 88K 
[ ]realalg1__t30_realalg1.depv12021-07-25 20:57 56  
[ ]realalg1__t30_realalg1.depvmin12021-07-25 21:03 56  
[ ]realalg1__t30_realalg1.vmin12021-07-25 20:57 1.9K 
[ ]realalg1__t30_realalg1.vmin1out2021-07-25 21:01 32K 
[ ]realalg1__t30_realalg1.vout2021-07-25 18:38 44K 
[ ]realalg1__t31_realalg12021-07-18 10:40 92K 
[ ]realalg1__t31_realalg1.depv12021-07-25 20:57 98  
[ ]realalg1__t31_realalg1.depvmin12021-07-25 21:03 98  
[ ]realalg1__t31_realalg1.vmin12021-07-25 20:57 3.1K 
[ ]realalg1__t31_realalg1.vmin1out2021-07-25 21:01 45K 
[ ]realalg1__t31_realalg1.vout2021-07-25 19:51 63K 
[ ]realalg1__t32_realalg12021-07-18 10:41 93K 
[ ]realalg1__t32_realalg1.depv12021-07-25 20:57 84  
[ ]realalg1__t32_realalg1.depvmin12021-07-25 21:03 84  
[ ]realalg1__t32_realalg1.vmin12021-07-25 20:57 2.9K 
[ ]realalg1__t32_realalg1.vmin1out2021-07-25 20:58 47K 
[ ]realalg1__t32_realalg1.vout2021-07-25 20:54 62K 
[ ]realalg1__t33_realalg12021-07-18 11:01 90K 
[ ]realalg1__t33_realalg1.depv12021-07-25 20:57 124  
[ ]realalg1__t33_realalg1.depvmin12021-07-25 21:03 124  
[ ]realalg1__t33_realalg1.vmin12021-07-25 20:57 1.6K 
[ ]realalg1__t33_realalg1.vmin1out2021-07-25 20:58 16K 
[ ]realalg1__t33_realalg1.vout2021-07-25 20:56 16K 
[ ]realalg1__t34_realalg12021-07-18 11:02 94K 
[ ]realalg1__t34_realalg1.depv12021-07-25 20:57 124  
[ ]realalg1__t34_realalg1.depvmin12021-07-25 21:03 124  
[ ]realalg1__t34_realalg1.vmin12021-07-25 20:57 1.6K 
[ ]realalg1__t34_realalg1.vmin1out2021-07-25 20:59 16K 
[ ]realalg1__t34_realalg1.vout2021-07-25 19:33 16K 
[ ]realalg1__t35_realalg12021-07-18 10:42 91K 
[ ]realalg1__t35_realalg1.depv12021-07-25 20:57 123  
[ ]realalg1__t35_realalg1.depvmin12021-07-25 21:03 123  
[ ]realalg1__t35_realalg1.vmin12021-07-25 20:57 1.5K 
[ ]realalg1__t35_realalg1.vmin1out2021-07-25 20:59 13K 
[ ]realalg1__t35_realalg1.vout2021-07-25 17:22 12K 
[ ]realalg1__t36_realalg12021-07-18 11:03 111K 
[ ]realalg1__t36_realalg1.vout2021-07-25 15:47 4.2K 
[ ]realalg1__t37_realalg12021-07-18 10:42 88K 
[ ]realalg1__t37_realalg1.depv12021-07-25 20:57 113  
[ ]realalg1__t37_realalg1.depvmin12021-07-25 21:03 113  
[ ]realalg1__t37_realalg1.vmin12021-07-25 20:57 1.6K 
[ ]realalg1__t37_realalg1.vmin1out2021-07-25 20:58 14K 
[ ]realalg1__t37_realalg1.vout2021-07-25 16:47 12K 
[ ]realalg1__t38_realalg12021-07-18 11:03 147K 
[ ]realalg1__t38_realalg1.vout2021-07-25 16:22 4.8K 
[ ]realalg1__t39_realalg12021-07-18 10:43 88K 
[ ]realalg1__t39_realalg1.depv12021-07-25 20:57 111  
[ ]realalg1__t39_realalg1.depvmin12021-07-25 21:03 111  
[ ]realalg1__t39_realalg1.vmin12021-07-25 20:57 1.3K 
[ ]realalg1__t39_realalg1.vmin1out2021-07-25 21:02 11K 
[ ]realalg1__t39_realalg1.vout2021-07-25 14:57 11K 
[ ]realalg1__t40_realalg12021-07-18 11:04 143K 
[ ]realalg1__t40_realalg1.vout2021-07-25 16:41 4.8K 
[ ]realalg1__t41_realalg12021-07-18 10:44 97K 
[ ]realalg1__t41_realalg1.depv12021-07-25 20:57 210  
[ ]realalg1__t41_realalg1.depvmin12021-07-25 21:03 196  
[ ]realalg1__t41_realalg1.vmin12021-07-25 20:57 5.3K 
[ ]realalg1__t41_realalg1.vmin1out2021-07-25 21:02 50K 
[ ]realalg1__t41_realalg1.vout2021-07-25 15:00 88K 
[ ]realalg1__t42_realalg12021-07-18 10:45 99K 
[ ]realalg1__t42_realalg1.depv12021-07-25 20:57 239  
[ ]realalg1__t42_realalg1.depvmin12021-07-25 21:03 225  
[ ]realalg1__t42_realalg1.vmin12021-07-25 20:57 6.1K 
[ ]realalg1__t42_realalg1.vmin1out2021-07-25 20:59 52K 
[ ]realalg1__t42_realalg1.vout2021-07-25 19:34 93K 
[ ]realalg1__t43_realalg12021-07-18 10:45 99K 
[ ]realalg1__t43_realalg1.depv12021-07-25 20:57 211  
[ ]realalg1__t43_realalg1.depvmin12021-07-25 21:03 197  
[ ]realalg1__t43_realalg1.vmin12021-07-25 20:57 5.3K 
[ ]realalg1__t43_realalg1.vmin1out2021-07-25 21:01 50K 
[ ]realalg1__t43_realalg1.vout2021-07-25 19:40 88K 
[ ]realalg1__t44_realalg12021-07-18 10:46 101K 
[ ]realalg1__t44_realalg1.depv12021-07-25 20:57 240  
[ ]realalg1__t44_realalg1.depvmin12021-07-25 21:03 226  
[ ]realalg1__t44_realalg1.vmin12021-07-25 20:57 6.1K 
[ ]realalg1__t44_realalg1.vmin1out2021-07-25 21:01 53K 
[ ]realalg1__t44_realalg1.vout2021-07-25 17:14 94K 
[ ]realalg1__t45_realalg12021-07-18 11:05 202K 
[ ]realalg1__t45_realalg1.vout2021-07-25 16:37 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80