Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/card_fil

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_fil__t1_card_fil2025-09-08 07:08 15K 
[ ]card_fil__t1_card_fil.depv12025-09-15 19:47 108  
[ ]card_fil__t1_card_fil.depvmin12025-09-15 19:52 108  
[ ]card_fil__t1_card_fil.vmin12025-09-15 19:47 844  
[ ]card_fil__t1_card_fil.vmin1out2025-09-15 19:50 6.7K 
[ ]card_fil__t1_card_fil.vout2025-09-15 19:35 13K 
[ ]card_fil__t2_card_fil2025-09-08 07:14 15K 
[ ]card_fil__t2_card_fil.vout2025-09-15 15:33 7.9K 
[ ]card_fil__t3_card_fil2025-09-08 07:09 15K 
[ ]card_fil__t3_card_fil.depv12025-09-15 19:47 92  
[ ]card_fil__t3_card_fil.depvmin12025-09-15 19:52 92  
[ ]card_fil__t3_card_fil.vmin12025-09-15 19:47 1.5K 
[ ]card_fil__t3_card_fil.vmin1out2025-09-15 19:48 52K 
[ ]card_fil__t3_card_fil.vout2025-09-15 16:46 48K 
[ ]card_fil__t4_card_fil2025-09-08 07:15 15K 
[ ]card_fil__t4_card_fil.depv12025-09-15 19:47 84  
[ ]card_fil__t4_card_fil.depvmin12025-09-15 19:52 84  
[ ]card_fil__t4_card_fil.vmin12025-09-15 19:47 1.4K 
[ ]card_fil__t4_card_fil.vmin1out2025-09-15 19:48 26K 
[ ]card_fil__t4_card_fil.vout2025-09-15 17:20 28K 
[ ]card_fil__t5_card_fil2025-09-08 07:16 15K 
[ ]card_fil__t5_card_fil.depv12025-09-15 19:47 126  
[ ]card_fil__t5_card_fil.depvmin12025-09-15 19:52 126  
[ ]card_fil__t5_card_fil.vmin12025-09-15 19:47 1.4K 
[ ]card_fil__t5_card_fil.vmin1out2025-09-15 19:51 16K 
[ ]card_fil__t5_card_fil.vout2025-09-15 14:29 18K 
[ ]card_fil__t6_card_fil2025-09-08 07:17 15K 
[ ]card_fil__t6_card_fil.depv12025-09-15 19:47 192  
[ ]card_fil__t6_card_fil.depvmin12025-09-15 19:52 179  
[ ]card_fil__t6_card_fil.vmin12025-09-15 19:47 1.8K 
[ ]card_fil__t6_card_fil.vmin1out2025-09-15 19:50 21K 
[ ]card_fil__t6_card_fil.vout2025-09-15 18:57 22K 
[ ]card_fil__t7_card_fil2025-09-08 07:18 18K 
[ ]card_fil__t7_card_fil.vout2025-09-15 16:26 6.8K 
[ ]card_fil__t8_card_fil2025-09-08 07:47 15K 
[ ]card_fil__t8_card_fil.vout2025-09-15 14:46 3.7K 
[ ]card_fil__t9_card_fil2025-09-08 07:48 15K 
[ ]card_fil__t9_card_fil.vout2025-09-15 19:25 3.7K 
[ ]card_fil__t10_card_fil2025-09-08 07:19 20K 
[ ]card_fil__t10_card_fil.depv12025-09-15 19:47 247  
[ ]card_fil__t10_card_fil.depvmin12025-09-15 19:52 199  
[ ]card_fil__t10_card_fil.vmin12025-09-15 19:47 2.9K 
[ ]card_fil__t10_card_fil.vmin1out2025-09-15 19:49 46K 
[ ]card_fil__t10_card_fil.vout2025-09-15 14:17 49K 
[ ]card_fil__t11_card_fil2025-09-08 07:20 16K 
[ ]card_fil__t11_card_fil.depv12025-09-15 19:47 172  
[ ]card_fil__t11_card_fil.depvmin12025-09-15 19:52 172  
[ ]card_fil__t11_card_fil.vmin12025-09-15 19:47 1.6K 
[ ]card_fil__t11_card_fil.vmin1out2025-09-15 19:49 20K 
[ ]card_fil__t11_card_fil.vout2025-09-15 15:31 21K 
[ ]card_fil__t12_card_fil2025-09-08 07:21 19K 
[ ]card_fil__t12_card_fil.vout2025-09-15 17:00 3.7K 
[ ]card_fil__t13_card_fil2025-09-08 07:22 16K 
[ ]card_fil__t13_card_fil.vout2025-09-15 19:11 3.7K 
[ ]card_fil__t14_card_fil2025-09-08 07:23 20K 
[ ]card_fil__t14_card_fil.vout2025-09-15 18:52 3.7K 
[ ]card_fil__t15_card_fil2025-09-08 07:24 14K 
[ ]card_fil__t15_card_fil.depv12025-09-15 19:47 143  
[ ]card_fil__t15_card_fil.depvmin12025-09-15 19:52 118  
[ ]card_fil__t15_card_fil.vmin12025-09-15 19:47 944  
[ ]card_fil__t15_card_fil.vmin1out2025-09-15 19:51 9.1K 
[ ]card_fil__t15_card_fil.vout2025-09-15 19:12 12K 
[ ]card_fil__t16_card_fil2025-09-08 07:25 17K 
[ ]card_fil__t16_card_fil.vout2025-09-15 17:44 3.7K 
[ ]card_fil__t17_card_fil2025-09-08 07:26 21K 
[ ]card_fil__t17_card_fil.vout2025-09-15 18:20 4.2K 
[ ]card_fil__t18_card_fil2025-09-08 07:27 15K 
[ ]card_fil__t18_card_fil.depv12025-09-15 19:47 129  
[ ]card_fil__t18_card_fil.depvmin12025-09-15 19:52 104  
[ ]card_fil__t18_card_fil.vmin12025-09-15 19:47 947  
[ ]card_fil__t18_card_fil.vmin1out2025-09-15 19:48 11K 
[ ]card_fil__t18_card_fil.vout2025-09-15 13:51 12K 
[ ]card_fil__t19_card_fil2025-09-08 07:28 17K 
[ ]card_fil__t19_card_fil.depv12025-09-15 19:47 241  
[ ]card_fil__t19_card_fil.depvmin12025-09-15 19:52 241  
[ ]card_fil__t19_card_fil.vmin12025-09-15 19:47 2.2K 
[ ]card_fil__t19_card_fil.vmin1out2025-09-15 19:49 28K 
[ ]card_fil__t19_card_fil.vout2025-09-15 19:26 30K 
[ ]card_fil__t20_card_fil2025-09-08 07:29 18K 
[ ]card_fil__t20_card_fil.vout2025-09-15 14:31 3.7K 
[ ]card_fil__t21_card_fil2025-09-08 07:29 15K 
[ ]card_fil__t21_card_fil.vout2025-09-15 14:05 4.2K 
[ ]card_fil__t22_card_fil2025-09-08 07:30 16K 
[ ]card_fil__t22_card_fil.depv12025-09-15 19:47 152  
[ ]card_fil__t22_card_fil.depvmin12025-09-15 19:52 152  
[ ]card_fil__t22_card_fil.vmin12025-09-15 19:47 1.7K 
[ ]card_fil__t22_card_fil.vmin1out2025-09-15 19:48 25K 
[ ]card_fil__t22_card_fil.vout2025-09-15 19:19 26K 
[ ]card_fil__t23_card_fil2025-09-08 07:32 23K 
[ ]card_fil__t23_card_fil.vout2025-09-15 16:30 4.2K 
[ ]card_fil__t24_card_fil2025-09-08 07:32 15K 
[ ]card_fil__t24_card_fil.depv12025-09-15 19:47 109  
[ ]card_fil__t24_card_fil.depvmin12025-09-15 19:52 109  
[ ]card_fil__t24_card_fil.vmin12025-09-15 19:47 883  
[ ]card_fil__t24_card_fil.vmin1out2025-09-15 19:48 10K 
[ ]card_fil__t24_card_fil.vout2025-09-15 17:14 10K 
[ ]card_fil__t25_card_fil2025-09-08 07:10 9.5K 
[ ]card_fil__t25_card_fil.vout2025-09-15 15:11 28K 
[ ]card_fil__t26_card_fil2025-09-08 07:33 15K 
[ ]card_fil__t26_card_fil.depv12025-09-15 19:47 193  
[ ]card_fil__t26_card_fil.depvmin12025-09-15 19:52 117  
[ ]card_fil__t26_card_fil.vmin12025-09-15 19:47 1.3K 
[ ]card_fil__t26_card_fil.vmin1out2025-09-15 19:48 10K 
[ ]card_fil__t26_card_fil.vout2025-09-15 17:32 25K 
[ ]card_fil__t27_card_fil2025-09-08 07:34 14K 
[ ]card_fil__t27_card_fil.vout2025-09-15 17:50 2.0K 
[ ]card_fil__t28_card_fil2025-09-08 07:35 16K 
[ ]card_fil__t28_card_fil.vout2025-09-15 16:53 2.0K 
[ ]card_fil__t29_card_fil2025-09-08 07:10 9.7K 
[ ]card_fil__t29_card_fil.vout2025-09-15 14:55 28K 
[ ]card_fil__t30_card_fil2025-09-08 07:11 9.5K 
[ ]card_fil__t30_card_fil.vout2025-09-15 14:44 27K 
[ ]card_fil__t31_card_fil2025-09-08 07:12 11K 
[ ]card_fil__t31_card_fil.vout2025-09-15 17:39 2.1K 
[ ]card_fil__t32_card_fil2025-09-08 07:36 16K 
[ ]card_fil__t32_card_fil.vout2025-09-15 15:08 7.3K 
[ ]card_fil__t33_card_fil2025-09-08 07:37 23K 
[ ]card_fil__t33_card_fil.vout2025-09-15 17:22 7.9K 
[ ]card_fil__t34_card_fil2025-09-08 07:39 37K 
[ ]card_fil__t34_card_fil.vout2025-09-15 14:35 4.2K 
[ ]card_fil__t35_card_fil2025-09-08 07:41 46K 
[ ]card_fil__t35_card_fil.vout2025-09-15 14:08 3.7K 
[ ]card_fil__t36_card_fil2025-09-08 07:42 20K 
[ ]card_fil__t36_card_fil.vout2025-09-15 17:07 7.3K 
[ ]card_fil__t37_card_fil2025-09-08 07:44 22K 
[ ]card_fil__t37_card_fil.vout2025-09-15 17:40 3.7K 
[ ]card_fil__t38_card_fil2025-09-08 07:44 15K 
[ ]card_fil__t38_card_fil.vout2025-09-15 15:35 2.0K 
[ ]card_fil__t39_card_fil2025-09-08 07:13 9.8K 
[ ]card_fil__t39_card_fil.vout2025-09-15 14:14 28K 
[ ]card_fil__t40_card_fil2025-09-08 07:46 38K 
[ ]card_fil__t40_card_fil.vout2025-09-15 17:18 5.9K 
[ ]card_fil__t41_card_fil2025-09-08 07:13 10K 
[ ]card_fil__t41_card_fil.vout2025-09-15 17:24 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80