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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_5__l1_card_52024-07-27 22:07 13K 
[ ]card_5__l1_card_5.depv12024-08-03 10:19 93  
[ ]card_5__l1_card_5.depvmin12024-08-03 10:24 93  
[ ]card_5__l1_card_5.vmin12024-08-03 10:19 538  
[ ]card_5__l1_card_5.vmin1out2024-08-03 10:23 3.6K 
[ ]card_5__l1_card_5.vout2024-08-03 06:58 4.1K 
[ ]card_5__l2_card_52024-07-27 22:08 14K 
[ ]card_5__l2_card_5.depv12024-08-03 10:19 93  
[ ]card_5__l2_card_5.depvmin12024-08-03 10:24 93  
[ ]card_5__l2_card_5.vmin12024-08-03 10:19 538  
[ ]card_5__l2_card_5.vmin1out2024-08-03 10:23 3.6K 
[ ]card_5__l2_card_5.vout2024-08-03 09:59 3.7K 
[ ]card_5__l12_card_52024-07-27 22:52 20K 
[ ]card_5__l12_card_5.vout2024-08-03 06:45 6.8K 
[ ]card_5__l42_card_52024-07-27 22:53 17K 
[ ]card_5__l42_card_5.depv12024-08-03 10:19 101  
[ ]card_5__l42_card_5.depvmin12024-08-03 10:24 101  
[ ]card_5__l42_card_5.vmin12024-08-03 10:19 1.0K 
[ ]card_5__l42_card_5.vmin1out2024-08-03 10:23 11K 
[ ]card_5__l42_card_5.vout2024-08-03 04:18 11K 
[ ]card_5__t1_card_52024-07-27 22:09 17K 
[ ]card_5__t1_card_5.depv12024-08-03 10:19 56  
[ ]card_5__t1_card_5.depvmin12024-08-03 10:24 56  
[ ]card_5__t1_card_5.vmin12024-08-03 10:19 435  
[ ]card_5__t1_card_5.vmin1out2024-08-03 10:23 11K 
[ ]card_5__t1_card_5.vout2024-08-03 10:03 12K 
[ ]card_5__t2_card_52024-07-27 22:10 15K 
[ ]card_5__t2_card_5.depv12024-08-03 10:19 64  
[ ]card_5__t2_card_5.depvmin12024-08-03 10:24 41  
[ ]card_5__t2_card_5.vmin12024-08-03 10:19 791  
[ ]card_5__t2_card_5.vmin1out2024-08-03 10:23 20K 
[ ]card_5__t2_card_5.vout2024-08-03 08:32 23K 
[ ]card_5__t3_card_52024-07-27 22:11 16K 
[ ]card_5__t3_card_5.depv12024-08-03 10:19 289  
[ ]card_5__t3_card_5.depvmin12024-08-03 10:24 252  
[ ]card_5__t3_card_5.vmin12024-08-03 10:19 1.9K 
[ ]card_5__t3_card_5.vmin1out2024-08-03 10:22 14K 
[ ]card_5__t3_card_5.vout2024-08-03 06:03 20K 
[ ]card_5__t4_card_52024-07-27 22:12 29K 
[ ]card_5__t4_card_5.vout2024-08-03 09:33 6.8K 
[ ]card_5__t5_card_52024-07-27 22:14 22K 
[ ]card_5__t5_card_5.vout2024-08-03 09:34 7.8K 
[ ]card_5__t6_card_52024-07-27 22:15 19K 
[ ]card_5__t6_card_5.depv12024-08-03 10:19 97  
[ ]card_5__t6_card_5.depvmin12024-08-03 10:24 97  
[ ]card_5__t6_card_5.vmin12024-08-03 10:19 1.5K 
[ ]card_5__t6_card_5.vmin1out2024-08-03 10:22 26K 
[ ]card_5__t6_card_5.vout2024-08-03 07:33 26K 
[ ]card_5__t7_card_52024-07-27 22:16 21K 
[ ]card_5__t7_card_5.vout2024-08-03 06:08 7.8K 
[ ]card_5__t8_card_52024-07-27 22:18 33K 
[ ]card_5__t8_card_5.vout2024-08-03 09:30 7.3K 
[ ]card_5__t9_card_52024-07-27 22:19 20K 
[ ]card_5__t9_card_5.vout2024-08-03 07:40 7.3K 
[ ]card_5__t10_card_52024-07-27 22:20 19K 
[ ]card_5__t10_card_5.vout2024-08-03 08:44 8.3K 
[ ]card_5__t11_card_52024-07-27 22:21 14K 
[ ]card_5__t11_card_5.depv12024-08-03 10:19 127  
[ ]card_5__t11_card_5.depvmin12024-08-03 10:24 127  
[ ]card_5__t11_card_5.vmin12024-08-03 10:19 1.4K 
[ ]card_5__t11_card_5.vmin1out2024-08-03 10:21 23K 
[ ]card_5__t11_card_5.vout2024-08-03 04:14 24K 
[ ]card_5__t12_card_52024-07-27 22:22 24K 
[ ]card_5__t12_card_5.vout2024-08-03 09:19 7.3K 
[ ]card_5__t13_card_52024-07-27 22:51 33K 
[ ]card_5__t13_card_5.vout2024-08-03 08:08 3.7K 
[ ]card_5__t14_card_52024-07-27 22:23 17K 
[ ]card_5__t14_card_5.depv12024-08-03 10:19 44  
[ ]card_5__t14_card_5.depvmin12024-08-03 10:24 44  
[ ]card_5__t14_card_5.vmin12024-08-03 10:19 342  
[ ]card_5__t14_card_5.vmin1out2024-08-03 10:20 2.8K 
[ ]card_5__t14_card_5.vout2024-08-03 10:03 3.0K 
[ ]card_5__t16_card_52024-07-27 22:24 18K 
[ ]card_5__t16_card_5.depv12024-08-03 10:19 315  
[ ]card_5__t16_card_5.depvmin12024-08-03 10:24 315  
[ ]card_5__t16_card_5.vmin12024-08-03 10:19 2.2K 
[ ]card_5__t16_card_5.vmin1out2024-08-03 10:20 26K 
[ ]card_5__t16_card_5.vout2024-08-03 08:27 27K 
[ ]card_5__t17_card_52024-07-27 22:25 18K 
[ ]card_5__t17_card_5.depv12024-08-03 10:19 160  
[ ]card_5__t17_card_5.depvmin12024-08-03 10:24 160  
[ ]card_5__t17_card_5.vmin12024-08-03 10:19 1.3K 
[ ]card_5__t17_card_5.vmin1out2024-08-03 10:23 15K 
[ ]card_5__t17_card_5.vout2024-08-03 10:04 15K 
[ ]card_5__t18_card_52024-07-27 22:26 19K 
[ ]card_5__t18_card_5.depv12024-08-03 10:19 209  
[ ]card_5__t18_card_5.depvmin12024-08-03 10:24 196  
[ ]card_5__t18_card_5.vmin12024-08-03 10:19 1.8K 
[ ]card_5__t18_card_5.vmin1out2024-08-03 10:21 24K 
[ ]card_5__t18_card_5.vout2024-08-03 05:03 23K 
[ ]card_5__t19_card_52024-07-27 22:04 13K 
[ ]card_5__t19_card_5.depv12024-08-03 10:19 33  
[ ]card_5__t19_card_5.depvmin12024-08-03 10:24 33  
[ ]card_5__t19_card_5.vmin12024-08-03 10:19 337  
[ ]card_5__t19_card_5.vmin1out2024-08-03 10:20 4.2K 
[ ]card_5__t19_card_5.vout2024-08-03 09:53 3.8K 
[ ]card_5__t20_card_52024-07-27 22:27 18K 
[ ]card_5__t20_card_5.depv12024-08-03 10:19 296  
[ ]card_5__t20_card_5.depvmin12024-08-03 10:24 287  
[ ]card_5__t20_card_5.vmin12024-08-03 10:19 2.3K 
[ ]card_5__t20_card_5.vmin1out2024-08-03 10:21 24K 
[ ]card_5__t20_card_5.vout2024-08-03 06:17 25K 
[ ]card_5__t21_card_52024-07-27 22:05 13K 
[ ]card_5__t21_card_5.depv12024-08-03 10:19 34  
[ ]card_5__t21_card_5.depvmin12024-08-03 10:24 34  
[ ]card_5__t21_card_5.vmin12024-08-03 10:19 298  
[ ]card_5__t21_card_5.vmin1out2024-08-03 10:20 3.1K 
[ ]card_5__t21_card_5.vout2024-08-03 06:11 3.1K 
[ ]card_5__t22_card_52024-07-27 22:28 24K 
[ ]card_5__t22_card_5.vout2024-08-03 07:47 8.3K 
[ ]card_5__t23_card_52024-07-27 22:30 37K 
[ ]card_5__t23_card_5.vout2024-08-03 04:29 7.3K 
[ ]card_5__t24_card_52024-07-27 22:31 19K 
[ ]card_5__t24_card_5.depv12024-08-03 10:19 143  
[ ]card_5__t24_card_5.depvmin12024-08-03 10:24 143  
[ ]card_5__t24_card_5.vmin12024-08-03 10:19 1.4K 
[ ]card_5__t24_card_5.vmin1out2024-08-03 10:21 19K 
[ ]card_5__t24_card_5.vout2024-08-03 04:37 19K 
[ ]card_5__t25_card_52024-07-27 22:32 26K 
[ ]card_5__t25_card_5.vout2024-08-03 08:54 7.3K 
[ ]card_5__t26_card_52024-07-27 22:34 23K 
[ ]card_5__t26_card_5.vout2024-08-03 06:10 6.8K 
[ ]card_5__t27_card_52024-07-27 22:35 20K 
[ ]card_5__t27_card_5.depv12024-08-03 10:19 199  
[ ]card_5__t27_card_5.depvmin12024-08-03 10:24 186  
[ ]card_5__t27_card_5.vmin12024-08-03 10:19 2.0K 
[ ]card_5__t27_card_5.vmin1out2024-08-03 10:21 25K 
[ ]card_5__t27_card_5.vout2024-08-03 07:06 26K 
[ ]card_5__t28_card_52024-07-27 22:36 17K 
[ ]card_5__t28_card_5.depv12024-08-03 10:19 190  
[ ]card_5__t28_card_5.depvmin12024-08-03 10:24 146  
[ ]card_5__t28_card_5.vmin12024-08-03 10:19 1.6K 
[ ]card_5__t28_card_5.vmin1out2024-08-03 10:20 16K 
[ ]card_5__t28_card_5.vout2024-08-03 07:49 19K 
[ ]card_5__t29_card_52024-07-27 22:37 30K 
[ ]card_5__t29_card_5.vout2024-08-03 05:01 7.3K 
[ ]card_5__t30_card_52024-07-27 22:06 13K 
[ ]card_5__t30_card_5.vout2024-08-03 07:58 2.0K 
[ ]card_5__t31_card_52024-07-27 22:38 20K 
[ ]card_5__t31_card_5.vout2024-08-03 09:40 7.3K 
[ ]card_5__t32_card_52024-07-27 22:40 37K 
[ ]card_5__t32_card_5.vout2024-08-03 08:51 6.8K 
[ ]card_5__t33_card_52024-07-27 22:41 32K 
[ ]card_5__t33_card_5.vout2024-08-03 08:34 3.6K 
[ ]card_5__t34_card_52024-07-27 22:43 36K 
[ ]card_5__t34_card_5.vout2024-08-03 09:03 7.3K 
[ ]card_5__t35_card_52024-07-27 22:45 37K 
[ ]card_5__t35_card_5.vout2024-08-03 06:21 7.3K 
[ ]card_5__t36_card_52024-07-27 22:46 18K 
[ ]card_5__t36_card_5.depv12024-08-03 10:19 118  
[ ]card_5__t36_card_5.depvmin12024-08-03 10:24 118  
[ ]card_5__t36_card_5.vmin12024-08-03 10:19 958  
[ ]card_5__t36_card_5.vmin1out2024-08-03 10:21 9.5K 
[ ]card_5__t36_card_5.vout2024-08-03 07:25 11K 
[ ]card_5__t37_card_52024-07-27 22:47 19K 
[ ]card_5__t37_card_5.depv12024-08-03 10:19 69  
[ ]card_5__t37_card_5.depvmin12024-08-03 10:24 69  
[ ]card_5__t37_card_5.vmin12024-08-03 10:19 557  
[ ]card_5__t37_card_5.vmin1out2024-08-03 10:20 6.1K 
[ ]card_5__t37_card_5.vout2024-08-03 07:51 7.6K 
[ ]card_5__t38_card_52024-07-27 22:49 24K 
[ ]card_5__t38_card_5.depv12024-08-03 10:19 290  
[ ]card_5__t38_card_5.depvmin12024-08-03 10:24 224  
[ ]card_5__t38_card_5.vmin12024-08-03 10:19 2.9K 
[ ]card_5__t38_card_5.vmin1out2024-08-03 10:20 50K 
[ ]card_5__t38_card_5.vout2024-08-03 07:08 50K 
[ ]card_5__t39_card_52024-07-27 22:50 18K 
[ ]card_5__t39_card_5.depv12024-08-03 10:19 84  
[ ]card_5__t39_card_5.depvmin12024-08-03 10:24 84  
[ ]card_5__t39_card_5.vmin12024-08-03 10:19 727  
[ ]card_5__t39_card_5.vmin1out2024-08-03 10:20 5.1K 
[ ]card_5__t39_card_5.vout2024-08-03 08:51 7.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80