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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_fil__t1_card_fil2024-07-27 06:21 15K 
[ ]card_fil__t1_card_fil.depv12024-08-03 10:19 108  
[ ]card_fil__t1_card_fil.depvmin12024-08-03 10:24 108  
[ ]card_fil__t1_card_fil.vmin12024-08-03 10:20 844  
[ ]card_fil__t1_card_fil.vmin1out2024-08-03 10:23 6.7K 
[ ]card_fil__t1_card_fil.vout2024-08-03 06:54 13K 
[ ]card_fil__t2_card_fil2024-07-27 06:27 15K 
[ ]card_fil__t2_card_fil.vout2024-08-03 06:34 7.9K 
[ ]card_fil__t3_card_fil2024-07-27 06:22 15K 
[ ]card_fil__t3_card_fil.depv12024-08-03 10:19 128  
[ ]card_fil__t3_card_fil.depvmin12024-08-03 10:24 72  
[ ]card_fil__t3_card_fil.vmin12024-08-03 10:20 1.7K 
[ ]card_fil__t3_card_fil.vmin1out2024-08-03 10:20 81K 
[ ]card_fil__t3_card_fil.vout2024-08-03 09:42 51K 
[ ]card_fil__t4_card_fil2024-07-27 06:28 15K 
[ ]card_fil__t4_card_fil.depv12024-08-03 10:19 84  
[ ]card_fil__t4_card_fil.depvmin12024-08-03 10:24 84  
[ ]card_fil__t4_card_fil.vmin12024-08-03 10:20 1.4K 
[ ]card_fil__t4_card_fil.vmin1out2024-08-03 10:23 26K 
[ ]card_fil__t4_card_fil.vout2024-08-03 04:58 28K 
[ ]card_fil__t5_card_fil2024-07-27 06:29 15K 
[ ]card_fil__t5_card_fil.depv12024-08-03 10:19 126  
[ ]card_fil__t5_card_fil.depvmin12024-08-03 10:24 126  
[ ]card_fil__t5_card_fil.vmin12024-08-03 10:20 1.4K 
[ ]card_fil__t5_card_fil.vmin1out2024-08-03 10:20 16K 
[ ]card_fil__t5_card_fil.vout2024-08-03 08:54 18K 
[ ]card_fil__t6_card_fil2024-07-27 06:30 15K 
[ ]card_fil__t6_card_fil.depv12024-08-03 10:19 192  
[ ]card_fil__t6_card_fil.depvmin12024-08-03 10:24 179  
[ ]card_fil__t6_card_fil.vmin12024-08-03 10:20 1.8K 
[ ]card_fil__t6_card_fil.vmin1out2024-08-03 10:23 21K 
[ ]card_fil__t6_card_fil.vout2024-08-03 07:46 22K 
[ ]card_fil__t7_card_fil2024-07-27 06:31 18K 
[ ]card_fil__t7_card_fil.vout2024-08-03 09:52 6.8K 
[ ]card_fil__t8_card_fil2024-07-27 06:59 15K 
[ ]card_fil__t8_card_fil.vout2024-08-03 09:58 3.7K 
[ ]card_fil__t9_card_fil2024-07-27 07:00 15K 
[ ]card_fil__t9_card_fil.vout2024-08-03 05:49 3.7K 
[ ]card_fil__t10_card_fil2024-07-27 06:32 20K 
[ ]card_fil__t10_card_fil.depv12024-08-03 10:19 247  
[ ]card_fil__t10_card_fil.depvmin12024-08-03 10:24 199  
[ ]card_fil__t10_card_fil.vmin12024-08-03 10:20 2.9K 
[ ]card_fil__t10_card_fil.vmin1out2024-08-03 10:20 46K 
[ ]card_fil__t10_card_fil.vout2024-08-03 07:42 49K 
[ ]card_fil__t11_card_fil2024-07-27 06:33 16K 
[ ]card_fil__t11_card_fil.depv12024-08-03 10:19 172  
[ ]card_fil__t11_card_fil.depvmin12024-08-03 10:24 172  
[ ]card_fil__t11_card_fil.vmin12024-08-03 10:20 1.6K 
[ ]card_fil__t11_card_fil.vmin1out2024-08-03 10:22 20K 
[ ]card_fil__t11_card_fil.vout2024-08-03 04:24 21K 
[ ]card_fil__t12_card_fil2024-07-27 06:34 19K 
[ ]card_fil__t12_card_fil.vout2024-08-03 04:34 3.7K 
[ ]card_fil__t13_card_fil2024-07-27 06:35 16K 
[ ]card_fil__t13_card_fil.vout2024-08-03 05:14 3.7K 
[ ]card_fil__t14_card_fil2024-07-27 06:36 20K 
[ ]card_fil__t14_card_fil.vout2024-08-03 05:32 3.7K 
[ ]card_fil__t15_card_fil2024-07-27 06:36 14K 
[ ]card_fil__t15_card_fil.depv12024-08-03 10:19 143  
[ ]card_fil__t15_card_fil.depvmin12024-08-03 10:24 118  
[ ]card_fil__t15_card_fil.vmin12024-08-03 10:20 944  
[ ]card_fil__t15_card_fil.vmin1out2024-08-03 10:20 9.1K 
[ ]card_fil__t15_card_fil.vout2024-08-03 04:36 12K 
[ ]card_fil__t16_card_fil2024-07-27 06:37 17K 
[ ]card_fil__t16_card_fil.vout2024-08-03 05:26 3.7K 
[ ]card_fil__t17_card_fil2024-07-27 06:39 21K 
[ ]card_fil__t17_card_fil.vout2024-08-03 04:35 4.2K 
[ ]card_fil__t18_card_fil2024-07-27 06:39 15K 
[ ]card_fil__t18_card_fil.depv12024-08-03 10:19 129  
[ ]card_fil__t18_card_fil.depvmin12024-08-03 10:24 104  
[ ]card_fil__t18_card_fil.vmin12024-08-03 10:20 947  
[ ]card_fil__t18_card_fil.vmin1out2024-08-03 10:23 11K 
[ ]card_fil__t18_card_fil.vout2024-08-03 10:13 12K 
[ ]card_fil__t19_card_fil2024-07-27 06:40 17K 
[ ]card_fil__t19_card_fil.depv12024-08-03 10:19 241  
[ ]card_fil__t19_card_fil.depvmin12024-08-03 10:24 241  
[ ]card_fil__t19_card_fil.vmin12024-08-03 10:20 2.2K 
[ ]card_fil__t19_card_fil.vmin1out2024-08-03 10:22 28K 
[ ]card_fil__t19_card_fil.vout2024-08-03 07:46 30K 
[ ]card_fil__t20_card_fil2024-07-27 06:41 18K 
[ ]card_fil__t20_card_fil.vout2024-08-03 10:12 3.7K 
[ ]card_fil__t21_card_fil2024-07-27 06:42 15K 
[ ]card_fil__t21_card_fil.vout2024-08-03 08:31 4.2K 
[ ]card_fil__t22_card_fil2024-07-27 06:43 16K 
[ ]card_fil__t22_card_fil.depv12024-08-03 10:19 152  
[ ]card_fil__t22_card_fil.depvmin12024-08-03 10:24 152  
[ ]card_fil__t22_card_fil.vmin12024-08-03 10:20 1.7K 
[ ]card_fil__t22_card_fil.vmin1out2024-08-03 10:20 25K 
[ ]card_fil__t22_card_fil.vout2024-08-03 05:00 26K 
[ ]card_fil__t23_card_fil2024-07-27 06:44 23K 
[ ]card_fil__t23_card_fil.vout2024-08-03 06:36 4.2K 
[ ]card_fil__t24_card_fil2024-07-27 06:45 15K 
[ ]card_fil__t24_card_fil.depv12024-08-03 10:19 109  
[ ]card_fil__t24_card_fil.depvmin12024-08-03 10:24 109  
[ ]card_fil__t24_card_fil.vmin12024-08-03 10:20 883  
[ ]card_fil__t24_card_fil.vmin1out2024-08-03 10:21 10K 
[ ]card_fil__t24_card_fil.vout2024-08-03 05:55 10K 
[ ]card_fil__t25_card_fil2024-07-27 06:23 9.5K 
[ ]card_fil__t25_card_fil.vout2024-08-03 07:49 28K 
[ ]card_fil__t26_card_fil2024-07-27 06:46 15K 
[ ]card_fil__t26_card_fil.depv12024-08-03 10:19 193  
[ ]card_fil__t26_card_fil.depvmin12024-08-03 10:24 117  
[ ]card_fil__t26_card_fil.vmin12024-08-03 10:20 1.3K 
[ ]card_fil__t26_card_fil.vmin1out2024-08-03 10:20 10K 
[ ]card_fil__t26_card_fil.vout2024-08-03 08:57 25K 
[ ]card_fil__t27_card_fil2024-07-27 06:46 14K 
[ ]card_fil__t27_card_fil.vout2024-08-03 05:31 2.0K 
[ ]card_fil__t28_card_fil2024-07-27 06:47 16K 
[ ]card_fil__t28_card_fil.vout2024-08-03 09:05 2.0K 
[ ]card_fil__t29_card_fil2024-07-27 06:23 9.7K 
[ ]card_fil__t29_card_fil.vout2024-08-03 06:19 28K 
[ ]card_fil__t30_card_fil2024-07-27 06:24 9.5K 
[ ]card_fil__t30_card_fil.vout2024-08-03 07:13 27K 
[ ]card_fil__t31_card_fil2024-07-27 06:25 11K 
[ ]card_fil__t31_card_fil.vout2024-08-03 07:01 2.0K 
[ ]card_fil__t32_card_fil2024-07-27 06:48 16K 
[ ]card_fil__t32_card_fil.vout2024-08-03 09:51 7.3K 
[ ]card_fil__t33_card_fil2024-07-27 06:49 23K 
[ ]card_fil__t33_card_fil.vout2024-08-03 07:57 7.9K 
[ ]card_fil__t34_card_fil2024-07-27 06:51 37K 
[ ]card_fil__t34_card_fil.vout2024-08-03 06:58 4.2K 
[ ]card_fil__t35_card_fil2024-07-27 06:53 46K 
[ ]card_fil__t35_card_fil.vout2024-08-03 04:40 3.7K 
[ ]card_fil__t36_card_fil2024-07-27 06:54 20K 
[ ]card_fil__t36_card_fil.vout2024-08-03 04:38 7.4K 
[ ]card_fil__t37_card_fil2024-07-27 06:55 22K 
[ ]card_fil__t37_card_fil.vout2024-08-03 07:37 3.7K 
[ ]card_fil__t38_card_fil2024-07-27 06:56 15K 
[ ]card_fil__t38_card_fil.vout2024-08-03 06:19 2.0K 
[ ]card_fil__t39_card_fil2024-07-27 06:26 9.8K 
[ ]card_fil__t39_card_fil.vout2024-08-03 06:43 28K 
[ ]card_fil__t40_card_fil2024-07-27 06:58 38K 
[ ]card_fil__t40_card_fil.vout2024-08-03 06:45 5.9K 
[ ]card_fil__t41_card_fil2024-07-27 06:26 10K 
[ ]card_fil__t41_card_fil.vout2024-08-03 08:05 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80