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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_5__t39_card_5.vout2025-09-15 14:44 7.1K 
[ ]card_5__t39_card_5.vmin1out2025-09-15 19:47 5.1K 
[ ]card_5__t39_card_5.vmin12025-09-15 19:47 727  
[ ]card_5__t39_card_5.depvmin12025-09-15 19:51 84  
[ ]card_5__t39_card_5.depv12025-09-15 19:47 84  
[ ]card_5__t39_card_52025-09-08 14:30 18K 
[ ]card_5__t38_card_5.vout2025-09-15 17:42 50K 
[ ]card_5__t38_card_5.vmin1out2025-09-15 19:49 50K 
[ ]card_5__t38_card_5.vmin12025-09-15 19:47 2.9K 
[ ]card_5__t38_card_5.depvmin12025-09-15 19:51 224  
[ ]card_5__t38_card_5.depv12025-09-15 19:47 290  
[ ]card_5__t38_card_52025-09-08 14:29 24K 
[ ]card_5__t37_card_5.vout2025-09-15 14:18 7.6K 
[ ]card_5__t37_card_5.vmin1out2025-09-15 19:48 6.1K 
[ ]card_5__t37_card_5.vmin12025-09-15 19:47 557  
[ ]card_5__t37_card_5.depvmin12025-09-15 19:51 69  
[ ]card_5__t37_card_5.depv12025-09-15 19:47 69  
[ ]card_5__t37_card_52025-09-08 14:28 19K 
[ ]card_5__t36_card_5.vout2025-09-15 17:44 11K 
[ ]card_5__t36_card_5.vmin1out2025-09-15 19:50 9.5K 
[ ]card_5__t36_card_5.vmin12025-09-15 19:47 958  
[ ]card_5__t36_card_5.depvmin12025-09-15 19:51 118  
[ ]card_5__t36_card_5.depv12025-09-15 19:47 118  
[ ]card_5__t36_card_52025-09-08 14:26 18K 
[ ]card_5__t35_card_5.vout2025-09-15 17:59 7.3K 
[ ]card_5__t35_card_52025-09-08 14:25 37K 
[ ]card_5__t34_card_5.vout2025-09-15 17:07 7.3K 
[ ]card_5__t34_card_52025-09-08 14:23 36K 
[ ]card_5__t33_card_5.vout2025-09-15 16:58 3.7K 
[ ]card_5__t33_card_52025-09-08 14:21 32K 
[ ]card_5__t32_card_5.vout2025-09-15 17:52 7.3K 
[ ]card_5__t32_card_52025-09-08 14:19 37K 
[ ]card_5__t31_card_5.vout2025-09-15 19:29 7.3K 
[ ]card_5__t31_card_52025-09-08 14:17 20K 
[ ]card_5__t30_card_5.vout2025-09-15 18:32 2.0K 
[ ]card_5__t30_card_52025-09-08 13:42 13K 
[ ]card_5__t29_card_5.vout2025-09-15 19:42 7.3K 
[ ]card_5__t29_card_52025-09-08 14:15 30K 
[ ]card_5__t28_card_5.vout2025-09-15 13:31 19K 
[ ]card_5__t28_card_5.vmin1out2025-09-15 19:50 16K 
[ ]card_5__t28_card_5.vmin12025-09-15 19:47 1.6K 
[ ]card_5__t28_card_5.depvmin12025-09-15 19:51 146  
[ ]card_5__t28_card_5.depv12025-09-15 19:47 190  
[ ]card_5__t28_card_52025-09-08 14:14 17K 
[ ]card_5__t27_card_5.vout2025-09-15 15:33 26K 
[ ]card_5__t27_card_5.vmin1out2025-09-15 19:50 25K 
[ ]card_5__t27_card_5.vmin12025-09-15 19:47 2.0K 
[ ]card_5__t27_card_5.depvmin12025-09-15 19:51 186  
[ ]card_5__t27_card_5.depv12025-09-15 19:47 199  
[ ]card_5__t27_card_52025-09-08 14:12 20K 
[ ]card_5__t26_card_5.vout2025-09-15 15:08 6.8K 
[ ]card_5__t26_card_52025-09-08 14:11 23K 
[ ]card_5__t25_card_5.vout2025-09-15 16:31 7.3K 
[ ]card_5__t25_card_52025-09-08 14:10 26K 
[ ]card_5__t24_card_5.vout2025-09-15 15:26 19K 
[ ]card_5__t24_card_5.vmin1out2025-09-15 19:49 19K 
[ ]card_5__t24_card_5.vmin12025-09-15 19:47 1.4K 
[ ]card_5__t24_card_5.depvmin12025-09-15 19:51 143  
[ ]card_5__t24_card_5.depv12025-09-15 19:47 143  
[ ]card_5__t24_card_52025-09-08 14:08 19K 
[ ]card_5__t23_card_5.vout2025-09-15 16:29 7.3K 
[ ]card_5__t23_card_52025-09-08 14:07 37K 
[ ]card_5__t22_card_5.vout2025-09-15 13:37 8.3K 
[ ]card_5__t22_card_52025-09-08 14:06 24K 
[ ]card_5__t21_card_5.vout2025-09-15 16:16 3.1K 
[ ]card_5__t21_card_5.vmin1out2025-09-15 19:49 3.1K 
[ ]card_5__t21_card_5.vmin12025-09-15 19:47 298  
[ ]card_5__t21_card_5.depvmin12025-09-15 19:51 34  
[ ]card_5__t21_card_5.depv12025-09-15 19:47 34  
[ ]card_5__t21_card_52025-09-08 13:41 13K 
[ ]card_5__t20_card_5.vout2025-09-15 14:59 17K 
[ ]card_5__t20_card_5.vmin1out2025-09-15 19:51 20K 
[ ]card_5__t20_card_5.vmin12025-09-15 19:47 1.8K 
[ ]card_5__t20_card_5.depvmin12025-09-15 19:51 233  
[ ]card_5__t20_card_5.depv12025-09-15 19:47 233  
[ ]card_5__t20_card_52025-09-08 14:04 18K 
[ ]card_5__t19_card_5.vout2025-09-15 17:29 3.8K 
[ ]card_5__t19_card_5.vmin1out2025-09-15 19:51 4.2K 
[ ]card_5__t19_card_5.vmin12025-09-15 19:47 337  
[ ]card_5__t19_card_5.depvmin12025-09-15 19:51 33  
[ ]card_5__t19_card_5.depv12025-09-15 19:47 33  
[ ]card_5__t19_card_52025-09-08 13:40 13K 
[ ]card_5__t18_card_5.vout2025-09-15 14:35 23K 
[ ]card_5__t18_card_5.vmin1out2025-09-15 19:48 24K 
[ ]card_5__t18_card_5.vmin12025-09-15 19:47 1.8K 
[ ]card_5__t18_card_5.depvmin12025-09-15 19:51 196  
[ ]card_5__t18_card_5.depv12025-09-15 19:47 209  
[ ]card_5__t18_card_52025-09-08 14:03 19K 
[ ]card_5__t17_card_5.vout2025-09-15 18:58 15K 
[ ]card_5__t17_card_5.vmin1out2025-09-15 19:50 15K 
[ ]card_5__t17_card_5.vmin12025-09-15 19:47 1.3K 
[ ]card_5__t17_card_5.depvmin12025-09-15 19:51 160  
[ ]card_5__t17_card_5.depv12025-09-15 19:47 160  
[ ]card_5__t17_card_52025-09-08 14:02 18K 
[ ]card_5__t16_card_5.vout2025-09-15 17:27 27K 
[ ]card_5__t16_card_5.vmin1out2025-09-15 19:51 26K 
[ ]card_5__t16_card_5.vmin12025-09-15 19:47 2.2K 
[ ]card_5__t16_card_5.depvmin12025-09-15 19:51 315  
[ ]card_5__t16_card_5.depv12025-09-15 19:47 315  
[ ]card_5__t16_card_52025-09-08 14:01 18K 
[ ]card_5__t14_card_5.vout2025-09-15 14:22 3.0K 
[ ]card_5__t14_card_5.vmin1out2025-09-15 19:48 2.8K 
[ ]card_5__t14_card_5.vmin12025-09-15 19:47 342  
[ ]card_5__t14_card_5.depvmin12025-09-15 19:51 44  
[ ]card_5__t14_card_5.depv12025-09-15 19:47 44  
[ ]card_5__t14_card_52025-09-08 14:00 17K 
[ ]card_5__t13_card_5.vout2025-09-15 17:40 3.6K 
[ ]card_5__t13_card_52025-09-08 14:33 33K 
[ ]card_5__t12_card_5.vout2025-09-15 18:12 7.3K 
[ ]card_5__t12_card_52025-09-08 13:59 24K 
[ ]card_5__t11_card_5.vout2025-09-15 17:28 24K 
[ ]card_5__t11_card_5.vmin1out2025-09-15 19:50 23K 
[ ]card_5__t11_card_5.vmin12025-09-15 19:47 1.4K 
[ ]card_5__t11_card_5.depvmin12025-09-15 19:51 127  
[ ]card_5__t11_card_5.depv12025-09-15 19:47 127  
[ ]card_5__t11_card_52025-09-08 13:58 14K 
[ ]card_5__t10_card_5.vout2025-09-15 13:46 8.3K 
[ ]card_5__t10_card_52025-09-08 13:57 19K 
[ ]card_5__t9_card_5.vout2025-09-15 19:08 6.7K 
[ ]card_5__t9_card_52025-09-08 13:56 20K 
[ ]card_5__t8_card_5.vout2025-09-15 18:56 7.3K 
[ ]card_5__t8_card_52025-09-08 13:55 33K 
[ ]card_5__t7_card_5.vout2025-09-15 18:00 7.8K 
[ ]card_5__t7_card_52025-09-08 13:53 21K 
[ ]card_5__t6_card_5.vout2025-09-15 19:34 26K 
[ ]card_5__t6_card_5.vmin1out2025-09-15 19:48 26K 
[ ]card_5__t6_card_5.vmin12025-09-15 19:47 1.5K 
[ ]card_5__t6_card_5.depvmin12025-09-15 19:51 97  
[ ]card_5__t6_card_5.depv12025-09-15 19:47 97  
[ ]card_5__t6_card_52025-09-08 13:52 19K 
[ ]card_5__t5_card_5.vout2025-09-15 15:36 7.8K 
[ ]card_5__t5_card_52025-09-08 13:50 22K 
[ ]card_5__t4_card_5.vout2025-09-15 15:31 6.8K 
[ ]card_5__t4_card_52025-09-08 13:49 29K 
[ ]card_5__t3_card_5.vout2025-09-15 18:08 20K 
[ ]card_5__t3_card_5.vmin1out2025-09-15 19:50 14K 
[ ]card_5__t3_card_5.vmin12025-09-15 19:47 1.9K 
[ ]card_5__t3_card_5.depvmin12025-09-15 19:51 252  
[ ]card_5__t3_card_5.depv12025-09-15 19:47 289  
[ ]card_5__t3_card_52025-09-08 13:47 16K 
[ ]card_5__t2_card_5.vout2025-09-15 19:43 23K 
[ ]card_5__t2_card_5.vmin1out2025-09-15 19:48 20K 
[ ]card_5__t2_card_5.vmin12025-09-15 19:47 791  
[ ]card_5__t2_card_5.depvmin12025-09-15 19:51 41  
[ ]card_5__t2_card_5.depv12025-09-15 19:47 64  
[ ]card_5__t2_card_52025-09-08 13:46 15K 
[ ]card_5__t1_card_5.vout2025-09-15 15:11 12K 
[ ]card_5__t1_card_5.vmin1out2025-09-15 19:51 11K 
[ ]card_5__t1_card_5.vmin12025-09-15 19:47 435  
[ ]card_5__t1_card_5.depvmin12025-09-15 19:51 56  
[ ]card_5__t1_card_5.depv12025-09-15 19:47 56  
[ ]card_5__t1_card_52025-09-08 13:45 17K 
[ ]card_5__l42_card_5.vout2025-09-15 13:53 11K 
[ ]card_5__l42_card_5.vmin1out2025-09-15 19:48 11K 
[ ]card_5__l42_card_5.vmin12025-09-15 19:47 1.0K 
[ ]card_5__l42_card_5.depvmin12025-09-15 19:51 101  
[ ]card_5__l42_card_5.depv12025-09-15 19:47 101  
[ ]card_5__l42_card_52025-09-08 14:35 17K 
[ ]card_5__l12_card_5.vout2025-09-15 14:27 6.8K 
[ ]card_5__l12_card_52025-09-08 14:34 20K 
[ ]card_5__l2_card_5.vout2025-09-15 16:05 3.7K 
[ ]card_5__l2_card_5.vmin1out2025-09-15 19:50 3.6K 
[ ]card_5__l2_card_5.vmin12025-09-15 19:47 538  
[ ]card_5__l2_card_5.depvmin12025-09-15 19:51 93  
[ ]card_5__l2_card_5.depv12025-09-15 19:47 93  
[ ]card_5__l2_card_52025-09-08 13:44 14K 
[ ]card_5__l1_card_5.vout2025-09-15 14:16 4.1K 
[ ]card_5__l1_card_5.vmin1out2025-09-15 19:50 3.6K 
[ ]card_5__l1_card_5.vmin12025-09-15 19:47 538  
[ ]card_5__l1_card_5.depvmin12025-09-15 19:51 93  
[ ]card_5__l1_card_5.depv12025-09-15 19:47 93  
[ ]card_5__l1_card_52025-09-08 13:43 13K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80