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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goedelcp__l24_goedelcp2025-09-07 23:10 20K 
[ ]goedelcp__l24_goedelcp.vout2025-09-15 14:13 7.9K 
[ ]goedelcp__t1_goedelcp2025-09-07 22:19 13K 
[ ]goedelcp__t1_goedelcp.vout2025-09-15 13:36 2.0K 
[ ]goedelcp__t2_goedelcp2025-09-07 22:24 49K 
[ ]goedelcp__t2_goedelcp.vout2025-09-15 18:06 4.7K 
[ ]goedelcp__t3_goedelcp2025-09-07 22:25 34K 
[ ]goedelcp__t3_goedelcp.vout2025-09-15 17:58 7.3K 
[ ]goedelcp__t4_goedelcp2025-09-07 22:20 22K 
[ ]goedelcp__t4_goedelcp.vout2025-09-15 15:01 2.0K 
[ ]goedelcp__t5_goedelcp2025-09-07 22:26 28K 
[ ]goedelcp__t5_goedelcp.vout2025-09-15 14:32 4.7K 
[ ]goedelcp__t6_goedelcp2025-09-07 22:28 32K 
[ ]goedelcp__t6_goedelcp.vout2025-09-15 14:48 7.3K 
[ ]goedelcp__t7_goedelcp2025-09-07 22:21 22K 
[ ]goedelcp__t7_goedelcp.depv12025-09-15 19:47 82  
[ ]goedelcp__t7_goedelcp.depvmin12025-09-15 19:52 82  
[ ]goedelcp__t7_goedelcp.vmin12025-09-15 19:47 2.0K 
[ ]goedelcp__t7_goedelcp.vmin1out2025-09-15 19:50 43K 
[ ]goedelcp__t7_goedelcp.vout2025-09-15 15:07 42K 
[ ]goedelcp__t8_goedelcp2025-09-07 22:29 31K 
[ ]goedelcp__t8_goedelcp.vout2025-09-15 15:58 2.0K 
[ ]goedelcp__t9_goedelcp2025-09-07 22:30 25K 
[ ]goedelcp__t9_goedelcp.vout2025-09-15 18:02 2.0K 
[ ]goedelcp__t10_goedelcp2025-09-07 22:32 29K 
[ ]goedelcp__t10_goedelcp.vout2025-09-15 16:47 7.3K 
[ ]goedelcp__t11_goedelcp2025-09-07 22:33 25K 
[ ]goedelcp__t11_goedelcp.vout2025-09-15 15:49 2.0K 
[ ]goedelcp__t12_goedelcp2025-09-07 22:35 30K 
[ ]goedelcp__t12_goedelcp.vout2025-09-15 16:04 7.3K 
[ ]goedelcp__t13_goedelcp2025-09-07 22:36 21K 
[ ]goedelcp__t13_goedelcp.vout2025-09-15 19:05 2.0K 
[ ]goedelcp__t14_goedelcp2025-09-07 22:37 16K 
[ ]goedelcp__t14_goedelcp.vout2025-09-15 16:50 2.0K 
[ ]goedelcp__t15_goedelcp2025-09-07 22:39 45K 
[ ]goedelcp__t15_goedelcp.vout2025-09-15 19:03 4.7K 
[ ]goedelcp__t16_goedelcp2025-09-07 22:41 55K 
[ ]goedelcp__t16_goedelcp.vout2025-09-15 14:41 6.8K 
[ ]goedelcp__t17_goedelcp2025-09-07 22:42 27K 
[ ]goedelcp__t17_goedelcp.vout2025-09-15 15:33 2.0K 
[ ]goedelcp__t18_goedelcp2025-09-07 22:43 29K 
[ ]goedelcp__t18_goedelcp.depv12025-09-15 19:47 155  
[ ]goedelcp__t18_goedelcp.depvmin12025-09-15 19:52 155  
[ ]goedelcp__t18_goedelcp.vmin12025-09-15 19:47 2.4K 
[ ]goedelcp__t18_goedelcp.vmin1out2025-09-15 19:48 21K 
[ ]goedelcp__t18_goedelcp.vout2025-09-15 17:09 25K 
[ ]goedelcp__t19_goedelcp2025-09-07 22:44 12K 
[ ]goedelcp__t19_goedelcp.depv12025-09-15 19:47 52  
[ ]goedelcp__t19_goedelcp.depvmin12025-09-15 19:52 52  
[ ]goedelcp__t19_goedelcp.vmin12025-09-15 19:47 459  
[ ]goedelcp__t19_goedelcp.vmin1out2025-09-15 19:50 3.9K 
[ ]goedelcp__t19_goedelcp.vout2025-09-15 17:05 3.9K 
[ ]goedelcp__t20_goedelcp2025-09-07 22:45 14K 
[ ]goedelcp__t20_goedelcp.depv12025-09-15 19:47 129  
[ ]goedelcp__t20_goedelcp.depvmin12025-09-15 19:52 129  
[ ]goedelcp__t20_goedelcp.vmin12025-09-15 19:47 1.3K 
[ ]goedelcp__t20_goedelcp.vmin1out2025-09-15 19:49 18K 
[ ]goedelcp__t20_goedelcp.vout2025-09-15 15:41 18K 
[ ]goedelcp__t21_goedelcp2025-09-07 22:47 33K 
[ ]goedelcp__t21_goedelcp.vout2025-09-15 14:52 7.3K 
[ ]goedelcp__t22_goedelcp2025-09-07 22:48 14K 
[ ]goedelcp__t22_goedelcp.vout2025-09-15 13:33 7.9K 
[ ]goedelcp__t23_goedelcp2025-09-07 22:49 28K 
[ ]goedelcp__t23_goedelcp.depv12025-09-15 19:47 235  
[ ]goedelcp__t23_goedelcp.depvmin12025-09-15 19:52 235  
[ ]goedelcp__t23_goedelcp.vmin12025-09-15 19:47 2.2K 
[ ]goedelcp__t23_goedelcp.vmin1out2025-09-15 19:48 22K 
[ ]goedelcp__t23_goedelcp.vout2025-09-15 14:17 21K 
[ ]goedelcp__t24_goedelcp2025-09-07 22:22 14K 
[ ]goedelcp__t24_goedelcp.depv12025-09-15 19:47 148  
[ ]goedelcp__t24_goedelcp.depvmin12025-09-15 19:52 148  
[ ]goedelcp__t24_goedelcp.vmin12025-09-15 19:47 1.7K 
[ ]goedelcp__t24_goedelcp.vmin1out2025-09-15 19:50 22K 
[ ]goedelcp__t24_goedelcp.vout2025-09-15 16:17 17K 
[ ]goedelcp__t25_goedelcp2025-09-07 22:50 30K 
[ ]goedelcp__t25_goedelcp.vout2025-09-15 14:35 5.3K 
[ ]goedelcp__t26_goedelcp2025-09-07 22:51 15K 
[ ]goedelcp__t26_goedelcp.vout2025-09-15 14:40 7.3K 
[ ]goedelcp__t27_goedelcp2025-09-07 22:52 16K 
[ ]goedelcp__t27_goedelcp.vout2025-09-15 18:05 4.2K 
[ ]goedelcp__t28_goedelcp2025-09-07 22:53 13K 
[ ]goedelcp__t28_goedelcp.depv12025-09-15 19:47 201  
[ ]goedelcp__t28_goedelcp.depvmin12025-09-15 19:52 191  
[ ]goedelcp__t28_goedelcp.vmin12025-09-15 19:47 1.9K 
[ ]goedelcp__t28_goedelcp.vmin1out2025-09-15 19:48 25K 
[ ]goedelcp__t28_goedelcp.vout2025-09-15 19:03 23K 
[ ]goedelcp__t29_goedelcp2025-09-07 22:54 14K 
[ ]goedelcp__t29_goedelcp.vout2025-09-15 18:56 4.2K 
[ ]goedelcp__t30_goedelcp2025-09-07 22:56 25K 
[ ]goedelcp__t30_goedelcp.vout2025-09-15 16:48 7.3K 
[ ]goedelcp__t31_goedelcp2025-09-07 23:00 95K 
[ ]goedelcp__t31_goedelcp.vout2025-09-15 14:27 4.2K 
[ ]goedelcp__t32_goedelcp2025-09-07 23:01 27K 
[ ]goedelcp__t32_goedelcp.vout2025-09-15 15:20 7.4K 
[ ]goedelcp__t33_goedelcp2025-09-07 23:03 39K 
[ ]goedelcp__t33_goedelcp.vout2025-09-15 16:01 7.3K 
[ ]goedelcp__t34_goedelcp2025-09-07 23:04 24K 
[ ]goedelcp__t34_goedelcp.vout2025-09-15 13:47 4.2K 
[ ]goedelcp__t35_goedelcp2025-09-07 23:06 21K 
[ ]goedelcp__t35_goedelcp.depv12025-09-15 19:47 105  
[ ]goedelcp__t35_goedelcp.depvmin12025-09-15 19:52 105  
[ ]goedelcp__t35_goedelcp.vmin12025-09-15 19:47 1.5K 
[ ]goedelcp__t35_goedelcp.vmin1out2025-09-15 19:47 25K 
[ ]goedelcp__t35_goedelcp.vout2025-09-15 19:45 21K 
[ ]goedelcp__t36_goedelcp2025-09-07 23:07 16K 
[ ]goedelcp__t36_goedelcp.depv12025-09-15 19:47 280  
[ ]goedelcp__t36_goedelcp.depvmin12025-09-15 19:52 254  
[ ]goedelcp__t36_goedelcp.vmin12025-09-15 19:47 2.6K 
[ ]goedelcp__t36_goedelcp.vmin1out2025-09-15 19:48 23K 
[ ]goedelcp__t36_goedelcp.vout2025-09-15 16:32 27K 
[ ]goedelcp__t37_goedelcp2025-09-07 23:08 25K 
[ ]goedelcp__t37_goedelcp.vout2025-09-15 14:04 6.8K 
[ ]goedelcp__t38_goedelcp2025-09-07 23:09 26K 
[ ]goedelcp__t38_goedelcp.depv12025-09-15 19:47 222  
[ ]goedelcp__t38_goedelcp.depvmin12025-09-15 19:52 222  
[ ]goedelcp__t38_goedelcp.vmin12025-09-15 19:47 3.2K 
[ ]goedelcp__t38_goedelcp.vmin1out2025-09-15 19:49 75K 
[ ]goedelcp__t38_goedelcp.vout2025-09-15 16:20 39K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80