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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_fin__l16_card_fin2021-07-17 18:09 57K 
[ ]card_fin__l16_card_fin.vout2021-07-25 17:31 3.7K 
[ ]card_fin__l44_card_fin2021-07-17 18:09 38K 
[ ]card_fin__l44_card_fin.vout2021-07-25 18:19 6.2K 
[ ]card_fin__l65_card_fin2021-07-17 18:10 84K 
[ ]card_fin__l65_card_fin.vout2021-07-25 19:48 3.7K 
[ ]card_fin__l69_card_fin2021-07-17 18:11 100K 
[ ]card_fin__l69_card_fin.vout2021-07-25 20:27 3.7K 
[ ]card_fin__t2_card_fin2021-07-17 18:02 48K 
[ ]card_fin__t2_card_fin.vout2021-07-25 19:02 4.2K 
[ ]card_fin__t3_card_fin2021-07-17 18:02 47K 
[ ]card_fin__t3_card_fin.vout2021-07-25 15:15 4.2K 
[ ]card_fin__t4_card_fin2021-07-17 17:34 69K 
[ ]card_fin__t4_card_fin.vout2021-07-25 19:31 4.2K 
[ ]card_fin__t5_card_fin2021-07-17 18:03 53K 
[ ]card_fin__t5_card_fin.vout2021-07-25 20:50 4.2K 
[ ]card_fin__t6_card_fin2021-07-17 17:34 26K 
[ ]card_fin__t6_card_fin.vout2021-07-25 20:30 2.0K 
[ ]card_fin__t7_card_fin2021-07-17 18:04 81K 
[ ]card_fin__t7_card_fin.vout2021-07-25 15:02 5.3K 
[ ]card_fin__t8_card_fin2021-07-17 18:04 40K 
[ ]card_fin__t8_card_fin.vout2021-07-25 18:56 4.2K 
[ ]card_fin__t9_card_fin2021-07-17 17:34 41K 
[ ]card_fin__t9_card_fin.vout2021-07-25 15:54 7.3K 
[ ]card_fin__t10_card_fin2021-07-17 17:35 39K 
[ ]card_fin__t10_card_fin.vout2021-07-25 17:15 7.3K 
[ ]card_fin__t11_card_fin2021-07-17 17:36 45K 
[ ]card_fin__t11_card_fin.vout2021-07-25 17:49 7.3K 
[ ]card_fin__t12_card_fin2021-07-17 17:36 48K 
[ ]card_fin__t12_card_fin.vout2021-07-25 15:50 7.3K 
[ ]card_fin__t13_card_fin2021-07-17 18:05 65K 
[ ]card_fin__t13_card_fin.vout2021-07-25 17:54 3.7K 
[ ]card_fin__t14_card_fin2021-07-17 18:06 54K 
[ ]card_fin__t14_card_fin.vout2021-07-25 16:30 4.2K 
[ ]card_fin__t15_card_fin2021-07-17 17:37 52K 
[ ]card_fin__t15_card_fin.vout2021-07-25 17:41 3.7K 
[ ]card_fin__t16_card_fin2021-07-17 17:37 64K 
[ ]card_fin__t16_card_fin.vout2021-07-25 16:09 4.7K 
[ ]card_fin__t17_card_fin2021-07-17 17:38 54K 
[ ]card_fin__t17_card_fin.vout2021-07-25 17:08 7.3K 
[ ]card_fin__t18_card_fin2021-07-17 17:38 48K 
[ ]card_fin__t18_card_fin.depv12021-07-25 20:57 104  
[ ]card_fin__t18_card_fin.depvmin12021-07-25 21:03 104  
[ ]card_fin__t18_card_fin.vmin12021-07-25 20:57 1.2K 
[ ]card_fin__t18_card_fin.vmin1out2021-07-25 21:00 13K 
[ ]card_fin__t18_card_fin.vout2021-07-25 19:30 13K 
[ ]card_fin__t19_card_fin2021-07-17 17:39 36K 
[ ]card_fin__t19_card_fin.vout2021-07-25 17:35 4.7K 
[ ]card_fin__t20_card_fin2021-07-17 17:39 35K 
[ ]card_fin__t20_card_fin.vout2021-07-25 19:22 7.3K 
[ ]card_fin__t21_card_fin2021-07-17 17:40 36K 
[ ]card_fin__t21_card_fin.vout2021-07-25 16:32 4.7K 
[ ]card_fin__t22_card_fin2021-07-17 17:40 34K 
[ ]card_fin__t22_card_fin.vout2021-07-25 15:14 4.7K 
[ ]card_fin__t23_card_fin2021-07-17 17:33 33K 
[ ]card_fin__t23_card_fin.depv12021-07-25 20:57 85  
[ ]card_fin__t23_card_fin.depvmin12021-07-25 21:03 85  
[ ]card_fin__t23_card_fin.vmin12021-07-25 20:57 874  
[ ]card_fin__t23_card_fin.vmin1out2021-07-25 21:00 9.6K 
[ ]card_fin__t23_card_fin.vout2021-07-25 20:01 19K 
[ ]card_fin__t24_card_fin2021-07-17 17:41 47K 
[ ]card_fin__t24_card_fin.vout2021-07-25 18:26 6.8K 
[ ]card_fin__t25_card_fin2021-07-17 17:41 49K 
[ ]card_fin__t25_card_fin.vout2021-07-25 18:40 7.3K 
[ ]card_fin__t26_card_fin2021-07-17 17:42 41K 
[ ]card_fin__t26_card_fin.vout2021-07-25 20:23 2.0K 
[ ]card_fin__t27_card_fin2021-07-17 17:42 39K 
[ ]card_fin__t27_card_fin.vout2021-07-25 19:59 7.3K 
[ ]card_fin__t28_card_fin2021-07-17 17:43 38K 
[ ]card_fin__t28_card_fin.vout2021-07-25 16:10 7.3K 
[ ]card_fin__t29_card_fin2021-07-17 17:43 38K 
[ ]card_fin__t29_card_fin.vout2021-07-25 20:17 7.3K 
[ ]card_fin__t30_card_fin2021-07-17 17:44 41K 
[ ]card_fin__t30_card_fin.vout2021-07-25 14:55 7.3K 
[ ]card_fin__t31_card_fin2021-07-17 17:44 34K 
[ ]card_fin__t31_card_fin.vout2021-07-25 17:03 7.3K 
[ ]card_fin__t32_card_fin2021-07-17 17:45 43K 
[ ]card_fin__t32_card_fin.vout2021-07-25 15:21 7.3K 
[ ]card_fin__t33_card_fin2021-07-17 17:45 34K 
[ ]card_fin__t33_card_fin.vout2021-07-25 17:49 7.3K 
[ ]card_fin__t34_card_fin2021-07-17 17:46 33K 
[ ]card_fin__t34_card_fin.vout2021-07-25 15:28 2.0K 
[ ]card_fin__t35_card_fin2021-07-17 17:46 43K 
[ ]card_fin__t35_card_fin.vout2021-07-25 17:39 6.8K 
[ ]card_fin__t36_card_fin2021-07-17 17:47 44K 
[ ]card_fin__t36_card_fin.vout2021-07-25 17:17 6.8K 
[ ]card_fin__t37_card_fin2021-07-17 17:47 45K 
[ ]card_fin__t37_card_fin.depv12021-07-25 20:57 201  
[ ]card_fin__t37_card_fin.depvmin12021-07-25 21:03 164  
[ ]card_fin__t37_card_fin.vmin12021-07-25 20:57 2.4K 
[ ]card_fin__t37_card_fin.vmin1out2021-07-25 21:00 29K 
[ ]card_fin__t37_card_fin.vout2021-07-25 15:30 35K 
[ ]card_fin__t38_card_fin2021-07-17 17:48 34K 
[ ]card_fin__t38_card_fin.depv12021-07-25 20:57 118  
[ ]card_fin__t38_card_fin.depvmin12021-07-25 21:03 118  
[ ]card_fin__t38_card_fin.vmin12021-07-25 20:57 1.5K 
[ ]card_fin__t38_card_fin.vmin1out2021-07-25 21:01 19K 
[ ]card_fin__t38_card_fin.vout2021-07-25 17:09 33K 
[ ]card_fin__t39_card_fin2021-07-17 17:48 26K 
[ ]card_fin__t39_card_fin.depv12021-07-25 20:57 53  
[ ]card_fin__t39_card_fin.depvmin12021-07-25 21:03 53  
[ ]card_fin__t39_card_fin.vmin12021-07-25 20:57 544  
[ ]card_fin__t39_card_fin.vmin1out2021-07-25 20:59 5.8K 
[ ]card_fin__t39_card_fin.vout2021-07-25 18:18 5.2K 
[ ]card_fin__t40_card_fin2021-07-17 17:49 47K 
[ ]card_fin__t40_card_fin.vout2021-07-25 15:39 7.3K 
[ ]card_fin__t41_card_fin2021-07-17 17:49 47K 
[ ]card_fin__t41_card_fin.vout2021-07-25 16:43 4.7K 
[ ]card_fin__t42_card_fin2021-07-17 17:50 51K 
[ ]card_fin__t42_card_fin.vout2021-07-25 20:19 4.7K 
[ ]card_fin__t43_card_fin2021-07-17 17:51 48K 
[ ]card_fin__t43_card_fin.vout2021-07-25 15:29 6.8K 
[ ]card_fin__t44_card_fin2021-07-17 17:51 80K 
[ ]card_fin__t44_card_fin.vout2021-07-25 18:16 6.8K 
[ ]card_fin__t45_card_fin2021-07-17 17:52 58K 
[ ]card_fin__t45_card_fin.vout2021-07-25 19:23 4.7K 
[ ]card_fin__t46_card_fin2021-07-17 17:53 44K 
[ ]card_fin__t46_card_fin.vout2021-07-25 20:41 6.3K 
[ ]card_fin__t47_card_fin2021-07-17 17:53 74K 
[ ]card_fin__t47_card_fin.vout2021-07-25 19:44 6.8K 
[ ]card_fin__t48_card_fin2021-07-17 17:54 87K 
[ ]card_fin__t48_card_fin.vout2021-07-25 17:42 7.3K 
[ ]card_fin__t49_card_fin2021-07-17 17:54 41K 
[ ]card_fin__t49_card_fin.vout2021-07-25 20:51 7.3K 
[ ]card_fin__t50_card_fin2021-07-17 17:55 44K 
[ ]card_fin__t50_card_fin.vout2021-07-25 17:27 7.3K 
[ ]card_fin__t51_card_fin2021-07-17 17:56 46K 
[ ]card_fin__t51_card_fin.vout2021-07-25 17:41 7.3K 
[ ]card_fin__t52_card_fin2021-07-17 17:56 63K 
[ ]card_fin__t52_card_fin.vout2021-07-25 17:05 6.2K 
[ ]card_fin__t53_card_fin2021-07-17 17:57 102K 
[ ]card_fin__t53_card_fin.vout2021-07-25 16:06 3.7K 
[ ]card_fin__t54_card_fin2021-07-17 17:58 43K 
[ ]card_fin__t54_card_fin.vout2021-07-25 17:15 2.0K 
[ ]card_fin__t55_card_fin2021-07-17 17:58 40K 
[ ]card_fin__t55_card_fin.vout2021-07-25 19:35 6.8K 
[ ]card_fin__t56_card_fin2021-07-17 17:59 148K 
[ ]card_fin__t56_card_fin.vout2021-07-25 19:50 6.8K 
[ ]card_fin__t57_card_fin2021-07-17 18:00 54K 
[ ]card_fin__t57_card_fin.vout2021-07-25 20:47 6.8K 
[ ]card_fin__t58_card_fin2021-07-17 18:00 59K 
[ ]card_fin__t58_card_fin.vout2021-07-25 18:46 6.8K 
[ ]card_fin__t59_card_fin2021-07-17 18:06 83K 
[ ]card_fin__t59_card_fin.vout2021-07-25 20:21 7.3K 
[ ]card_fin__t60_card_fin2021-07-17 18:01 101K 
[ ]card_fin__t60_card_fin.vout2021-07-25 17:32 3.7K 
[ ]card_fin__t61_card_fin2021-07-17 18:07 77K 
[ ]card_fin__t61_card_fin.vout2021-07-25 17:02 3.7K 
[ ]card_fin__t62_card_fin2021-07-17 18:08 84K 
[ ]card_fin__t62_card_fin.vout2021-07-25 14:23 6.8K 
[ ]card_fin__t63_card_fin2021-07-17 18:08 53K 
[ ]card_fin__t63_card_fin.vout2021-07-25 17:21 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80