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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goedelcp__l24_goedelcp2024-07-28 14:07 20K 
[ ]goedelcp__l24_goedelcp.vout2024-08-03 04:29 7.9K 
[ ]goedelcp__t1_goedelcp2024-07-28 13:16 13K 
[ ]goedelcp__t1_goedelcp.vout2024-08-03 05:48 2.0K 
[ ]goedelcp__t2_goedelcp2024-07-28 13:21 49K 
[ ]goedelcp__t2_goedelcp.vout2024-08-03 08:31 4.7K 
[ ]goedelcp__t3_goedelcp2024-07-28 13:23 34K 
[ ]goedelcp__t3_goedelcp.vout2024-08-03 05:24 7.3K 
[ ]goedelcp__t4_goedelcp2024-07-28 13:18 22K 
[ ]goedelcp__t4_goedelcp.vout2024-08-03 05:55 2.0K 
[ ]goedelcp__t5_goedelcp2024-07-28 13:24 28K 
[ ]goedelcp__t5_goedelcp.vout2024-08-03 09:41 4.7K 
[ ]goedelcp__t6_goedelcp2024-07-28 13:25 32K 
[ ]goedelcp__t6_goedelcp.vout2024-08-03 07:47 7.3K 
[ ]goedelcp__t7_goedelcp2024-07-28 13:19 22K 
[ ]goedelcp__t7_goedelcp.depv12024-08-03 10:19 82  
[ ]goedelcp__t7_goedelcp.depvmin12024-08-03 10:24 82  
[ ]goedelcp__t7_goedelcp.vmin12024-08-03 10:19 2.0K 
[ ]goedelcp__t7_goedelcp.vmin1out2024-08-03 10:22 43K 
[ ]goedelcp__t7_goedelcp.vout2024-08-03 06:44 42K 
[ ]goedelcp__t8_goedelcp2024-07-28 13:27 31K 
[ ]goedelcp__t8_goedelcp.vout2024-08-03 04:54 2.0K 
[ ]goedelcp__t9_goedelcp2024-07-28 13:28 25K 
[ ]goedelcp__t9_goedelcp.vout2024-08-03 07:39 2.0K 
[ ]goedelcp__t10_goedelcp2024-07-28 13:30 29K 
[ ]goedelcp__t10_goedelcp.vout2024-08-03 04:14 7.3K 
[ ]goedelcp__t11_goedelcp2024-07-28 13:31 25K 
[ ]goedelcp__t11_goedelcp.vout2024-08-03 09:03 2.0K 
[ ]goedelcp__t12_goedelcp2024-07-28 13:32 30K 
[ ]goedelcp__t12_goedelcp.vout2024-08-03 07:56 7.3K 
[ ]goedelcp__t13_goedelcp2024-07-28 13:33 21K 
[ ]goedelcp__t13_goedelcp.vout2024-08-03 06:22 2.0K 
[ ]goedelcp__t14_goedelcp2024-07-28 13:34 16K 
[ ]goedelcp__t14_goedelcp.vout2024-08-03 10:07 2.0K 
[ ]goedelcp__t15_goedelcp2024-07-28 13:36 45K 
[ ]goedelcp__t15_goedelcp.vout2024-08-03 06:50 4.7K 
[ ]goedelcp__t16_goedelcp2024-07-28 13:38 55K 
[ ]goedelcp__t16_goedelcp.vout2024-08-03 07:58 6.8K 
[ ]goedelcp__t17_goedelcp2024-07-28 13:39 27K 
[ ]goedelcp__t17_goedelcp.vout2024-08-03 05:53 2.0K 
[ ]goedelcp__t18_goedelcp2024-07-28 13:41 29K 
[ ]goedelcp__t18_goedelcp.depv12024-08-03 10:19 155  
[ ]goedelcp__t18_goedelcp.depvmin12024-08-03 10:24 155  
[ ]goedelcp__t18_goedelcp.vmin12024-08-03 10:19 2.4K 
[ ]goedelcp__t18_goedelcp.vmin1out2024-08-03 10:20 24K 
[ ]goedelcp__t18_goedelcp.vout2024-08-03 07:18 25K 
[ ]goedelcp__t19_goedelcp2024-07-28 13:42 12K 
[ ]goedelcp__t19_goedelcp.depv12024-08-03 10:19 52  
[ ]goedelcp__t19_goedelcp.depvmin12024-08-03 10:24 52  
[ ]goedelcp__t19_goedelcp.vmin12024-08-03 10:19 459  
[ ]goedelcp__t19_goedelcp.vmin1out2024-08-03 10:20 3.9K 
[ ]goedelcp__t19_goedelcp.vout2024-08-03 07:31 3.9K 
[ ]goedelcp__t20_goedelcp2024-07-28 13:43 14K 
[ ]goedelcp__t20_goedelcp.depv12024-08-03 10:19 129  
[ ]goedelcp__t20_goedelcp.depvmin12024-08-03 10:24 129  
[ ]goedelcp__t20_goedelcp.vmin12024-08-03 10:19 1.3K 
[ ]goedelcp__t20_goedelcp.vmin1out2024-08-03 10:20 18K 
[ ]goedelcp__t20_goedelcp.vout2024-08-03 05:26 18K 
[ ]goedelcp__t21_goedelcp2024-07-28 13:44 33K 
[ ]goedelcp__t21_goedelcp.vout2024-08-03 09:05 7.3K 
[ ]goedelcp__t22_goedelcp2024-07-28 13:45 14K 
[ ]goedelcp__t22_goedelcp.vout2024-08-03 06:09 7.9K 
[ ]goedelcp__t23_goedelcp2024-07-28 13:46 28K 
[ ]goedelcp__t23_goedelcp.depv12024-08-03 10:19 235  
[ ]goedelcp__t23_goedelcp.depvmin12024-08-03 10:24 235  
[ ]goedelcp__t23_goedelcp.vmin12024-08-03 10:19 2.2K 
[ ]goedelcp__t23_goedelcp.vmin1out2024-08-03 10:21 22K 
[ ]goedelcp__t23_goedelcp.vout2024-08-03 07:25 21K 
[ ]goedelcp__t24_goedelcp2024-07-28 13:20 14K 
[ ]goedelcp__t24_goedelcp.depv12024-08-03 10:19 148  
[ ]goedelcp__t24_goedelcp.depvmin12024-08-03 10:24 148  
[ ]goedelcp__t24_goedelcp.vmin12024-08-03 10:19 1.7K 
[ ]goedelcp__t24_goedelcp.vmin1out2024-08-03 10:21 22K 
[ ]goedelcp__t24_goedelcp.vout2024-08-03 04:35 17K 
[ ]goedelcp__t25_goedelcp2024-07-28 13:47 30K 
[ ]goedelcp__t25_goedelcp.vout2024-08-03 08:58 4.7K 
[ ]goedelcp__t26_goedelcp2024-07-28 13:48 15K 
[ ]goedelcp__t26_goedelcp.vout2024-08-03 05:25 7.3K 
[ ]goedelcp__t27_goedelcp2024-07-28 13:49 16K 
[ ]goedelcp__t27_goedelcp.vout2024-08-03 10:09 3.7K 
[ ]goedelcp__t28_goedelcp2024-07-28 13:50 13K 
[ ]goedelcp__t28_goedelcp.depv12024-08-03 10:19 201  
[ ]goedelcp__t28_goedelcp.depvmin12024-08-03 10:24 191  
[ ]goedelcp__t28_goedelcp.vmin12024-08-03 10:19 1.9K 
[ ]goedelcp__t28_goedelcp.vmin1out2024-08-03 10:22 25K 
[ ]goedelcp__t28_goedelcp.vout2024-08-03 07:17 23K 
[ ]goedelcp__t29_goedelcp2024-07-28 13:51 14K 
[ ]goedelcp__t29_goedelcp.vout2024-08-03 10:01 4.2K 
[ ]goedelcp__t30_goedelcp2024-07-28 13:52 25K 
[ ]goedelcp__t30_goedelcp.vout2024-08-03 09:03 7.3K 
[ ]goedelcp__t31_goedelcp2024-07-28 13:56 95K 
[ ]goedelcp__t31_goedelcp.vout2024-08-03 06:41 3.7K 
[ ]goedelcp__t32_goedelcp2024-07-28 13:58 27K 
[ ]goedelcp__t32_goedelcp.vout2024-08-03 07:15 7.4K 
[ ]goedelcp__t33_goedelcp2024-07-28 14:00 39K 
[ ]goedelcp__t33_goedelcp.vout2024-08-03 05:58 6.8K 
[ ]goedelcp__t34_goedelcp2024-07-28 14:01 24K 
[ ]goedelcp__t34_goedelcp.vout2024-08-03 05:20 4.2K 
[ ]goedelcp__t35_goedelcp2024-07-28 14:02 21K 
[ ]goedelcp__t35_goedelcp.depv12024-08-03 10:19 105  
[ ]goedelcp__t35_goedelcp.depvmin12024-08-03 10:24 105  
[ ]goedelcp__t35_goedelcp.vmin12024-08-03 10:19 1.5K 
[ ]goedelcp__t35_goedelcp.vmin1out2024-08-03 10:20 25K 
[ ]goedelcp__t35_goedelcp.vout2024-08-03 09:20 21K 
[ ]goedelcp__t36_goedelcp2024-07-28 14:03 16K 
[ ]goedelcp__t36_goedelcp.depv12024-08-03 10:19 280  
[ ]goedelcp__t36_goedelcp.depvmin12024-08-03 10:24 254  
[ ]goedelcp__t36_goedelcp.vmin12024-08-03 10:19 2.6K 
[ ]goedelcp__t36_goedelcp.vmin1out2024-08-03 10:23 23K 
[ ]goedelcp__t36_goedelcp.vout2024-08-03 04:43 27K 
[ ]goedelcp__t37_goedelcp2024-07-28 14:04 25K 
[ ]goedelcp__t37_goedelcp.vout2024-08-03 06:45 6.8K 
[ ]goedelcp__t38_goedelcp2024-07-28 14:06 26K 
[ ]goedelcp__t38_goedelcp.depv12024-08-03 10:19 222  
[ ]goedelcp__t38_goedelcp.depvmin12024-08-03 10:24 222  
[ ]goedelcp__t38_goedelcp.vmin12024-08-03 10:19 3.2K 
[ ]goedelcp__t38_goedelcp.vmin1out2024-08-03 10:23 75K 
[ ]goedelcp__t38_goedelcp.vout2024-08-03 10:00 39K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80