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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_5__t39_card_5.vout2021-07-25 16:40 7.1K 
[ ]card_5__t39_card_5.vmin1out2021-07-25 21:01 5.1K 
[ ]card_5__t39_card_5.vmin12021-07-25 20:57 727  
[ ]card_5__t39_card_5.depvmin12021-07-25 21:03 84  
[ ]card_5__t39_card_5.depv12021-07-25 20:57 84  
[ ]card_5__t39_card_52021-07-17 18:33 18K 
[ ]card_5__t38_card_5.vout2021-07-25 17:29 50K 
[ ]card_5__t38_card_5.vmin1out2021-07-25 21:00 37K 
[ ]card_5__t38_card_5.vmin12021-07-25 20:57 2.9K 
[ ]card_5__t38_card_5.depvmin12021-07-25 21:03 276  
[ ]card_5__t38_card_5.depv12021-07-25 20:57 290  
[ ]card_5__t38_card_52021-07-17 18:33 25K 
[ ]card_5__t37_card_5.vout2021-07-25 14:33 7.6K 
[ ]card_5__t37_card_5.vmin1out2021-07-25 21:00 6.1K 
[ ]card_5__t37_card_5.vmin12021-07-25 20:57 557  
[ ]card_5__t37_card_5.depvmin12021-07-25 21:03 69  
[ ]card_5__t37_card_5.depv12021-07-25 20:57 69  
[ ]card_5__t37_card_52021-07-17 18:32 19K 
[ ]card_5__t36_card_5.vout2021-07-25 16:26 11K 
[ ]card_5__t36_card_5.vmin1out2021-07-25 21:02 9.5K 
[ ]card_5__t36_card_5.vmin12021-07-25 20:57 958  
[ ]card_5__t36_card_5.depvmin12021-07-25 21:03 118  
[ ]card_5__t36_card_5.depv12021-07-25 20:57 118  
[ ]card_5__t36_card_52021-07-17 18:32 18K 
[ ]card_5__t35_card_5.vout2021-07-25 15:28 7.3K 
[ ]card_5__t35_card_52021-07-17 18:31 37K 
[ ]card_5__t34_card_5.vout2021-07-25 20:24 7.3K 
[ ]card_5__t34_card_52021-07-17 18:31 36K 
[ ]card_5__t33_card_5.vout2021-07-25 15:35 3.6K 
[ ]card_5__t33_card_52021-07-17 18:30 33K 
[ ]card_5__t32_card_5.vout2021-07-25 14:44 6.8K 
[ ]card_5__t32_card_52021-07-17 18:30 37K 
[ ]card_5__t31_card_5.vout2021-07-25 14:28 7.3K 
[ ]card_5__t31_card_52021-07-17 18:29 21K 
[ ]card_5__t30_card_5.vout2021-07-25 20:22 2.0K 
[ ]card_5__t30_card_52021-07-17 18:17 14K 
[ ]card_5__t29_card_5.vout2021-07-25 20:54 7.3K 
[ ]card_5__t29_card_52021-07-17 18:29 31K 
[ ]card_5__t28_card_5.vout2021-07-25 16:14 17K 
[ ]card_5__t28_card_5.vmin1out2021-07-25 21:02 16K 
[ ]card_5__t28_card_5.vmin12021-07-25 20:57 1.3K 
[ ]card_5__t28_card_5.depvmin12021-07-25 21:03 160  
[ ]card_5__t28_card_5.depv12021-07-25 20:57 160  
[ ]card_5__t28_card_52021-07-17 18:28 17K 
[ ]card_5__t27_card_5.vout2021-07-25 14:58 24K 
[ ]card_5__t27_card_5.vmin1out2021-07-25 21:01 24K 
[ ]card_5__t27_card_5.vmin12021-07-25 20:57 1.7K 
[ ]card_5__t27_card_5.depvmin12021-07-25 21:03 176  
[ ]card_5__t27_card_5.depv12021-07-25 20:57 176  
[ ]card_5__t27_card_52021-07-17 18:28 21K 
[ ]card_5__t26_card_5.vout2021-07-25 19:24 6.8K 
[ ]card_5__t26_card_52021-07-17 18:27 23K 
[ ]card_5__t25_card_5.vout2021-07-25 18:47 7.3K 
[ ]card_5__t25_card_52021-07-17 18:27 29K 
[ ]card_5__t24_card_5.vout2021-07-25 17:55 19K 
[ ]card_5__t24_card_5.vmin1out2021-07-25 21:00 19K 
[ ]card_5__t24_card_5.vmin12021-07-25 20:57 1.4K 
[ ]card_5__t24_card_5.depvmin12021-07-25 21:03 143  
[ ]card_5__t24_card_5.depv12021-07-25 20:57 143  
[ ]card_5__t24_card_52021-07-17 18:26 20K 
[ ]card_5__t23_card_5.vout2021-07-25 14:23 7.3K 
[ ]card_5__t23_card_52021-07-17 18:26 37K 
[ ]card_5__t22_card_5.vout2021-07-25 19:10 8.4K 
[ ]card_5__t22_card_52021-07-17 18:25 25K 
[ ]card_5__t21_card_5.vout2021-07-25 16:51 3.1K 
[ ]card_5__t21_card_5.vmin1out2021-07-25 21:01 3.1K 
[ ]card_5__t21_card_5.vmin12021-07-25 20:57 298  
[ ]card_5__t21_card_5.depvmin12021-07-25 21:03 34  
[ ]card_5__t21_card_5.depv12021-07-25 20:57 34  
[ ]card_5__t21_card_52021-07-17 18:17 13K 
[ ]card_5__t20_card_5.vout2021-07-25 15:12 17K 
[ ]card_5__t20_card_5.vmin1out2021-07-25 20:58 20K 
[ ]card_5__t20_card_5.vmin12021-07-25 20:57 1.8K 
[ ]card_5__t20_card_5.depvmin12021-07-25 21:03 233  
[ ]card_5__t20_card_5.depv12021-07-25 20:57 233  
[ ]card_5__t20_card_52021-07-17 18:25 19K 
[ ]card_5__t19_card_5.vout2021-07-25 17:47 3.8K 
[ ]card_5__t19_card_5.vmin1out2021-07-25 20:57 4.2K 
[ ]card_5__t19_card_5.vmin12021-07-25 20:57 337  
[ ]card_5__t19_card_5.depvmin12021-07-25 21:03 33  
[ ]card_5__t19_card_5.depv12021-07-25 20:57 33  
[ ]card_5__t19_card_52021-07-17 18:16 14K 
[ ]card_5__t18_card_5.vout2021-07-25 15:01 29K 
[ ]card_5__t18_card_5.vmin1out2021-07-25 21:00 23K 
[ ]card_5__t18_card_5.vmin12021-07-25 20:57 2.5K 
[ ]card_5__t18_card_5.depvmin12021-07-25 21:03 257  
[ ]card_5__t18_card_5.depv12021-07-25 20:57 317  
[ ]card_5__t18_card_52021-07-17 18:24 20K 
[ ]card_5__t17_card_5.vout2021-07-25 14:23 15K 
[ ]card_5__t17_card_5.vmin1out2021-07-25 20:59 15K 
[ ]card_5__t17_card_5.vmin12021-07-25 20:57 1.3K 
[ ]card_5__t17_card_5.depvmin12021-07-25 21:03 160  
[ ]card_5__t17_card_5.depv12021-07-25 20:57 160  
[ ]card_5__t17_card_52021-07-17 18:24 18K 
[ ]card_5__t16_card_5.vout2021-07-25 18:02 27K 
[ ]card_5__t16_card_5.vmin1out2021-07-25 21:01 26K 
[ ]card_5__t16_card_5.vmin12021-07-25 20:57 2.2K 
[ ]card_5__t16_card_5.depvmin12021-07-25 21:03 315  
[ ]card_5__t16_card_5.depv12021-07-25 20:57 315  
[ ]card_5__t16_card_52021-07-17 18:24 18K 
[ ]card_5__t14_card_5.vout2021-07-25 17:05 3.0K 
[ ]card_5__t14_card_5.vmin1out2021-07-25 20:58 2.8K 
[ ]card_5__t14_card_5.vmin12021-07-25 20:57 342  
[ ]card_5__t14_card_5.depvmin12021-07-25 21:03 44  
[ ]card_5__t14_card_5.depv12021-07-25 20:57 44  
[ ]card_5__t14_card_52021-07-17 18:23 17K 
[ ]card_5__t13_card_5.vout2021-07-25 14:25 3.6K 
[ ]card_5__t13_card_52021-07-17 18:34 33K 
[ ]card_5__t12_card_5.vout2021-07-25 18:45 7.3K 
[ ]card_5__t12_card_52021-07-17 18:23 25K 
[ ]card_5__t11_card_5.vout2021-07-25 15:45 24K 
[ ]card_5__t11_card_5.vmin1out2021-07-25 20:59 23K 
[ ]card_5__t11_card_5.vmin12021-07-25 20:57 1.4K 
[ ]card_5__t11_card_5.depvmin12021-07-25 21:03 127  
[ ]card_5__t11_card_5.depv12021-07-25 20:57 127  
[ ]card_5__t11_card_52021-07-17 18:23 15K 
[ ]card_5__t10_card_5.vout2021-07-25 17:06 8.3K 
[ ]card_5__t10_card_52021-07-17 18:22 19K 
[ ]card_5__t9_card_5.vout2021-07-25 18:06 6.8K 
[ ]card_5__t9_card_52021-07-17 18:22 21K 
[ ]card_5__t8_card_5.vout2021-07-25 15:59 7.3K 
[ ]card_5__t8_card_52021-07-17 18:21 33K 
[ ]card_5__t7_card_5.vout2021-07-25 18:57 7.8K 
[ ]card_5__t7_card_52021-07-17 18:21 21K 
[ ]card_5__t6_card_5.vout2021-07-25 16:07 26K 
[ ]card_5__t6_card_5.vmin1out2021-07-25 21:01 26K 
[ ]card_5__t6_card_5.vmin12021-07-25 20:57 1.5K 
[ ]card_5__t6_card_5.depvmin12021-07-25 21:03 97  
[ ]card_5__t6_card_5.depv12021-07-25 20:57 97  
[ ]card_5__t6_card_52021-07-17 18:20 20K 
[ ]card_5__t5_card_5.vout2021-07-25 16:30 7.8K 
[ ]card_5__t5_card_52021-07-17 18:20 22K 
[ ]card_5__t4_card_5.vout2021-07-25 19:49 6.8K 
[ ]card_5__t4_card_52021-07-17 18:19 32K 
[ ]card_5__t3_card_5.vout2021-07-25 18:51 19K 
[ ]card_5__t3_card_5.vmin1out2021-07-25 21:01 14K 
[ ]card_5__t3_card_5.vmin12021-07-25 20:57 1.9K 
[ ]card_5__t3_card_5.depvmin12021-07-25 21:03 252  
[ ]card_5__t3_card_5.depv12021-07-25 20:57 289  
[ ]card_5__t3_card_52021-07-17 18:19 17K 
[ ]card_5__t2_card_5.vout2021-07-25 20:42 23K 
[ ]card_5__t2_card_5.vmin1out2021-07-25 20:59 20K 
[ ]card_5__t2_card_5.vmin12021-07-25 20:57 791  
[ ]card_5__t2_card_5.depvmin12021-07-25 21:03 41  
[ ]card_5__t2_card_5.depv12021-07-25 20:57 64  
[ ]card_5__t2_card_52021-07-17 18:18 15K 
[ ]card_5__t1_card_5.vout2021-07-25 18:23 12K 
[ ]card_5__t1_card_5.vmin1out2021-07-25 20:59 11K 
[ ]card_5__t1_card_5.vmin12021-07-25 20:57 435  
[ ]card_5__t1_card_5.depvmin12021-07-25 21:03 56  
[ ]card_5__t1_card_5.depv12021-07-25 20:57 56  
[ ]card_5__t1_card_52021-07-17 18:18 17K 
[ ]card_5__l42_card_5.vout2021-07-25 19:16 11K 
[ ]card_5__l42_card_5.vmin1out2021-07-25 20:58 11K 
[ ]card_5__l42_card_5.vmin12021-07-25 20:57 1.0K 
[ ]card_5__l42_card_5.depvmin12021-07-25 21:03 101  
[ ]card_5__l42_card_5.depv12021-07-25 20:57 101  
[ ]card_5__l42_card_52021-07-17 18:35 17K 
[ ]card_5__l12_card_5.vout2021-07-25 19:44 6.8K 
[ ]card_5__l12_card_52021-07-17 18:34 21K 
[ ]card_5__l2_card_5.vout2021-07-25 17:33 3.7K 
[ ]card_5__l2_card_5.vmin1out2021-07-25 21:02 3.6K 
[ ]card_5__l2_card_5.vmin12021-07-25 20:57 538  
[ ]card_5__l2_card_5.depvmin12021-07-25 21:03 93  
[ ]card_5__l2_card_5.depv12021-07-25 20:57 93  
[ ]card_5__l2_card_52021-07-17 18:18 14K 
[ ]card_5__l1_card_5.vout2021-07-25 14:53 4.1K 
[ ]card_5__l1_card_5.vmin1out2021-07-25 21:02 3.6K 
[ ]card_5__l1_card_5.vmin12021-07-25 20:57 538  
[ ]card_5__l1_card_5.depvmin12021-07-25 21:03 93  
[ ]card_5__l1_card_5.depv12021-07-25 20:57 93  
[ ]card_5__l1_card_52021-07-17 18:17 14K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80