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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_lar__t1_card_lar2025-09-08 10:35 11K 
[ ]card_lar__t1_card_lar.vout2025-09-15 18:36 7.3K 
[ ]card_lar__t2_card_lar2025-09-08 10:33 9.7K 
[ ]card_lar__t2_card_lar.depv12025-09-15 19:47 81  
[ ]card_lar__t2_card_lar.depvmin12025-09-15 19:52 81  
[ ]card_lar__t2_card_lar.vmin12025-09-15 19:47 783  
[ ]card_lar__t2_card_lar.vmin1out2025-09-15 19:51 7.3K 
[ ]card_lar__t2_card_lar.vout2025-09-15 18:07 10K 
[ ]card_lar__t3_card_lar2025-09-08 10:36 12K 
[ ]card_lar__t3_card_lar.vout2025-09-15 14:46 6.8K 
[ ]card_lar__t4_card_lar2025-09-08 10:37 11K 
[ ]card_lar__t4_card_lar.vout2025-09-15 19:43 7.9K 
[ ]card_lar__t5_card_lar2025-09-08 10:37 11K 
[ ]card_lar__t5_card_lar.vout2025-09-15 15:45 7.3K 
[ ]card_lar__t6_card_lar2025-09-08 10:38 10K 
[ ]card_lar__t6_card_lar.vout2025-09-15 19:11 7.3K 
[ ]card_lar__t7_card_lar2025-09-08 10:39 10K 
[ ]card_lar__t7_card_lar.depv12025-09-15 19:47 167  
[ ]card_lar__t7_card_lar.depvmin12025-09-15 19:52 154  
[ ]card_lar__t7_card_lar.vmin12025-09-15 19:47 1.7K 
[ ]card_lar__t7_card_lar.vmin1out2025-09-15 19:47 15K 
[ ]card_lar__t7_card_lar.vout2025-09-15 16:58 16K 
[ ]card_lar__t8_card_lar2025-09-08 11:08 11K 
[ ]card_lar__t8_card_lar.depv12025-09-15 19:47 143  
[ ]card_lar__t8_card_lar.depvmin12025-09-15 19:52 120  
[ ]card_lar__t8_card_lar.vmin12025-09-15 19:47 1.8K 
[ ]card_lar__t8_card_lar.vmin1out2025-09-15 19:48 18K 
[ ]card_lar__t8_card_lar.vout2025-09-15 14:40 26K 
[ ]card_lar__t9_card_lar2025-09-08 10:40 12K 
[ ]card_lar__t9_card_lar.vout2025-09-15 15:00 3.7K 
[ ]card_lar__t10_card_lar2025-09-08 10:34 9.6K 
[ ]card_lar__t10_card_lar.vout2025-09-15 17:42 2.0K 
[ ]card_lar__t11_card_lar2025-09-08 10:41 14K 
[ ]card_lar__t11_card_lar.vout2025-09-15 14:14 6.8K 
[ ]card_lar__t12_card_lar2025-09-08 10:42 11K 
[ ]card_lar__t12_card_lar.depv12025-09-15 19:47 116  
[ ]card_lar__t12_card_lar.depvmin12025-09-15 19:52 116  
[ ]card_lar__t12_card_lar.vmin12025-09-15 19:47 1.1K 
[ ]card_lar__t12_card_lar.vmin1out2025-09-15 19:49 11K 
[ ]card_lar__t12_card_lar.vout2025-09-15 15:47 11K 
[ ]card_lar__t13_card_lar2025-09-08 10:43 11K 
[ ]card_lar__t13_card_lar.depv12025-09-15 19:47 180  
[ ]card_lar__t13_card_lar.depvmin12025-09-15 19:52 180  
[ ]card_lar__t13_card_lar.vmin12025-09-15 19:47 1.6K 
[ ]card_lar__t13_card_lar.vmin1out2025-09-15 19:48 29K 
[ ]card_lar__t13_card_lar.vout2025-09-15 15:49 30K 
[ ]card_lar__t14_card_lar2025-09-08 10:43 11K 
[ ]card_lar__t14_card_lar.vout2025-09-15 16:45 7.9K 
[ ]card_lar__t15_card_lar2025-09-08 10:44 12K 
[ ]card_lar__t15_card_lar.vout2025-09-15 18:15 7.3K 
[ ]card_lar__t16_card_lar2025-09-08 10:45 14K 
[ ]card_lar__t16_card_lar.vout2025-09-15 13:50 6.8K 
[ ]card_lar__t17_card_lar2025-09-08 10:46 13K 
[ ]card_lar__t17_card_lar.depv12025-09-15 19:47 140  
[ ]card_lar__t17_card_lar.depvmin12025-09-15 19:52 140  
[ ]card_lar__t17_card_lar.vmin12025-09-15 19:47 1.3K 
[ ]card_lar__t17_card_lar.vmin1out2025-09-15 19:48 12K 
[ ]card_lar__t17_card_lar.vout2025-09-15 18:37 17K 
[ ]card_lar__t18_card_lar2025-09-08 10:47 14K 
[ ]card_lar__t18_card_lar.vout2025-09-15 18:10 7.3K 
[ ]card_lar__t19_card_lar2025-09-08 11:09 16K 
[ ]card_lar__t19_card_lar.vout2025-09-15 15:04 6.8K 
[ ]card_lar__t20_card_lar2025-09-08 10:48 12K 
[ ]card_lar__t20_card_lar.vout2025-09-15 19:29 7.9K 
[ ]card_lar__t21_card_lar2025-09-08 10:49 13K 
[ ]card_lar__t21_card_lar.vout2025-09-15 19:03 6.8K 
[ ]card_lar__t22_card_lar2025-09-08 10:50 16K 
[ ]card_lar__t22_card_lar.vout2025-09-15 15:16 6.8K 
[ ]card_lar__t23_card_lar2025-09-08 10:52 29K 
[ ]card_lar__t23_card_lar.vout2025-09-15 15:12 3.7K 
[ ]card_lar__t24_card_lar2025-09-08 10:53 23K 
[ ]card_lar__t24_card_lar.vout2025-09-15 14:02 3.7K 
[ ]card_lar__t25_card_lar2025-09-08 10:54 13K 
[ ]card_lar__t25_card_lar.depv12025-09-15 19:47 125  
[ ]card_lar__t25_card_lar.depvmin12025-09-15 19:52 125  
[ ]card_lar__t25_card_lar.vmin12025-09-15 19:47 1.7K 
[ ]card_lar__t25_card_lar.vmin1out2025-09-15 19:51 29K 
[ ]card_lar__t25_card_lar.vout2025-09-15 14:54 30K 
[ ]card_lar__t26_card_lar2025-09-08 10:55 12K 
[ ]card_lar__t26_card_lar.vout2025-09-15 17:01 7.4K 
[ ]card_lar__t27_card_lar2025-09-08 10:56 23K 
[ ]card_lar__t27_card_lar.vout2025-09-15 16:11 5.3K 
[ ]card_lar__t28_card_lar2025-09-08 10:57 14K 
[ ]card_lar__t28_card_lar.vout2025-09-15 13:55 7.4K 
[ ]card_lar__t29_card_lar2025-09-08 10:58 9.0K 
[ ]card_lar__t29_card_lar.depv12025-09-15 19:47 76  
[ ]card_lar__t29_card_lar.depvmin12025-09-15 19:52 76  
[ ]card_lar__t29_card_lar.vmin12025-09-15 19:47 834  
[ ]card_lar__t29_card_lar.vmin1out2025-09-15 19:49 7.7K 
[ ]card_lar__t29_card_lar.vout2025-09-15 14:58 7.0K 
[ ]card_lar__t30_card_lar2025-09-08 10:59 15K 
[ ]card_lar__t30_card_lar.vout2025-09-15 15:58 7.3K 
[ ]card_lar__t31_card_lar2025-09-08 11:00 9.6K 
[ ]card_lar__t31_card_lar.depv12025-09-15 19:47 76  
[ ]card_lar__t31_card_lar.depvmin12025-09-15 19:52 76  
[ ]card_lar__t31_card_lar.vmin12025-09-15 19:47 810  
[ ]card_lar__t31_card_lar.vmin1out2025-09-15 19:48 8.1K 
[ ]card_lar__t31_card_lar.vout2025-09-15 17:55 7.3K 
[ ]card_lar__t32_card_lar2025-09-08 11:01 12K 
[ ]card_lar__t32_card_lar.vout2025-09-15 14:45 7.3K 
[ ]card_lar__t33_card_lar2025-09-08 11:02 15K 
[ ]card_lar__t33_card_lar.vout2025-09-15 19:32 7.3K 
[ ]card_lar__t34_card_lar2025-09-08 11:03 18K 
[ ]card_lar__t34_card_lar.vout2025-09-15 15:05 6.8K 
[ ]card_lar__t35_card_lar2025-09-08 11:04 15K 
[ ]card_lar__t35_card_lar.vout2025-09-15 14:35 7.3K 
[ ]card_lar__t36_card_lar2025-09-08 11:05 18K 
[ ]card_lar__t36_card_lar.vout2025-09-15 17:47 5.3K 
[ ]card_lar__t37_card_lar2025-09-08 11:06 11K 
[ ]card_lar__t37_card_lar.depv12025-09-15 19:47 99  
[ ]card_lar__t37_card_lar.depvmin12025-09-15 19:52 89  
[ ]card_lar__t37_card_lar.vmin12025-09-15 19:47 839  
[ ]card_lar__t37_card_lar.vmin1out2025-09-15 19:49 6.4K 
[ ]card_lar__t37_card_lar.vout2025-09-15 18:49 8.6K 
[ ]card_lar__t38_card_lar2025-09-08 11:07 10K 
[ ]card_lar__t38_card_lar.depv12025-09-15 19:47 98  
[ ]card_lar__t38_card_lar.depvmin12025-09-15 19:52 98  
[ ]card_lar__t38_card_lar.vmin12025-09-15 19:47 905  
[ ]card_lar__t38_card_lar.vmin1out2025-09-15 19:47 8.6K 
[ ]card_lar__t38_card_lar.vout2025-09-15 14:02 8.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80