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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realalg3__l4_realalg32024-07-26 19:56 28K 
[ ]realalg3__l4_realalg3.depv12024-08-03 10:19 165  
[ ]realalg3__l4_realalg3.depvmin12024-08-03 10:24 165  
[ ]realalg3__l4_realalg3.vmin12024-08-03 10:19 1.3K 
[ ]realalg3__l4_realalg3.vmin1out2024-08-03 10:22 10K 
[ ]realalg3__l4_realalg3.vout2024-08-03 08:15 10K 
[ ]realalg3__l12_realalg32024-07-26 19:59 149K 
[ ]realalg3__l12_realalg3.vout2024-08-03 07:18 3.7K 
[ ]realalg3__l34_realalg32024-07-26 20:04 165K 
[ ]realalg3__l34_realalg3.vout2024-08-03 09:56 4.7K 
[ ]realalg3__l39_realalg32024-07-26 20:07 92K 
[ ]realalg3__l39_realalg3.vout2024-08-03 09:07 7.3K 
[ ]realalg3__l49_realalg32024-07-26 20:11 175K 
[ ]realalg3__l49_realalg3.vout2024-08-03 08:33 3.7K 
[ ]realalg3__l50_realalg32024-07-26 20:14 158K 
[ ]realalg3__l50_realalg3.vout2024-08-03 09:16 7.3K 
[ ]realalg3__l56_realalg32024-07-26 20:18 176K 
[ ]realalg3__l56_realalg3.vout2024-08-03 07:11 3.7K 
[ ]realalg3__t1_realalg32024-07-26 17:16 27K 
[ ]realalg3__t1_realalg3.vout2024-08-03 08:46 5.3K 
[ ]realalg3__t2_realalg32024-07-26 17:20 146K 
[ ]realalg3__t2_realalg3.vout2024-08-03 06:39 6.8K 
[ ]realalg3__t3_realalg32024-07-26 17:22 130K 
[ ]realalg3__t3_realalg3.vout2024-08-03 07:59 4.2K 
[ ]realalg3__t4_realalg32024-07-26 17:25 127K 
[ ]realalg3__t4_realalg3.vout2024-08-03 05:26 3.7K 
[ ]realalg3__t5_realalg32024-07-26 17:29 151K 
[ ]realalg3__t5_realalg3.vout2024-08-03 09:52 3.7K 
[ ]realalg3__t6_realalg32024-07-26 17:32 149K 
[ ]realalg3__t6_realalg3.vout2024-08-03 08:24 7.3K 
[ ]realalg3__t7_realalg32024-07-26 17:35 158K 
[ ]realalg3__t7_realalg3.vout2024-08-03 08:35 6.8K 
[ ]realalg3__t8_realalg32024-07-26 17:38 96K 
[ ]realalg3__t8_realalg3.vout2024-08-03 05:37 7.3K 
[ ]realalg3__t9_realalg32024-07-26 17:41 145K 
[ ]realalg3__t9_realalg3.vout2024-08-03 06:50 4.7K 
[ ]realalg3__t10_realalg32024-07-26 17:44 146K 
[ ]realalg3__t10_realalg3.vout2024-08-03 06:24 4.8K 
[ ]realalg3__t11_realalg32024-07-26 17:46 126K 
[ ]realalg3__t11_realalg3.vout2024-08-03 06:18 4.7K 
[ ]realalg3__t12_realalg32024-07-26 17:49 140K 
[ ]realalg3__t12_realalg3.vout2024-08-03 08:07 4.7K 
[ ]realalg3__t13_realalg32024-07-26 17:52 188K 
[ ]realalg3__t13_realalg3.vout2024-08-03 09:28 4.7K 
[ ]realalg3__t14_realalg32024-07-26 17:56 208K 
[ ]realalg3__t14_realalg3.vout2024-08-03 09:39 6.8K 
[ ]realalg3__t15_realalg32024-07-26 18:00 222K 
[ ]realalg3__t15_realalg3.vout2024-08-03 05:15 3.7K 
[ ]realalg3__t16_realalg32024-07-26 18:03 157K 
[ ]realalg3__t16_realalg3.vout2024-08-03 05:41 6.8K 
[ ]realalg3__t17_realalg32024-07-26 18:07 204K 
[ ]realalg3__t17_realalg3.vout2024-08-03 07:41 6.8K 
[ ]realalg3__t18_realalg32024-07-26 18:10 139K 
[ ]realalg3__t18_realalg3.vout2024-08-03 08:19 7.3K 
[ ]realalg3__t19_realalg32024-07-26 18:13 113K 
[ ]realalg3__t19_realalg3.vout2024-08-03 05:42 4.7K 
[ ]realalg3__t20_realalg32024-07-26 18:16 197K 
[ ]realalg3__t20_realalg3.vout2024-08-03 09:14 6.8K 
[ ]realalg3__t21_realalg32024-07-26 18:19 121K 
[ ]realalg3__t21_realalg3.vout2024-08-03 08:43 4.7K 
[ ]realalg3__t22_realalg32024-07-26 18:23 156K 
[ ]realalg3__t22_realalg3.vout2024-08-03 10:07 7.3K 
[ ]realalg3__t23_realalg32024-07-26 18:26 169K 
[ ]realalg3__t23_realalg3.vout2024-08-03 05:17 6.8K 
[ ]realalg3__t24_realalg32024-07-26 18:29 168K 
[ ]realalg3__t24_realalg3.vout2024-08-03 06:26 3.7K 
[ ]realalg3__t25_realalg32024-07-26 18:33 180K 
[ ]realalg3__t25_realalg3.vout2024-08-03 05:11 6.8K 
[ ]realalg3__t26_realalg32024-07-26 18:36 137K 
[ ]realalg3__t26_realalg3.vout2024-08-03 05:07 4.7K 
[ ]realalg3__t27_realalg32024-07-26 18:39 146K 
[ ]realalg3__t27_realalg3.vout2024-08-03 04:10 6.8K 
[ ]realalg3__t28_realalg32024-07-26 17:12 93K 
[ ]realalg3__t28_realalg3.depv12024-08-03 10:19 155  
[ ]realalg3__t28_realalg3.depvmin12024-08-03 10:24 145  
[ ]realalg3__t28_realalg3.vmin12024-08-03 10:19 3.9K 
[ ]realalg3__t28_realalg3.vmin1out2024-08-03 10:20 146K 
[ ]realalg3__t28_realalg3.vout2024-08-03 05:18 112K 
[ ]realalg3__t29_realalg32024-07-26 18:42 122K 
[ ]realalg3__t29_realalg3.vout2024-08-03 07:13 3.7K 
[ ]realalg3__t30_realalg32024-07-26 18:45 139K 
[ ]realalg3__t30_realalg3.vout2024-08-03 04:09 3.7K 
[ ]realalg3__t31_realalg32024-07-26 18:48 164K 
[ ]realalg3__t31_realalg3.vout2024-08-03 09:34 3.7K 
[ ]realalg3__t32_realalg32024-07-26 18:51 123K 
[ ]realalg3__t32_realalg3.vout2024-08-03 07:18 7.3K 
[ ]realalg3__t33_realalg32024-07-26 18:55 164K 
[ ]realalg3__t33_realalg3.vout2024-08-03 09:56 4.2K 
[ ]realalg3__t34_realalg32024-07-26 18:58 134K 
[ ]realalg3__t34_realalg3.vout2024-08-03 06:51 4.2K 
[ ]realalg3__t35_realalg32024-07-26 19:02 179K 
[ ]realalg3__t35_realalg3.vout2024-08-03 05:46 3.7K 
[ ]realalg3__t36_realalg32024-07-26 19:05 135K 
[ ]realalg3__t36_realalg3.vout2024-08-03 08:03 4.8K 
[ ]realalg3__t37_realalg32024-07-26 19:08 115K 
[ ]realalg3__t37_realalg3.vout2024-08-03 09:49 3.7K 
[ ]realalg3__t38_realalg32024-07-26 19:12 166K 
[ ]realalg3__t38_realalg3.vout2024-08-03 04:30 3.7K 
[ ]realalg3__t39_realalg32024-07-26 19:16 177K 
[ ]realalg3__t39_realalg3.vout2024-08-03 06:23 6.8K 
[ ]realalg3__t40_realalg32024-07-26 19:20 178K 
[ ]realalg3__t40_realalg3.vout2024-08-03 04:50 3.7K 
[ ]realalg3__t41_realalg32024-07-26 19:23 154K 
[ ]realalg3__t41_realalg3.vout2024-08-03 04:55 4.7K 
[ ]realalg3__t42_realalg32024-07-26 19:26 166K 
[ ]realalg3__t42_realalg3.vout2024-08-03 09:17 8.4K 
[ ]realalg3__t43_realalg32024-07-26 17:15 161K 
[ ]realalg3__t43_realalg3.depv12024-08-03 10:19 294  
[ ]realalg3__t43_realalg3.depvmin12024-08-03 10:24 294  
[ ]realalg3__t43_realalg3.vmin12024-08-03 10:19 5.3K 
[ ]realalg3__t43_realalg3.vmin1out2024-08-03 10:23 60K 
[ ]realalg3__t43_realalg3.vout2024-08-03 04:10 57K 
[ ]realalg3__t44_realalg32024-07-26 19:29 143K 
[ ]realalg3__t44_realalg3.vout2024-08-03 07:53 3.7K 
[ ]realalg3__t45_realalg32024-07-26 19:33 177K 
[ ]realalg3__t45_realalg3.vout2024-08-03 05:30 3.7K 
[ ]realalg3__t46_realalg32024-07-26 19:35 113K 
[ ]realalg3__t46_realalg3.vout2024-08-03 05:38 4.2K 
[ ]realalg3__t47_realalg32024-07-26 19:39 175K 
[ ]realalg3__t47_realalg3.vout2024-08-03 07:26 3.7K 
[ ]realalg3__t48_realalg32024-07-26 19:42 156K 
[ ]realalg3__t48_realalg3.vout2024-08-03 08:51 7.4K 
[ ]realalg3__t49_realalg32024-07-26 19:45 160K 
[ ]realalg3__t49_realalg3.vout2024-08-03 06:55 7.3K 
[ ]realalg3__t50_realalg32024-07-26 19:52 451K 
[ ]realalg3__t50_realalg3.vout2024-08-03 06:44 3.7K 
[ ]realalg3__t51_realalg32024-07-26 19:55 135K 
[ ]realalg3__t51_realalg3.vout2024-08-03 05:35 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80