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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rat_1__l1_rat_12024-07-28 16:53 10K 
[ ]rat_1__l1_rat_1.depv12024-08-03 10:19 47  
[ ]rat_1__l1_rat_1.depvmin12024-08-03 10:24 47  
[ ]rat_1__l1_rat_1.vmin12024-08-03 10:19 289  
[ ]rat_1__l1_rat_1.vmin1out2024-08-03 10:21 2.0K 
[ ]rat_1__l1_rat_1.vout2024-08-03 09:33 2.1K 
[ ]rat_1__l2_rat_12024-07-28 17:23 33K 
[ ]rat_1__l2_rat_1.vout2024-08-03 06:26 3.6K 
[ ]rat_1__l3_rat_12024-07-28 17:24 38K 
[ ]rat_1__l3_rat_1.vout2024-08-03 10:06 6.7K 
[ ]rat_1__l4_rat_12024-07-28 17:25 32K 
[ ]rat_1__l4_rat_1.vout2024-08-03 05:29 5.8K 
[ ]rat_1__l5_rat_12024-07-28 17:26 33K 
[ ]rat_1__l5_rat_1.vout2024-08-03 08:23 3.6K 
[ ]rat_1__l6_rat_12024-07-28 17:27 27K 
[ ]rat_1__l6_rat_1.depv12024-08-03 10:19 121  
[ ]rat_1__l6_rat_1.depvmin12024-08-03 10:24 121  
[ ]rat_1__l6_rat_1.vmin12024-08-03 10:19 1.1K 
[ ]rat_1__l6_rat_1.vmin1out2024-08-03 10:23 19K 
[ ]rat_1__l6_rat_1.vout2024-08-03 06:53 18K 
[ ]rat_1__l32_rat_12024-07-28 16:52 12K 
[ ]rat_1__l32_rat_1.depv12024-08-03 10:19 163  
[ ]rat_1__l32_rat_1.depvmin12024-08-03 10:24 163  
[ ]rat_1__l32_rat_1.vmin12024-08-03 10:19 876  
[ ]rat_1__l32_rat_1.vmin1out2024-08-03 10:22 6.6K 
[ ]rat_1__l32_rat_1.vout2024-08-03 07:56 5.9K 
[ ]rat_1__t1_rat_12024-07-28 16:54 33K 
[ ]rat_1__t1_rat_1.depv12024-08-03 10:19 444  
[ ]rat_1__t1_rat_1.depvmin12024-08-03 10:24 359  
[ ]rat_1__t1_rat_1.vmin12024-08-03 10:19 4.3K 
[ ]rat_1__t1_rat_1.vmin1out2024-08-03 10:22 36K 
[ ]rat_1__t1_rat_1.vout2024-08-03 06:32 43K 
[ ]rat_1__t2_rat_12024-07-28 16:49 13K 
[ ]rat_1__t2_rat_1.vout2024-08-03 05:02 8.3K 
[ ]rat_1__t3_rat_12024-07-28 16:49 13K 
[ ]rat_1__t3_rat_1.vout2024-08-03 07:20 7.8K 
[ ]rat_1__t7_rat_12024-07-28 16:54 35K 
[ ]rat_1__t7_rat_1.vout2024-08-03 04:22 7.2K 
[ ]rat_1__t8_rat_12024-07-28 16:55 34K 
[ ]rat_1__t8_rat_1.depv12024-08-03 10:19 148  
[ ]rat_1__t8_rat_1.depvmin12024-08-03 10:24 148  
[ ]rat_1__t8_rat_1.vmin12024-08-03 10:19 1.1K 
[ ]rat_1__t8_rat_1.vmin1out2024-08-03 10:20 14K 
[ ]rat_1__t8_rat_1.vout2024-08-03 04:50 13K 
[ ]rat_1__t9_rat_12024-07-28 16:56 22K 
[ ]rat_1__t9_rat_1.depv12024-08-03 10:19 78  
[ ]rat_1__t9_rat_1.depvmin12024-08-03 10:24 78  
[ ]rat_1__t9_rat_1.vmin12024-08-03 10:19 1.1K 
[ ]rat_1__t9_rat_1.vmin1out2024-08-03 10:23 29K 
[ ]rat_1__t9_rat_1.vout2024-08-03 09:50 30K 
[ ]rat_1__t10_rat_12024-07-28 16:57 13K 
[ ]rat_1__t10_rat_1.vout2024-08-03 05:18 7.8K 
[ ]rat_1__t11_rat_12024-07-28 16:57 13K 
[ ]rat_1__t11_rat_1.vout2024-08-03 07:55 2.0K 
[ ]rat_1__t12_rat_12024-07-28 16:50 10K 
[ ]rat_1__t12_rat_1.depv12024-08-03 10:19 140  
[ ]rat_1__t12_rat_1.depvmin12024-08-03 10:24 140  
[ ]rat_1__t12_rat_1.vmin12024-08-03 10:19 1.1K 
[ ]rat_1__t12_rat_1.vmin1out2024-08-03 10:23 8.9K 
[ ]rat_1__t12_rat_1.vout2024-08-03 05:04 8.1K 
[ ]rat_1__t13_rat_12024-07-28 16:58 20K 
[ ]rat_1__t13_rat_1.vout2024-08-03 08:30 2.0K 
[ ]rat_1__t14_rat_12024-07-28 16:51 14K 
[ ]rat_1__t14_rat_1.depv12024-08-03 10:19 207  
[ ]rat_1__t14_rat_1.depvmin12024-08-03 10:24 147  
[ ]rat_1__t14_rat_1.vmin12024-08-03 10:19 1.6K 
[ ]rat_1__t14_rat_1.vmin1out2024-08-03 10:23 16K 
[ ]rat_1__t14_rat_1.vout2024-08-03 06:46 20K 
[ ]rat_1__t15_rat_12024-07-28 16:59 19K 
[ ]rat_1__t15_rat_1.vout2024-08-03 08:09 2.0K 
[ ]rat_1__t16_rat_12024-07-28 17:00 20K 
[ ]rat_1__t16_rat_1.vout2024-08-03 06:46 7.2K 
[ ]rat_1__t17_rat_12024-07-28 17:00 22K 
[ ]rat_1__t17_rat_1.vout2024-08-03 07:45 4.7K 
[ ]rat_1__t18_rat_12024-07-28 17:01 19K 
[ ]rat_1__t18_rat_1.depv12024-08-03 10:19 63  
[ ]rat_1__t18_rat_1.depvmin12024-08-03 10:24 63  
[ ]rat_1__t18_rat_1.vmin12024-08-03 10:19 507  
[ ]rat_1__t18_rat_1.vmin1out2024-08-03 10:20 5.2K 
[ ]rat_1__t18_rat_1.vout2024-08-03 05:18 4.7K 
[ ]rat_1__t19_rat_12024-07-28 16:51 19K 
[ ]rat_1__t19_rat_1.depv12024-08-03 10:19 73  
[ ]rat_1__t19_rat_1.depvmin12024-08-03 10:24 73  
[ ]rat_1__t19_rat_1.vmin12024-08-03 10:19 598  
[ ]rat_1__t19_rat_1.vmin1out2024-08-03 10:22 6.6K 
[ ]rat_1__t19_rat_1.vout2024-08-03 09:39 6.4K 
[ ]rat_1__t20_rat_12024-07-28 17:02 22K 
[ ]rat_1__t20_rat_1.depv12024-08-03 10:19 129  
[ ]rat_1__t20_rat_1.depvmin12024-08-03 10:24 105  
[ ]rat_1__t20_rat_1.vmin12024-08-03 10:19 924  
[ ]rat_1__t20_rat_1.vmin1out2024-08-03 10:23 7.0K 
[ ]rat_1__t20_rat_1.vout2024-08-03 07:28 7.8K 
[ ]rat_1__t21_rat_12024-07-28 17:03 11K 
[ ]rat_1__t21_rat_1.depv12024-08-03 10:19 104  
[ ]rat_1__t21_rat_1.depvmin12024-08-03 10:24 104  
[ ]rat_1__t21_rat_1.vmin12024-08-03 10:19 952  
[ ]rat_1__t21_rat_1.vmin1out2024-08-03 10:22 8.9K 
[ ]rat_1__t21_rat_1.vout2024-08-03 06:58 10K 
[ ]rat_1__t22_rat_12024-07-28 17:03 14K 
[ ]rat_1__t22_rat_1.depv12024-08-03 10:19 223  
[ ]rat_1__t22_rat_1.depvmin12024-08-03 10:24 223  
[ ]rat_1__t22_rat_1.vmin12024-08-03 10:19 1.5K 
[ ]rat_1__t22_rat_1.vmin1out2024-08-03 10:21 13K 
[ ]rat_1__t22_rat_1.vout2024-08-03 06:00 14K 
[ ]rat_1__t23_rat_12024-07-28 17:04 20K 
[ ]rat_1__t23_rat_1.depv12024-08-03 10:19 203  
[ ]rat_1__t23_rat_1.depvmin12024-08-03 10:24 203  
[ ]rat_1__t23_rat_1.vmin12024-08-03 10:19 1.4K 
[ ]rat_1__t23_rat_1.vmin1out2024-08-03 10:20 19K 
[ ]rat_1__t23_rat_1.vout2024-08-03 05:07 19K 
[ ]rat_1__t24_rat_12024-07-28 17:05 28K 
[ ]rat_1__t24_rat_1.vout2024-08-03 09:39 6.7K 
[ ]rat_1__t25_rat_12024-07-28 17:05 27K 
[ ]rat_1__t25_rat_1.depv12024-08-03 10:19 105  
[ ]rat_1__t25_rat_1.depvmin12024-08-03 10:24 105  
[ ]rat_1__t25_rat_1.vmin12024-08-03 10:19 722  
[ ]rat_1__t25_rat_1.vmin1out2024-08-03 10:21 11K 
[ ]rat_1__t25_rat_1.vout2024-08-03 07:08 11K 
[ ]rat_1__t26_rat_12024-07-28 17:06 20K 
[ ]rat_1__t26_rat_1.depv12024-08-03 10:19 115  
[ ]rat_1__t26_rat_1.depvmin12024-08-03 10:24 115  
[ ]rat_1__t26_rat_1.vmin12024-08-03 10:19 1.0K 
[ ]rat_1__t26_rat_1.vmin1out2024-08-03 10:20 11K 
[ ]rat_1__t26_rat_1.vout2024-08-03 07:55 12K 
[ ]rat_1__t27_rat_12024-07-28 17:07 37K 
[ ]rat_1__t27_rat_1.vout2024-08-03 06:58 4.7K 
[ ]rat_1__t28_rat_12024-07-28 17:08 34K 
[ ]rat_1__t28_rat_1.vout2024-08-03 09:06 6.8K 
[ ]rat_1__t29_rat_12024-07-28 17:09 23K 
[ ]rat_1__t29_rat_1.vout2024-08-03 04:42 6.7K 
[ ]rat_1__t30_rat_12024-07-28 17:10 23K 
[ ]rat_1__t30_rat_1.vout2024-08-03 08:09 4.7K 
[ ]rat_1__t31_rat_12024-07-28 17:10 34K 
[ ]rat_1__t31_rat_1.vout2024-08-03 07:52 2.0K 
[ ]rat_1__t32_rat_12024-07-28 17:11 33K 
[ ]rat_1__t32_rat_1.depv12024-08-03 10:19 270  
[ ]rat_1__t32_rat_1.depvmin12024-08-03 10:24 270  
[ ]rat_1__t32_rat_1.vmin12024-08-03 10:19 2.0K 
[ ]rat_1__t32_rat_1.vmin1out2024-08-03 10:21 28K 
[ ]rat_1__t32_rat_1.vout2024-08-03 04:59 25K 
[ ]rat_1__t33_rat_12024-07-28 17:12 33K 
[ ]rat_1__t33_rat_1.depv12024-08-03 10:19 135  
[ ]rat_1__t33_rat_1.depvmin12024-08-03 10:24 123  
[ ]rat_1__t33_rat_1.vmin12024-08-03 10:19 1.4K 
[ ]rat_1__t33_rat_1.vmin1out2024-08-03 10:22 14K 
[ ]rat_1__t33_rat_1.vout2024-08-03 08:35 17K 
[ ]rat_1__t34_rat_12024-07-28 17:13 33K 
[ ]rat_1__t34_rat_1.depv12024-08-03 10:19 137  
[ ]rat_1__t34_rat_1.depvmin12024-08-03 10:24 125  
[ ]rat_1__t34_rat_1.vmin12024-08-03 10:19 1.2K 
[ ]rat_1__t34_rat_1.vmin1out2024-08-03 10:22 14K 
[ ]rat_1__t34_rat_1.vout2024-08-03 07:33 17K 
[ ]rat_1__t35_rat_12024-07-28 17:13 22K 
[ ]rat_1__t35_rat_1.vout2024-08-03 05:00 2.0K 
[ ]rat_1__t36_rat_12024-07-28 17:14 22K 
[ ]rat_1__t36_rat_1.depv12024-08-03 10:19 269  
[ ]rat_1__t36_rat_1.depvmin12024-08-03 10:24 269  
[ ]rat_1__t36_rat_1.vmin12024-08-03 10:19 1.7K 
[ ]rat_1__t36_rat_1.vmin1out2024-08-03 10:23 21K 
[ ]rat_1__t36_rat_1.vout2024-08-03 08:31 23K 
[ ]rat_1__t37_rat_12024-07-28 17:15 22K 
[ ]rat_1__t37_rat_1.depv12024-08-03 10:19 290  
[ ]rat_1__t37_rat_1.depvmin12024-08-03 10:24 202  
[ ]rat_1__t37_rat_1.vmin12024-08-03 10:19 2.5K 
[ ]rat_1__t37_rat_1.vmin1out2024-08-03 10:21 21K 
[ ]rat_1__t37_rat_1.vout2024-08-03 05:17 40K 
[ ]rat_1__t38_rat_12024-07-28 17:16 22K 
[ ]rat_1__t38_rat_1.vout2024-08-03 09:58 7.3K 
[ ]rat_1__t39_rat_12024-07-28 17:16 22K 
[ ]rat_1__t39_rat_1.vout2024-08-03 07:36 2.0K 
[ ]rat_1__t40_rat_12024-07-28 17:17 23K 
[ ]rat_1__t40_rat_1.vout2024-08-03 05:08 7.3K 
[ ]rat_1__t41_rat_12024-07-28 17:18 19K 
[ ]rat_1__t41_rat_1.depv12024-08-03 10:19 20  
[ ]rat_1__t41_rat_1.depvmin12024-08-03 10:24 20  
[ ]rat_1__t41_rat_1.vmin12024-08-03 10:19 310  
[ ]rat_1__t41_rat_1.vmin1out2024-08-03 10:20 4.6K 
[ ]rat_1__t41_rat_1.vout2024-08-03 09:22 4.7K 
[ ]rat_1__t42_rat_12024-07-28 17:19 23K 
[ ]rat_1__t42_rat_1.vout2024-08-03 05:43 2.0K 
[ ]rat_1__t43_rat_12024-07-28 17:19 29K 
[ ]rat_1__t43_rat_1.vout2024-08-03 04:24 7.2K 
[ ]rat_1__t44_rat_12024-07-28 17:20 23K 
[ ]rat_1__t44_rat_1.vout2024-08-03 08:47 7.2K 
[ ]rat_1__t45_rat_12024-07-28 17:21 34K 
[ ]rat_1__t45_rat_1.vout2024-08-03 07:41 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80