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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting3__l1_heyting32025-09-10 01:55 17K 
[ ]heyting3__l1_heyting3.depv12025-09-15 19:47 49  
[ ]heyting3__l1_heyting3.depvmin12025-09-15 19:52 49  
[ ]heyting3__l1_heyting3.vmin12025-09-15 19:47 553  
[ ]heyting3__l1_heyting3.vmin1out2025-09-15 19:50 6.6K 
[ ]heyting3__l1_heyting3.vout2025-09-15 13:45 6.7K 
[ ]heyting3__l2_heyting32025-09-10 00:47 16K 
[ ]heyting3__l2_heyting3.depv12025-09-15 19:47 122  
[ ]heyting3__l2_heyting3.depvmin12025-09-15 19:52 98  
[ ]heyting3__l2_heyting3.vmin12025-09-15 19:47 683  
[ ]heyting3__l2_heyting3.vmin1out2025-09-15 19:50 4.5K 
[ ]heyting3__l2_heyting3.vout2025-09-15 18:51 4.8K 
[ ]heyting3__l3_heyting32025-09-10 00:48 15K 
[ ]heyting3__l3_heyting3.depv12025-09-15 19:47 145  
[ ]heyting3__l3_heyting3.depvmin12025-09-15 19:52 121  
[ ]heyting3__l3_heyting3.vmin12025-09-15 19:47 790  
[ ]heyting3__l3_heyting3.vmin1out2025-09-15 19:48 5.3K 
[ ]heyting3__l3_heyting3.vout2025-09-15 15:39 5.6K 
[ ]heyting3__l22_heyting32025-09-10 01:56 21K 
[ ]heyting3__l22_heyting3.vout2025-09-15 18:44 2.0K 
[ ]heyting3__l24_heyting32025-09-10 01:57 37K 
[ ]heyting3__l24_heyting3.vout2025-09-15 14:32 7.3K 
[ ]heyting3__l27_heyting32025-09-10 01:59 21K 
[ ]heyting3__l27_heyting3.depv12025-09-15 19:47 38  
[ ]heyting3__l27_heyting3.depvmin12025-09-15 19:52 38  
[ ]heyting3__l27_heyting3.vmin12025-09-15 19:47 479  
[ ]heyting3__l27_heyting3.vmin1out2025-09-15 19:47 5.8K 
[ ]heyting3__l27_heyting3.vout2025-09-15 14:47 6.0K 
[ ]heyting3__l29_heyting32025-09-10 02:00 36K 
[ ]heyting3__l29_heyting3.vout2025-09-15 15:53 6.8K 
[ ]heyting3__l34_heyting32025-09-10 02:01 18K 
[ ]heyting3__l34_heyting3.depv12025-09-15 19:47 102  
[ ]heyting3__l34_heyting3.depvmin12025-09-15 19:52 102  
[ ]heyting3__l34_heyting3.vmin12025-09-15 19:47 1.2K 
[ ]heyting3__l34_heyting3.vmin1out2025-09-15 19:48 21K 
[ ]heyting3__l34_heyting3.vout2025-09-15 16:29 21K 
[ ]heyting3__l45_heyting32025-09-10 02:02 19K 
[ ]heyting3__l45_heyting3.depv12025-09-15 19:47 46  
[ ]heyting3__l45_heyting3.depvmin12025-09-15 19:52 46  
[ ]heyting3__l45_heyting3.vmin12025-09-15 19:47 410  
[ ]heyting3__l45_heyting3.vmin1out2025-09-15 19:48 7.4K 
[ ]heyting3__l45_heyting3.vout2025-09-15 18:43 7.0K 
[ ]heyting3__l55_heyting32025-09-10 02:05 72K 
[ ]heyting3__l55_heyting3.vout2025-09-15 14:11 7.3K 
[ ]heyting3__t1_heyting32025-09-10 00:49 26K 
[ ]heyting3__t1_heyting3.vout2025-09-15 18:43 6.8K 
[ ]heyting3__t2_heyting32025-09-10 00:50 31K 
[ ]heyting3__t2_heyting3.vout2025-09-15 13:26 7.3K 
[ ]heyting3__t3_heyting32025-09-10 00:52 51K 
[ ]heyting3__t3_heyting3.vout2025-09-15 14:00 7.3K 
[ ]heyting3__t4_heyting32025-09-10 00:53 38K 
[ ]heyting3__t4_heyting3.vout2025-09-15 19:40 7.3K 
[ ]heyting3__t5_heyting32025-09-10 00:55 47K 
[ ]heyting3__t5_heyting3.vout2025-09-15 17:20 7.3K 
[ ]heyting3__t6_heyting32025-09-10 00:56 33K 
[ ]heyting3__t6_heyting3.vout2025-09-15 17:40 4.1K 
[ ]heyting3__t7_heyting32025-09-10 00:58 33K 
[ ]heyting3__t7_heyting3.vout2025-09-15 14:48 4.1K 
[ ]heyting3__t8_heyting32025-09-10 01:00 29K 
[ ]heyting3__t8_heyting3.vout2025-09-15 15:10 7.3K 
[ ]heyting3__t9_heyting32025-09-10 01:01 20K 
[ ]heyting3__t9_heyting3.vout2025-09-15 18:05 5.3K 
[ ]heyting3__t10_heyting32025-09-10 01:02 21K 
[ ]heyting3__t10_heyting3.vout2025-09-15 18:21 7.3K 
[ ]heyting3__t11_heyting32025-09-10 01:04 48K 
[ ]heyting3__t11_heyting3.vout2025-09-15 16:13 7.9K 
[ ]heyting3__t12_heyting32025-09-10 01:07 48K 
[ ]heyting3__t12_heyting3.vout2025-09-15 14:11 8.4K 
[ ]heyting3__t13_heyting32025-09-10 01:09 49K 
[ ]heyting3__t13_heyting3.vout2025-09-15 19:22 7.9K 
[ ]heyting3__t14_heyting32025-09-10 00:46 25K 
[ ]heyting3__t14_heyting3.vout2025-09-15 16:10 7.3K 
[ ]heyting3__t15_heyting32025-09-10 01:10 50K 
[ ]heyting3__t15_heyting3.vout2025-09-15 19:07 4.3K 
[ ]heyting3__t16_heyting32025-09-10 01:12 49K 
[ ]heyting3__t16_heyting3.vout2025-09-15 14:24 7.3K 
[ ]heyting3__t17_heyting32025-09-10 01:13 34K 
[ ]heyting3__t17_heyting3.vout2025-09-15 14:44 7.4K 
[ ]heyting3__t18_heyting32025-09-10 01:15 34K 
[ ]heyting3__t18_heyting3.vout2025-09-15 14:40 7.4K 
[ ]heyting3__t19_heyting32025-09-10 01:16 33K 
[ ]heyting3__t19_heyting3.vout2025-09-15 18:10 7.3K 
[ ]heyting3__t20_heyting32025-09-10 01:17 52K 
[ ]heyting3__t20_heyting3.vout2025-09-15 15:43 7.3K 
[ ]heyting3__t21_heyting32025-09-10 01:19 27K 
[ ]heyting3__t21_heyting3.vout2025-09-15 15:31 7.3K 
[ ]heyting3__t22_heyting32025-09-10 01:20 24K 
[ ]heyting3__t22_heyting3.vout2025-09-15 19:08 7.3K 
[ ]heyting3__t23_heyting32025-09-10 01:21 43K 
[ ]heyting3__t23_heyting3.vout2025-09-15 16:04 7.4K 
[ ]heyting3__t24_heyting32025-09-10 01:22 34K 
[ ]heyting3__t24_heyting3.vout2025-09-15 18:15 7.4K 
[ ]heyting3__t25_heyting32025-09-10 01:25 50K 
[ ]heyting3__t25_heyting3.vout2025-09-15 17:43 3.7K 
[ ]heyting3__t26_heyting32025-09-10 01:26 25K 
[ ]heyting3__t26_heyting3.vout2025-09-15 15:53 7.3K 
[ ]heyting3__t27_heyting32025-09-10 01:27 18K 
[ ]heyting3__t27_heyting3.depv12025-09-15 19:47 177  
[ ]heyting3__t27_heyting3.depvmin12025-09-15 19:52 163  
[ ]heyting3__t27_heyting3.vmin12025-09-15 19:47 1.5K 
[ ]heyting3__t27_heyting3.vmin1out2025-09-15 19:48 19K 
[ ]heyting3__t27_heyting3.vout2025-09-15 14:22 21K 
[ ]heyting3__t28_heyting32025-09-10 01:29 46K 
[ ]heyting3__t28_heyting3.depv12025-09-15 19:47 291  
[ ]heyting3__t28_heyting3.depvmin12025-09-15 19:52 276  
[ ]heyting3__t28_heyting3.vmin12025-09-15 19:47 3.2K 
[ ]heyting3__t28_heyting3.vmin1out2025-09-15 19:49 30K 
[ ]heyting3__t28_heyting3.vout2025-09-15 16:20 32K 
[ ]heyting3__t29_heyting32025-09-10 01:31 46K 
[ ]heyting3__t29_heyting3.depv12025-09-15 19:47 400  
[ ]heyting3__t29_heyting3.depvmin12025-09-15 19:52 370  
[ ]heyting3__t29_heyting3.vmin12025-09-15 19:47 4.1K 
[ ]heyting3__t29_heyting3.vmin1out2025-09-15 19:49 39K 
[ ]heyting3__t29_heyting3.vout2025-09-15 18:01 37K 
[ ]heyting3__t30_heyting32025-09-10 01:33 51K 
[ ]heyting3__t30_heyting3.vout2025-09-15 13:50 6.8K 
[ ]heyting3__t31_heyting32025-09-10 01:35 41K 
[ ]heyting3__t31_heyting3.vout2025-09-15 14:06 7.4K 
[ ]heyting3__t32_heyting32025-09-10 01:37 46K 
[ ]heyting3__t32_heyting3.depv12025-09-15 19:47 292  
[ ]heyting3__t32_heyting3.depvmin12025-09-15 19:52 270  
[ ]heyting3__t32_heyting3.vmin12025-09-15 19:47 3.4K 
[ ]heyting3__t32_heyting3.vmin1out2025-09-15 19:48 32K 
[ ]heyting3__t32_heyting3.vout2025-09-15 14:18 31K 
[ ]heyting3__t33_heyting32025-09-10 01:39 46K 
[ ]heyting3__t33_heyting3.depv12025-09-15 19:47 298  
[ ]heyting3__t33_heyting3.depvmin12025-09-15 19:52 245  
[ ]heyting3__t33_heyting3.vmin12025-09-15 19:47 3.4K 
[ ]heyting3__t33_heyting3.vmin1out2025-09-15 19:50 32K 
[ ]heyting3__t33_heyting3.vout2025-09-15 15:15 35K 
[ ]heyting3__t34_heyting32025-09-10 01:41 42K 
[ ]heyting3__t34_heyting3.vout2025-09-15 15:34 6.8K 
[ ]heyting3__t35_heyting32025-09-10 01:44 52K 
[ ]heyting3__t35_heyting3.vout2025-09-15 16:41 4.7K 
[ ]heyting3__t36_heyting32025-09-10 01:46 47K 
[ ]heyting3__t36_heyting3.vout2025-09-15 14:14 7.3K 
[ ]heyting3__t37_heyting32025-09-10 01:48 47K 
[ ]heyting3__t37_heyting3.vout2025-09-15 14:06 7.4K 
[ ]heyting3__t38_heyting32025-09-10 01:50 40K 
[ ]heyting3__t38_heyting3.depv12025-09-15 19:47 239  
[ ]heyting3__t38_heyting3.depvmin12025-09-15 19:52 209  
[ ]heyting3__t38_heyting3.vmin12025-09-15 19:47 3.0K 
[ ]heyting3__t38_heyting3.vmin1out2025-09-15 19:48 31K 
[ ]heyting3__t38_heyting3.vout2025-09-15 19:02 28K 
[ ]heyting3__t39_heyting32025-09-10 01:52 40K 
[ ]heyting3__t39_heyting3.depv12025-09-15 19:47 247  
[ ]heyting3__t39_heyting3.depvmin12025-09-15 19:52 210  
[ ]heyting3__t39_heyting3.vmin12025-09-15 19:47 3.0K 
[ ]heyting3__t39_heyting3.vmin1out2025-09-15 19:48 29K 
[ ]heyting3__t39_heyting3.vout2025-09-15 19:43 28K 
[ ]heyting3__t40_heyting32025-09-10 01:54 41K 
[ ]heyting3__t40_heyting3.vout2025-09-15 18:11 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80