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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rat_1__t45_rat_1.vout2021-07-25 20:46 6.8K 
[ ]rat_1__t45_rat_12021-07-18 02:52 35K 
[ ]rat_1__t44_rat_1.vout2021-07-25 20:31 7.2K 
[ ]rat_1__t44_rat_12021-07-18 02:52 23K 
[ ]rat_1__t43_rat_1.vout2021-07-25 15:21 7.3K 
[ ]rat_1__t43_rat_12021-07-18 02:51 29K 
[ ]rat_1__t42_rat_1.vout2021-07-25 16:34 2.0K 
[ ]rat_1__t42_rat_12021-07-18 02:51 23K 
[ ]rat_1__t41_rat_1.vout2021-07-25 15:48 4.7K 
[ ]rat_1__t41_rat_1.vmin1out2021-07-25 20:58 4.6K 
[ ]rat_1__t41_rat_1.vmin12021-07-25 20:57 310  
[ ]rat_1__t41_rat_1.depvmin12021-07-25 21:03 20  
[ ]rat_1__t41_rat_1.depv12021-07-25 20:57 20  
[ ]rat_1__t41_rat_12021-07-18 02:51 19K 
[ ]rat_1__t40_rat_1.vout2021-07-25 16:56 7.2K 
[ ]rat_1__t40_rat_12021-07-18 02:50 23K 
[ ]rat_1__t39_rat_1.vout2021-07-25 16:00 2.0K 
[ ]rat_1__t39_rat_12021-07-18 02:50 22K 
[ ]rat_1__t38_rat_1.vout2021-07-25 19:58 7.3K 
[ ]rat_1__t38_rat_12021-07-18 02:50 22K 
[ ]rat_1__t37_rat_1.vout2021-07-25 18:43 40K 
[ ]rat_1__t37_rat_1.vmin1out2021-07-25 21:01 23K 
[ ]rat_1__t37_rat_1.vmin12021-07-25 20:57 2.6K 
[ ]rat_1__t37_rat_1.depvmin12021-07-25 21:03 239  
[ ]rat_1__t37_rat_1.depv12021-07-25 20:57 304  
[ ]rat_1__t37_rat_12021-07-18 02:50 22K 
[ ]rat_1__t36_rat_1.vout2021-07-25 14:44 23K 
[ ]rat_1__t36_rat_1.vmin1out2021-07-25 20:58 21K 
[ ]rat_1__t36_rat_1.vmin12021-07-25 20:57 1.7K 
[ ]rat_1__t36_rat_1.depvmin12021-07-25 21:03 269  
[ ]rat_1__t36_rat_1.depv12021-07-25 20:57 269  
[ ]rat_1__t36_rat_12021-07-18 02:49 22K 
[ ]rat_1__t35_rat_1.vout2021-07-25 19:51 2.0K 
[ ]rat_1__t35_rat_12021-07-18 02:49 23K 
[ ]rat_1__t34_rat_1.vout2021-07-25 19:24 17K 
[ ]rat_1__t34_rat_1.vmin1out2021-07-25 20:58 14K 
[ ]rat_1__t34_rat_1.vmin12021-07-25 20:57 1.1K 
[ ]rat_1__t34_rat_1.depvmin12021-07-25 21:03 123  
[ ]rat_1__t34_rat_1.depv12021-07-25 20:57 135  
[ ]rat_1__t34_rat_12021-07-18 02:49 33K 
[ ]rat_1__t33_rat_1.vout2021-07-25 16:50 17K 
[ ]rat_1__t33_rat_1.vmin1out2021-07-25 21:01 14K 
[ ]rat_1__t33_rat_1.vmin12021-07-25 20:57 1.4K 
[ ]rat_1__t33_rat_1.depvmin12021-07-25 21:03 123  
[ ]rat_1__t33_rat_1.depv12021-07-25 20:57 135  
[ ]rat_1__t33_rat_12021-07-18 02:49 33K 
[ ]rat_1__t32_rat_1.vout2021-07-25 16:57 24K 
[ ]rat_1__t32_rat_1.vmin1out2021-07-25 20:58 25K 
[ ]rat_1__t32_rat_1.vmin12021-07-25 20:57 1.9K 
[ ]rat_1__t32_rat_1.depvmin12021-07-25 21:03 198  
[ ]rat_1__t32_rat_1.depv12021-07-25 20:57 225  
[ ]rat_1__t32_rat_12021-07-18 02:48 33K 
[ ]rat_1__t31_rat_1.vout2021-07-25 19:47 2.0K 
[ ]rat_1__t31_rat_12021-07-18 02:48 34K 
[ ]rat_1__t30_rat_1.vout2021-07-25 17:49 4.7K 
[ ]rat_1__t30_rat_12021-07-18 02:48 23K 
[ ]rat_1__t29_rat_1.vout2021-07-25 17:40 6.7K 
[ ]rat_1__t29_rat_12021-07-18 02:48 23K 
[ ]rat_1__t28_rat_1.vout2021-07-25 15:12 6.8K 
[ ]rat_1__t28_rat_12021-07-18 02:47 34K 
[ ]rat_1__t27_rat_1.vout2021-07-25 17:43 4.7K 
[ ]rat_1__t27_rat_12021-07-18 02:47 37K 
[ ]rat_1__t26_rat_1.vout2021-07-25 20:11 12K 
[ ]rat_1__t26_rat_1.vmin1out2021-07-25 21:00 11K 
[ ]rat_1__t26_rat_1.vmin12021-07-25 20:57 1.0K 
[ ]rat_1__t26_rat_1.depvmin12021-07-25 21:03 115  
[ ]rat_1__t26_rat_1.depv12021-07-25 20:57 115  
[ ]rat_1__t26_rat_12021-07-18 02:47 20K 
[ ]rat_1__t25_rat_1.vout2021-07-25 15:08 11K 
[ ]rat_1__t25_rat_1.vmin1out2021-07-25 20:59 11K 
[ ]rat_1__t25_rat_1.vmin12021-07-25 20:57 722  
[ ]rat_1__t25_rat_1.depvmin12021-07-25 21:03 105  
[ ]rat_1__t25_rat_1.depv12021-07-25 20:57 105  
[ ]rat_1__t25_rat_12021-07-18 02:46 27K 
[ ]rat_1__t24_rat_1.vout2021-07-25 16:33 6.8K 
[ ]rat_1__t24_rat_12021-07-18 02:46 28K 
[ ]rat_1__t23_rat_1.vout2021-07-25 16:43 20K 
[ ]rat_1__t23_rat_1.vmin1out2021-07-25 20:57 20K 
[ ]rat_1__t23_rat_1.vmin12021-07-25 20:57 1.6K 
[ ]rat_1__t23_rat_1.depvmin12021-07-25 21:03 249  
[ ]rat_1__t23_rat_1.depv12021-07-25 20:57 249  
[ ]rat_1__t23_rat_12021-07-18 02:46 20K 
[ ]rat_1__t22_rat_1.vout2021-07-25 18:27 14K 
[ ]rat_1__t22_rat_1.vmin1out2021-07-25 21:00 13K 
[ ]rat_1__t22_rat_1.vmin12021-07-25 20:57 1.5K 
[ ]rat_1__t22_rat_1.depvmin12021-07-25 21:03 223  
[ ]rat_1__t22_rat_1.depv12021-07-25 20:57 223  
[ ]rat_1__t22_rat_12021-07-18 02:46 14K 
[ ]rat_1__t21_rat_1.vout2021-07-25 20:00 10K 
[ ]rat_1__t21_rat_1.vmin1out2021-07-25 21:02 8.9K 
[ ]rat_1__t21_rat_1.vmin12021-07-25 20:57 952  
[ ]rat_1__t21_rat_1.depvmin12021-07-25 21:03 104  
[ ]rat_1__t21_rat_1.depv12021-07-25 20:57 104  
[ ]rat_1__t21_rat_12021-07-18 02:45 11K 
[ ]rat_1__t20_rat_1.vout2021-07-25 14:37 7.8K 
[ ]rat_1__t20_rat_1.vmin1out2021-07-25 20:59 7.0K 
[ ]rat_1__t20_rat_1.vmin12021-07-25 20:57 924  
[ ]rat_1__t20_rat_1.depvmin12021-07-25 21:03 105  
[ ]rat_1__t20_rat_1.depv12021-07-25 20:57 129  
[ ]rat_1__t20_rat_12021-07-18 02:45 22K 
[ ]rat_1__t19_rat_1.vout2021-07-25 15:15 6.4K 
[ ]rat_1__t19_rat_1.vmin1out2021-07-25 21:02 6.6K 
[ ]rat_1__t19_rat_1.vmin12021-07-25 20:57 598  
[ ]rat_1__t19_rat_1.depvmin12021-07-25 21:03 73  
[ ]rat_1__t19_rat_1.depv12021-07-25 20:57 73  
[ ]rat_1__t19_rat_12021-07-18 02:41 19K 
[ ]rat_1__t18_rat_1.vout2021-07-25 19:20 4.7K 
[ ]rat_1__t18_rat_1.vmin1out2021-07-25 21:00 5.2K 
[ ]rat_1__t18_rat_1.vmin12021-07-25 20:57 507  
[ ]rat_1__t18_rat_1.depvmin12021-07-25 21:03 63  
[ ]rat_1__t18_rat_1.depv12021-07-25 20:57 63  
[ ]rat_1__t18_rat_12021-07-18 02:45 19K 
[ ]rat_1__t17_rat_1.vout2021-07-25 17:40 4.7K 
[ ]rat_1__t17_rat_12021-07-18 02:44 22K 
[ ]rat_1__t16_rat_1.vout2021-07-25 18:39 7.3K 
[ ]rat_1__t16_rat_12021-07-18 02:44 20K 
[ ]rat_1__t15_rat_1.vout2021-07-25 16:50 2.0K 
[ ]rat_1__t15_rat_12021-07-18 02:44 19K 
[ ]rat_1__t14_rat_1.vout2021-07-25 16:34 20K 
[ ]rat_1__t14_rat_1.vmin1out2021-07-25 20:57 16K 
[ ]rat_1__t14_rat_1.vmin12021-07-25 20:57 1.6K 
[ ]rat_1__t14_rat_1.depvmin12021-07-25 21:03 147  
[ ]rat_1__t14_rat_1.depv12021-07-25 20:57 207  
[ ]rat_1__t14_rat_12021-07-18 02:41 14K 
[ ]rat_1__t13_rat_1.vout2021-07-25 17:48 2.0K 
[ ]rat_1__t13_rat_12021-07-18 02:44 20K 
[ ]rat_1__t12_rat_1.vout2021-07-25 17:24 8.1K 
[ ]rat_1__t12_rat_1.vmin1out2021-07-25 21:01 8.9K 
[ ]rat_1__t12_rat_1.vmin12021-07-25 20:57 1.1K 
[ ]rat_1__t12_rat_1.depvmin12021-07-25 21:03 140  
[ ]rat_1__t12_rat_1.depv12021-07-25 20:57 140  
[ ]rat_1__t12_rat_12021-07-18 02:40 10K 
[ ]rat_1__t11_rat_1.vout2021-07-25 18:07 2.0K 
[ ]rat_1__t11_rat_12021-07-18 02:43 13K 
[ ]rat_1__t10_rat_1.vout2021-07-25 20:05 7.8K 
[ ]rat_1__t10_rat_12021-07-18 02:43 14K 
[ ]rat_1__t9_rat_1.vout2021-07-25 19:52 28K 
[ ]rat_1__t9_rat_1.vmin1out2021-07-25 20:58 28K 
[ ]rat_1__t9_rat_1.vmin12021-07-25 20:57 895  
[ ]rat_1__t9_rat_1.depvmin12021-07-25 21:03 41  
[ ]rat_1__t9_rat_1.depv12021-07-25 20:57 41  
[ ]rat_1__t9_rat_12021-07-18 02:43 22K 
[ ]rat_1__t8_rat_1.vout2021-07-25 18:38 6.7K 
[ ]rat_1__t8_rat_12021-07-18 02:43 34K 
[ ]rat_1__t7_rat_1.vout2021-07-25 15:31 7.2K 
[ ]rat_1__t7_rat_12021-07-18 02:42 35K 
[ ]rat_1__t3_rat_1.vout2021-07-25 16:04 7.8K 
[ ]rat_1__t3_rat_12021-07-18 02:40 13K 
[ ]rat_1__t2_rat_1.vout2021-07-25 17:14 8.4K 
[ ]rat_1__t2_rat_12021-07-18 02:40 12K 
[ ]rat_1__t1_rat_1.vout2021-07-25 15:38 30K 
[ ]rat_1__t1_rat_1.vmin1out2021-07-25 20:59 43K 
[ ]rat_1__t1_rat_1.vmin12021-07-25 20:57 2.6K 
[ ]rat_1__t1_rat_1.depvmin12021-07-25 21:03 248  
[ ]rat_1__t1_rat_1.depv12021-07-25 20:57 261  
[ ]rat_1__t1_rat_12021-07-18 02:42 12K 
[ ]rat_1__l32_rat_1.vout2021-07-25 20:19 5.9K 
[ ]rat_1__l32_rat_1.vmin1out2021-07-25 20:58 6.6K 
[ ]rat_1__l32_rat_1.vmin12021-07-25 20:57 876  
[ ]rat_1__l32_rat_1.depvmin12021-07-25 21:03 163  
[ ]rat_1__l32_rat_1.depv12021-07-25 20:57 163  
[ ]rat_1__l32_rat_12021-07-18 02:41 12K 
[ ]rat_1__l6_rat_1.vout2021-07-25 19:49 18K 
[ ]rat_1__l6_rat_1.vmin1out2021-07-25 21:00 19K 
[ ]rat_1__l6_rat_1.vmin12021-07-25 20:57 1.1K 
[ ]rat_1__l6_rat_1.depvmin12021-07-25 21:03 121  
[ ]rat_1__l6_rat_1.depv12021-07-25 20:57 121  
[ ]rat_1__l6_rat_12021-07-18 02:54 27K 
[ ]rat_1__l5_rat_1.vout2021-07-25 16:10 3.6K 
[ ]rat_1__l5_rat_12021-07-18 02:54 33K 
[ ]rat_1__l4_rat_1.vout2021-07-25 17:07 5.8K 
[ ]rat_1__l4_rat_12021-07-18 02:53 32K 
[ ]rat_1__l3_rat_1.vout2021-07-25 14:55 6.7K 
[ ]rat_1__l3_rat_12021-07-18 02:53 38K 
[ ]rat_1__l2_rat_1.vout2021-07-25 20:31 3.6K 
[ ]rat_1__l2_rat_12021-07-18 02:52 33K 
[ ]rat_1__l1_rat_1.vout2021-07-25 14:44 2.1K 
[ ]rat_1__l1_rat_1.vmin1out2021-07-25 21:01 2.0K 
[ ]rat_1__l1_rat_1.vmin12021-07-25 20:57 289  
[ ]rat_1__l1_rat_1.depvmin12021-07-25 21:03 47  
[ ]rat_1__l1_rat_1.depv12021-07-25 20:57 47  
[ ]rat_1__l1_rat_12021-07-18 02:42 10K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80