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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realalg1__l9_realalg12024-07-28 20:46 183K 
[ ]realalg1__l9_realalg1.vout2024-08-03 05:52 4.7K 
[ ]realalg1__l13_realalg12024-07-28 21:18 59K 
[ ]realalg1__l13_realalg1.vout2024-08-03 10:05 3.7K 
[ ]realalg1__l28_realalg12024-07-28 20:48 51K 
[ ]realalg1__l28_realalg1.vout2024-08-03 05:44 5.8K 
[ ]realalg1__l29_realalg12024-07-28 20:51 72K 
[ ]realalg1__l29_realalg1.vout2024-08-03 08:02 5.8K 
[ ]realalg1__l30_realalg12024-07-28 20:53 48K 
[ ]realalg1__l30_realalg1.vout2024-08-03 05:48 5.9K 
[ ]realalg1__l31_realalg12024-07-28 20:55 42K 
[ ]realalg1__l31_realalg1.vout2024-08-03 05:59 5.8K 
[ ]realalg1__l32_realalg12024-07-28 20:58 79K 
[ ]realalg1__l32_realalg1.vout2024-08-03 05:08 7.4K 
[ ]realalg1__l35_realalg12024-07-28 19:29 38K 
[ ]realalg1__l35_realalg1.depv12024-08-03 10:19 143  
[ ]realalg1__l35_realalg1.depvmin12024-08-03 10:24 143  
[ ]realalg1__l35_realalg1.vmin12024-08-03 10:20 1.6K 
[ ]realalg1__l35_realalg1.vmin1out2024-08-03 10:20 13K 
[ ]realalg1__l35_realalg1.vout2024-08-03 06:32 25K 
[ ]realalg1__l36_realalg12024-07-28 19:31 38K 
[ ]realalg1__l36_realalg1.depv12024-08-03 10:19 144  
[ ]realalg1__l36_realalg1.depvmin12024-08-03 10:24 144  
[ ]realalg1__l36_realalg1.vmin12024-08-03 10:20 1.9K 
[ ]realalg1__l36_realalg1.vmin1out2024-08-03 10:23 14K 
[ ]realalg1__l36_realalg1.vout2024-08-03 06:31 30K 
[ ]realalg1__l41_realalg12024-07-28 21:00 52K 
[ ]realalg1__l41_realalg1.vout2024-08-03 08:01 7.3K 
[ ]realalg1__l42_realalg12024-07-28 21:02 41K 
[ ]realalg1__l42_realalg1.vout2024-08-03 09:50 4.2K 
[ ]realalg1__l43_realalg12024-07-28 21:05 79K 
[ ]realalg1__l43_realalg1.vout2024-08-03 09:42 6.8K 
[ ]realalg1__l52_realalg12024-07-28 21:21 100K 
[ ]realalg1__l52_realalg1.vout2024-08-03 10:16 3.7K 
[ ]realalg1__l53_realalg12024-07-28 21:08 50K 
[ ]realalg1__l53_realalg1.vout2024-08-03 08:39 14K 
[ ]realalg1__l67_realalg12024-07-28 21:11 74K 
[ ]realalg1__l67_realalg1.vout2024-08-03 07:13 3.7K 
[ ]realalg1__l68_realalg12024-07-28 21:13 59K 
[ ]realalg1__l68_realalg1.vout2024-08-03 05:55 3.7K 
[ ]realalg1__l81_realalg12024-07-28 21:16 71K 
[ ]realalg1__l81_realalg1.vout2024-08-03 06:35 4.7K 
[ ]realalg1__l85_realalg12024-07-28 21:24 83K 
[ ]realalg1__l85_realalg1.vout2024-08-03 07:36 3.7K 
[ ]realalg1__l86_realalg12024-07-28 21:26 91K 
[ ]realalg1__l86_realalg1.vout2024-08-03 09:28 6.8K 
[ ]realalg1__t1_realalg12024-07-28 19:02 19K 
[ ]realalg1__t1_realalg1.depv12024-08-03 10:19 90  
[ ]realalg1__t1_realalg1.depvmin12024-08-03 10:24 90  
[ ]realalg1__t1_realalg1.vmin12024-08-03 10:20 1.0K 
[ ]realalg1__t1_realalg1.vmin1out2024-08-03 10:23 9.4K 
[ ]realalg1__t1_realalg1.vout2024-08-03 07:34 9.8K 
[ ]realalg1__t2_realalg12024-07-28 19:32 19K 
[ ]realalg1__t2_realalg1.depv12024-08-03 10:19 69  
[ ]realalg1__t2_realalg1.depvmin12024-08-03 10:24 69  
[ ]realalg1__t2_realalg1.vmin12024-08-03 10:20 1.0K 
[ ]realalg1__t2_realalg1.vmin1out2024-08-03 10:23 11K 
[ ]realalg1__t2_realalg1.vout2024-08-03 04:51 11K 
[ ]realalg1__t3_realalg12024-07-28 19:33 19K 
[ ]realalg1__t3_realalg1.depv12024-08-03 10:19 69  
[ ]realalg1__t3_realalg1.depvmin12024-08-03 10:24 69  
[ ]realalg1__t3_realalg1.vmin12024-08-03 10:20 1.2K 
[ ]realalg1__t3_realalg1.vmin1out2024-08-03 10:20 15K 
[ ]realalg1__t3_realalg1.vout2024-08-03 10:01 28K 
[ ]realalg1__t4_realalg12024-07-28 19:03 20K 
[ ]realalg1__t4_realalg1.vout2024-08-03 09:25 2.0K 
[ ]realalg1__t5_realalg12024-07-28 20:23 44K 
[ ]realalg1__t5_realalg1.depv12024-08-03 10:19 129  
[ ]realalg1__t5_realalg1.depvmin12024-08-03 10:24 129  
[ ]realalg1__t5_realalg1.vmin12024-08-03 10:20 2.0K 
[ ]realalg1__t5_realalg1.vmin1out2024-08-03 10:20 51K 
[ ]realalg1__t5_realalg1.vout2024-08-03 04:18 47K 
[ ]realalg1__t6_realalg12024-07-28 20:26 73K 
[ ]realalg1__t6_realalg1.vout2024-08-03 07:27 7.3K 
[ ]realalg1__t7_realalg12024-07-28 20:28 68K 
[ ]realalg1__t7_realalg1.vout2024-08-03 08:11 3.7K 
[ ]realalg1__t8_realalg12024-07-28 20:30 65K 
[ ]realalg1__t8_realalg1.vout2024-08-03 07:40 3.7K 
[ ]realalg1__t9_realalg12024-07-28 20:33 66K 
[ ]realalg1__t9_realalg1.vout2024-08-03 08:10 3.7K 
[ ]realalg1__t10_realalg12024-07-28 20:35 70K 
[ ]realalg1__t10_realalg1.vout2024-08-03 08:05 3.7K 
[ ]realalg1__t11_realalg12024-07-28 20:38 61K 
[ ]realalg1__t11_realalg1.vout2024-08-03 04:39 3.7K 
[ ]realalg1__t12_realalg12024-07-28 20:40 86K 
[ ]realalg1__t12_realalg1.vout2024-08-03 07:59 6.8K 
[ ]realalg1__t13_realalg12024-07-28 20:43 92K 
[ ]realalg1__t13_realalg1.vout2024-08-03 08:33 6.8K 
[ ]realalg1__t14_realalg12024-07-28 19:35 22K 
[ ]realalg1__t14_realalg1.depv12024-08-03 10:19 123  
[ ]realalg1__t14_realalg1.depvmin12024-08-03 10:24 123  
[ ]realalg1__t14_realalg1.vmin12024-08-03 10:20 1.7K 
[ ]realalg1__t14_realalg1.vmin1out2024-08-03 10:23 27K 
[ ]realalg1__t14_realalg1.vout2024-08-03 06:14 28K 
[ ]realalg1__t15_realalg12024-07-28 19:36 25K 
[ ]realalg1__t15_realalg1.vout2024-08-03 09:48 7.9K 
[ ]realalg1__t16_realalg12024-07-28 19:37 25K 
[ ]realalg1__t16_realalg1.vout2024-08-03 09:33 7.3K 
[ ]realalg1__t17_realalg12024-07-28 19:05 40K 
[ ]realalg1__t17_realalg1.depv12024-08-03 10:19 201  
[ ]realalg1__t17_realalg1.depvmin12024-08-03 10:24 201  
[ ]realalg1__t17_realalg1.vmin12024-08-03 10:20 2.2K 
[ ]realalg1__t17_realalg1.vmin1out2024-08-03 10:20 20K 
[ ]realalg1__t17_realalg1.vout2024-08-03 09:05 38K 
[ ]realalg1__t18_realalg12024-07-28 19:39 41K 
[ ]realalg1__t18_realalg1.vout2024-08-03 04:45 5.3K 
[ ]realalg1__t19_realalg12024-07-28 19:42 52K 
[ ]realalg1__t19_realalg1.vout2024-08-03 06:07 4.2K 
[ ]realalg1__t20_realalg12024-07-28 19:44 57K 
[ ]realalg1__t20_realalg1.vout2024-08-03 08:06 4.2K 
[ ]realalg1__t21_realalg12024-07-28 19:46 68K 
[ ]realalg1__t21_realalg1.vout2024-08-03 04:20 3.7K 
[ ]realalg1__t22_realalg12024-07-28 19:49 68K 
[ ]realalg1__t22_realalg1.vout2024-08-03 04:48 3.7K 
[ ]realalg1__t23_realalg12024-07-28 19:51 59K 
[ ]realalg1__t23_realalg1.vout2024-08-03 04:48 4.2K 
[ ]realalg1__t24_realalg12024-07-28 19:54 42K 
[ ]realalg1__t24_realalg1.vout2024-08-03 09:13 4.2K 
[ ]realalg1__t25_realalg12024-07-28 19:56 44K 
[ ]realalg1__t25_realalg1.vout2024-08-03 04:21 4.7K 
[ ]realalg1__t26_realalg12024-07-28 19:58 61K 
[ ]realalg1__t26_realalg1.vout2024-08-03 05:10 3.7K 
[ ]realalg1__t27_realalg12024-07-28 20:01 73K 
[ ]realalg1__t27_realalg1.vout2024-08-03 05:05 4.8K 
[ ]realalg1__t28_realalg12024-07-28 20:04 101K 
[ ]realalg1__t28_realalg1.vout2024-08-03 05:04 5.3K 
[ ]realalg1__t29_realalg12024-07-28 20:06 56K 
[ ]realalg1__t29_realalg1.vout2024-08-03 06:24 5.3K 
[ ]realalg1__t30_realalg12024-07-28 19:07 44K 
[ ]realalg1__t30_realalg1.depv12024-08-03 10:19 56  
[ ]realalg1__t30_realalg1.depvmin12024-08-03 10:24 56  
[ ]realalg1__t30_realalg1.vmin12024-08-03 10:20 1.9K 
[ ]realalg1__t30_realalg1.vmin1out2024-08-03 10:22 32K 
[ ]realalg1__t30_realalg1.vout2024-08-03 08:48 43K 
[ ]realalg1__t31_realalg12024-07-28 19:09 48K 
[ ]realalg1__t31_realalg1.depv12024-08-03 10:19 98  
[ ]realalg1__t31_realalg1.depvmin12024-08-03 10:24 98  
[ ]realalg1__t31_realalg1.vmin12024-08-03 10:20 3.1K 
[ ]realalg1__t31_realalg1.vmin1out2024-08-03 10:20 45K 
[ ]realalg1__t31_realalg1.vout2024-08-03 09:59 62K 
[ ]realalg1__t32_realalg12024-07-28 19:11 48K 
[ ]realalg1__t32_realalg1.depv12024-08-03 10:19 84  
[ ]realalg1__t32_realalg1.depvmin12024-08-03 10:24 84  
[ ]realalg1__t32_realalg1.vmin12024-08-03 10:20 2.9K 
[ ]realalg1__t32_realalg1.vmin1out2024-08-03 10:23 47K 
[ ]realalg1__t32_realalg1.vout2024-08-03 06:50 61K 
[ ]realalg1__t33_realalg12024-07-28 20:08 45K 
[ ]realalg1__t33_realalg1.depv12024-08-03 10:19 83  
[ ]realalg1__t33_realalg1.depvmin12024-08-03 10:24 83  
[ ]realalg1__t33_realalg1.vmin12024-08-03 10:20 1.5K 
[ ]realalg1__t33_realalg1.vmin1out2024-08-03 10:23 29K 
[ ]realalg1__t33_realalg1.vout2024-08-03 09:14 19K 
[ ]realalg1__t34_realalg12024-07-28 20:10 48K 
[ ]realalg1__t34_realalg1.depv12024-08-03 10:19 83  
[ ]realalg1__t34_realalg1.depvmin12024-08-03 10:24 83  
[ ]realalg1__t34_realalg1.vmin12024-08-03 10:20 1.5K 
[ ]realalg1__t34_realalg1.vmin1out2024-08-03 10:23 29K 
[ ]realalg1__t34_realalg1.vout2024-08-03 10:03 19K 
[ ]realalg1__t35_realalg12024-07-28 19:14 53K 
[ ]realalg1__t35_realalg1.depv12024-08-03 10:19 123  
[ ]realalg1__t35_realalg1.depvmin12024-08-03 10:24 123  
[ ]realalg1__t35_realalg1.vmin12024-08-03 10:20 1.5K 
[ ]realalg1__t35_realalg1.vmin1out2024-08-03 10:23 13K 
[ ]realalg1__t35_realalg1.vout2024-08-03 09:28 12K 
[ ]realalg1__t36_realalg12024-07-28 20:13 72K 
[ ]realalg1__t36_realalg1.vout2024-08-03 07:58 5.3K 
[ ]realalg1__t37_realalg12024-07-28 19:16 51K 
[ ]realalg1__t37_realalg1.depv12024-08-03 10:19 113  
[ ]realalg1__t37_realalg1.depvmin12024-08-03 10:24 113  
[ ]realalg1__t37_realalg1.vmin12024-08-03 10:20 1.6K 
[ ]realalg1__t37_realalg1.vmin1out2024-08-03 10:20 14K 
[ ]realalg1__t37_realalg1.vout2024-08-03 04:26 12K 
[ ]realalg1__t38_realalg12024-07-28 20:16 107K 
[ ]realalg1__t38_realalg1.vout2024-08-03 08:33 4.8K 
[ ]realalg1__t39_realalg12024-07-28 19:18 44K 
[ ]realalg1__t39_realalg1.depv12024-08-03 10:19 111  
[ ]realalg1__t39_realalg1.depvmin12024-08-03 10:24 111  
[ ]realalg1__t39_realalg1.vmin12024-08-03 10:20 1.3K 
[ ]realalg1__t39_realalg1.vmin1out2024-08-03 10:22 11K 
[ ]realalg1__t39_realalg1.vout2024-08-03 08:30 11K 
[ ]realalg1__t40_realalg12024-07-28 20:18 95K 
[ ]realalg1__t40_realalg1.vout2024-08-03 05:52 4.8K 
[ ]realalg1__t41_realalg12024-07-28 19:20 49K 
[ ]realalg1__t41_realalg1.depv12024-08-03 10:19 196  
[ ]realalg1__t41_realalg1.depvmin12024-08-03 10:24 196  
[ ]realalg1__t41_realalg1.vmin12024-08-03 10:20 5.0K 
[ ]realalg1__t41_realalg1.vmin1out2024-08-03 10:20 50K 
[ ]realalg1__t41_realalg1.vout2024-08-03 08:28 85K 
[ ]realalg1__t42_realalg12024-07-28 19:23 51K 
[ ]realalg1__t42_realalg1.depv12024-08-03 10:19 225  
[ ]realalg1__t42_realalg1.depvmin12024-08-03 10:24 225  
[ ]realalg1__t42_realalg1.vmin12024-08-03 10:20 5.8K 
[ ]realalg1__t42_realalg1.vmin1out2024-08-03 10:21 52K 
[ ]realalg1__t42_realalg1.vout2024-08-03 07:19 91K 
[ ]realalg1__t43_realalg12024-07-28 19:25 49K 
[ ]realalg1__t43_realalg1.depv12024-08-03 10:19 197  
[ ]realalg1__t43_realalg1.depvmin12024-08-03 10:24 197  
[ ]realalg1__t43_realalg1.vmin12024-08-03 10:20 5.0K 
[ ]realalg1__t43_realalg1.vmin1out2024-08-03 10:22 50K 
[ ]realalg1__t43_realalg1.vout2024-08-03 09:47 85K 
[ ]realalg1__t44_realalg12024-07-28 19:27 52K 
[ ]realalg1__t44_realalg1.depv12024-08-03 10:19 226  
[ ]realalg1__t44_realalg1.depvmin12024-08-03 10:24 226  
[ ]realalg1__t44_realalg1.vmin12024-08-03 10:20 5.8K 
[ ]realalg1__t44_realalg1.vmin1out2024-08-03 10:23 53K 
[ ]realalg1__t44_realalg1.vout2024-08-03 10:06 91K 
[ ]realalg1__t45_realalg12024-07-28 20:21 145K 
[ ]realalg1__t45_realalg1.vout2024-08-03 08:06 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80