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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_fil__t1_card_fil2021-07-18 05:58 15K 
[ ]card_fil__t1_card_fil.depv12021-07-25 20:57 108  
[ ]card_fil__t1_card_fil.depvmin12021-07-25 21:03 108  
[ ]card_fil__t1_card_fil.vmin12021-07-25 20:57 844  
[ ]card_fil__t1_card_fil.vmin1out2021-07-25 21:00 6.7K 
[ ]card_fil__t1_card_fil.vout2021-07-25 17:07 13K 
[ ]card_fil__t2_card_fil2021-07-18 05:59 15K 
[ ]card_fil__t2_card_fil.vout2021-07-25 19:36 7.9K 
[ ]card_fil__t3_card_fil2021-07-18 05:58 15K 
[ ]card_fil__t3_card_fil.depv12021-07-25 20:57 91  
[ ]card_fil__t3_card_fil.depvmin12021-07-25 21:03 91  
[ ]card_fil__t3_card_fil.vmin12021-07-25 20:57 1.5K 
[ ]card_fil__t3_card_fil.vmin1out2021-07-25 20:58 58K 
[ ]card_fil__t3_card_fil.vout2021-07-25 15:18 49K 
[ ]card_fil__t4_card_fil2021-07-18 06:00 15K 
[ ]card_fil__t4_card_fil.depv12021-07-25 20:57 84  
[ ]card_fil__t4_card_fil.depvmin12021-07-25 21:03 84  
[ ]card_fil__t4_card_fil.vmin12021-07-25 20:57 1.4K 
[ ]card_fil__t4_card_fil.vmin1out2021-07-25 20:58 26K 
[ ]card_fil__t4_card_fil.vout2021-07-25 16:42 28K 
[ ]card_fil__t5_card_fil2021-07-18 06:00 15K 
[ ]card_fil__t5_card_fil.depv12021-07-25 20:57 126  
[ ]card_fil__t5_card_fil.depvmin12021-07-25 21:03 126  
[ ]card_fil__t5_card_fil.vmin12021-07-25 20:57 1.4K 
[ ]card_fil__t5_card_fil.vmin1out2021-07-25 20:59 16K 
[ ]card_fil__t5_card_fil.vout2021-07-25 16:49 18K 
[ ]card_fil__t6_card_fil2021-07-18 06:00 15K 
[ ]card_fil__t6_card_fil.depv12021-07-25 20:57 192  
[ ]card_fil__t6_card_fil.depvmin12021-07-25 21:03 179  
[ ]card_fil__t6_card_fil.vmin12021-07-25 20:57 1.8K 
[ ]card_fil__t6_card_fil.vmin1out2021-07-25 20:59 21K 
[ ]card_fil__t6_card_fil.vout2021-07-25 17:51 22K 
[ ]card_fil__t7_card_fil2021-07-18 06:00 18K 
[ ]card_fil__t7_card_fil.vout2021-07-25 20:29 6.8K 
[ ]card_fil__t8_card_fil2021-07-18 06:09 15K 
[ ]card_fil__t8_card_fil.vout2021-07-25 18:30 3.7K 
[ ]card_fil__t9_card_fil2021-07-18 06:09 15K 
[ ]card_fil__t9_card_fil.vout2021-07-25 14:36 3.7K 
[ ]card_fil__t10_card_fil2021-07-18 06:01 20K 
[ ]card_fil__t10_card_fil.depv12021-07-25 20:57 311  
[ ]card_fil__t10_card_fil.depvmin12021-07-25 21:03 250  
[ ]card_fil__t10_card_fil.vmin12021-07-25 20:57 3.3K 
[ ]card_fil__t10_card_fil.vmin1out2021-07-25 21:01 47K 
[ ]card_fil__t10_card_fil.vout2021-07-25 14:42 63K 
[ ]card_fil__t11_card_fil2021-07-18 06:01 16K 
[ ]card_fil__t11_card_fil.depv12021-07-25 20:57 160  
[ ]card_fil__t11_card_fil.depvmin12021-07-25 21:03 147  
[ ]card_fil__t11_card_fil.vmin12021-07-25 20:57 1.6K 
[ ]card_fil__t11_card_fil.vmin1out2021-07-25 20:58 28K 
[ ]card_fil__t11_card_fil.vout2021-07-25 15:48 22K 
[ ]card_fil__t12_card_fil2021-07-18 06:01 19K 
[ ]card_fil__t12_card_fil.vout2021-07-25 16:25 4.2K 
[ ]card_fil__t13_card_fil2021-07-18 06:02 16K 
[ ]card_fil__t13_card_fil.vout2021-07-25 14:30 3.7K 
[ ]card_fil__t14_card_fil2021-07-18 06:02 20K 
[ ]card_fil__t14_card_fil.vout2021-07-25 14:25 3.7K 
[ ]card_fil__t15_card_fil2021-07-18 06:02 14K 
[ ]card_fil__t15_card_fil.depv12021-07-25 20:57 143  
[ ]card_fil__t15_card_fil.depvmin12021-07-25 21:03 118  
[ ]card_fil__t15_card_fil.vmin12021-07-25 20:57 944  
[ ]card_fil__t15_card_fil.vmin1out2021-07-25 21:00 9.1K 
[ ]card_fil__t15_card_fil.vout2021-07-25 19:59 12K 
[ ]card_fil__t16_card_fil2021-07-18 06:02 17K 
[ ]card_fil__t16_card_fil.vout2021-07-25 20:36 3.7K 
[ ]card_fil__t17_card_fil2021-07-18 06:03 21K 
[ ]card_fil__t17_card_fil.vout2021-07-25 17:24 4.2K 
[ ]card_fil__t18_card_fil2021-07-18 06:03 15K 
[ ]card_fil__t18_card_fil.depv12021-07-25 20:57 129  
[ ]card_fil__t18_card_fil.depvmin12021-07-25 21:03 104  
[ ]card_fil__t18_card_fil.vmin12021-07-25 20:57 947  
[ ]card_fil__t18_card_fil.vmin1out2021-07-25 20:58 11K 
[ ]card_fil__t18_card_fil.vout2021-07-25 17:44 12K 
[ ]card_fil__t19_card_fil2021-07-18 06:03 17K 
[ ]card_fil__t19_card_fil.depv12021-07-25 20:57 241  
[ ]card_fil__t19_card_fil.depvmin12021-07-25 21:03 241  
[ ]card_fil__t19_card_fil.vmin12021-07-25 20:57 2.2K 
[ ]card_fil__t19_card_fil.vmin1out2021-07-25 21:00 28K 
[ ]card_fil__t19_card_fil.vout2021-07-25 16:11 30K 
[ ]card_fil__t20_card_fil2021-07-18 06:04 18K 
[ ]card_fil__t20_card_fil.vout2021-07-25 18:52 3.7K 
[ ]card_fil__t21_card_fil2021-07-18 06:04 15K 
[ ]card_fil__t21_card_fil.vout2021-07-25 16:26 4.2K 
[ ]card_fil__t22_card_fil2021-07-18 06:04 16K 
[ ]card_fil__t22_card_fil.depv12021-07-25 20:57 152  
[ ]card_fil__t22_card_fil.depvmin12021-07-25 21:03 152  
[ ]card_fil__t22_card_fil.vmin12021-07-25 20:57 1.7K 
[ ]card_fil__t22_card_fil.vmin1out2021-07-25 20:59 25K 
[ ]card_fil__t22_card_fil.vout2021-07-25 19:01 26K 
[ ]card_fil__t23_card_fil2021-07-18 06:04 23K 
[ ]card_fil__t23_card_fil.vout2021-07-25 17:59 4.2K 
[ ]card_fil__t24_card_fil2021-07-18 06:05 15K 
[ ]card_fil__t24_card_fil.depv12021-07-25 20:57 109  
[ ]card_fil__t24_card_fil.depvmin12021-07-25 21:03 109  
[ ]card_fil__t24_card_fil.vmin12021-07-25 20:57 883  
[ ]card_fil__t24_card_fil.vmin1out2021-07-25 21:00 10K 
[ ]card_fil__t24_card_fil.vout2021-07-25 17:59 10K 
[ ]card_fil__t25_card_fil2021-07-18 05:58 9.5K 
[ ]card_fil__t25_card_fil.vout2021-07-25 20:19 28K 
[ ]card_fil__t26_card_fil2021-07-18 06:05 14K 
[ ]card_fil__t26_card_fil.depv12021-07-25 20:57 193  
[ ]card_fil__t26_card_fil.depvmin12021-07-25 21:03 117  
[ ]card_fil__t26_card_fil.vmin12021-07-25 20:57 1.3K 
[ ]card_fil__t26_card_fil.vmin1out2021-07-25 21:00 10K 
[ ]card_fil__t26_card_fil.vout2021-07-25 16:53 25K 
[ ]card_fil__t27_card_fil2021-07-18 06:05 14K 
[ ]card_fil__t27_card_fil.vout2021-07-25 16:07 2.0K 
[ ]card_fil__t28_card_fil2021-07-18 06:05 16K 
[ ]card_fil__t28_card_fil.vout2021-07-25 20:15 2.0K 
[ ]card_fil__t29_card_fil2021-07-18 05:58 9.7K 
[ ]card_fil__t29_card_fil.vout2021-07-25 15:01 28K 
[ ]card_fil__t30_card_fil2021-07-18 05:59 9.6K 
[ ]card_fil__t30_card_fil.vout2021-07-25 18:06 28K 
[ ]card_fil__t31_card_fil2021-07-18 05:59 11K 
[ ]card_fil__t31_card_fil.vout2021-07-25 17:44 2.0K 
[ ]card_fil__t32_card_fil2021-07-18 06:06 16K 
[ ]card_fil__t32_card_fil.vout2021-07-25 20:48 7.3K 
[ ]card_fil__t33_card_fil2021-07-18 06:06 23K 
[ ]card_fil__t33_card_fil.vout2021-07-25 17:10 7.9K 
[ ]card_fil__t34_card_fil2021-07-18 06:06 37K 
[ ]card_fil__t34_card_fil.vout2021-07-25 18:59 4.2K 
[ ]card_fil__t35_card_fil2021-07-18 06:07 46K 
[ ]card_fil__t35_card_fil.vout2021-07-25 14:51 3.7K 
[ ]card_fil__t36_card_fil2021-07-18 06:07 20K 
[ ]card_fil__t36_card_fil.vout2021-07-25 18:06 7.9K 
[ ]card_fil__t37_card_fil2021-07-18 06:08 22K 
[ ]card_fil__t37_card_fil.vout2021-07-25 15:20 3.7K 
[ ]card_fil__t38_card_fil2021-07-18 06:08 15K 
[ ]card_fil__t38_card_fil.vout2021-07-25 17:34 2.0K 
[ ]card_fil__t39_card_fil2021-07-18 05:59 9.8K 
[ ]card_fil__t39_card_fil.vout2021-07-25 16:39 28K 
[ ]card_fil__t40_card_fil2021-07-18 06:08 38K 
[ ]card_fil__t40_card_fil.vout2021-07-25 19:16 5.9K 
[ ]card_fil__t41_card_fil2021-07-18 05:59 10K 
[ ]card_fil__t41_card_fil.vout2021-07-25 15:38 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80