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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting1__l5_heyting12025-09-08 10:48 13K 
[ ]heyting1__l5_heyting1.depv12025-09-15 19:47 264  
[ ]heyting1__l5_heyting1.depvmin12025-09-15 19:52 264  
[ ]heyting1__l5_heyting1.vmin12025-09-15 19:47 2.2K 
[ ]heyting1__l5_heyting1.vmin1out2025-09-15 19:49 28K 
[ ]heyting1__l5_heyting1.vout2025-09-15 13:45 31K 
[ ]heyting1__l16_heyting12025-09-08 10:49 38K 
[ ]heyting1__l16_heyting1.vout2025-09-15 19:09 7.3K 
[ ]heyting1__l17_heyting12025-09-08 10:51 40K 
[ ]heyting1__l17_heyting1.vout2025-09-15 15:25 7.3K 
[ ]heyting1__l27_heyting12025-09-08 10:52 11K 
[ ]heyting1__l27_heyting1.depv12025-09-15 19:47 65  
[ ]heyting1__l27_heyting1.depvmin12025-09-15 19:52 65  
[ ]heyting1__l27_heyting1.vmin12025-09-15 19:47 498  
[ ]heyting1__l27_heyting1.vmin1out2025-09-15 19:48 3.1K 
[ ]heyting1__l27_heyting1.vout2025-09-15 17:46 3.8K 
[ ]heyting1__l31_heyting12025-09-08 10:53 22K 
[ ]heyting1__l31_heyting1.vout2025-09-15 17:54 7.9K 
[ ]heyting1__l33_heyting12025-09-08 10:55 47K 
[ ]heyting1__l33_heyting1.vout2025-09-15 18:55 4.2K 
[ ]heyting1__l39_heyting12025-09-08 10:56 39K 
[ ]heyting1__l39_heyting1.vout2025-09-15 18:46 4.8K 
[ ]heyting1__l41_heyting12025-09-08 10:58 44K 
[ ]heyting1__l41_heyting1.vout2025-09-15 15:27 4.2K 
[ ]heyting1__l46_heyting12025-09-08 11:00 52K 
[ ]heyting1__l46_heyting1.vout2025-09-15 19:13 7.3K 
[ ]heyting1__l47_heyting12025-09-08 11:02 29K 
[ ]heyting1__l47_heyting1.vout2025-09-15 15:43 3.8K 
[ ]heyting1__t1_heyting12025-09-08 10:12 12K 
[ ]heyting1__t1_heyting1.depv12025-09-15 19:47 166  
[ ]heyting1__t1_heyting1.depvmin12025-09-15 19:52 166  
[ ]heyting1__t1_heyting1.vmin12025-09-15 19:47 1.9K 
[ ]heyting1__t1_heyting1.vmin1out2025-09-15 19:50 32K 
[ ]heyting1__t1_heyting1.vout2025-09-15 16:12 31K 
[ ]heyting1__t2_heyting12025-09-08 10:11 12K 
[ ]heyting1__t2_heyting1.depv12025-09-15 19:47 37  
[ ]heyting1__t2_heyting1.depvmin12025-09-15 19:52 37  
[ ]heyting1__t2_heyting1.vmin12025-09-15 19:47 376  
[ ]heyting1__t2_heyting1.vmin1out2025-09-15 19:51 3.8K 
[ ]heyting1__t2_heyting1.vout2025-09-15 13:30 4.0K 
[ ]heyting1__t3_heyting12025-09-08 10:13 18K 
[ ]heyting1__t3_heyting1.depv12025-09-15 19:47 62  
[ ]heyting1__t3_heyting1.depvmin12025-09-15 19:52 38  
[ ]heyting1__t3_heyting1.vmin12025-09-15 19:47 616  
[ ]heyting1__t3_heyting1.vmin1out2025-09-15 19:49 4.2K 
[ ]heyting1__t3_heyting1.vout2025-09-15 19:33 6.2K 
[ ]heyting1__t4_heyting12025-09-08 10:14 12K 
[ ]heyting1__t4_heyting1.depv12025-09-15 19:47 402  
[ ]heyting1__t4_heyting1.depvmin12025-09-15 19:52 296  
[ ]heyting1__t4_heyting1.vmin12025-09-15 19:47 3.8K 
[ ]heyting1__t4_heyting1.vmin1out2025-09-15 19:48 48K 
[ ]heyting1__t4_heyting1.vout2025-09-15 15:49 57K 
[ ]heyting1__t5_heyting12025-09-08 10:15 34K 
[ ]heyting1__t5_heyting1.depv12025-09-15 19:47 103  
[ ]heyting1__t5_heyting1.depvmin12025-09-15 19:52 90  
[ ]heyting1__t5_heyting1.vmin12025-09-15 19:47 1.4K 
[ ]heyting1__t5_heyting1.vmin1out2025-09-15 19:49 17K 
[ ]heyting1__t5_heyting1.vout2025-09-15 13:40 14K 
[ ]heyting1__t6_heyting12025-09-08 10:16 28K 
[ ]heyting1__t6_heyting1.depv12025-09-15 19:47 189  
[ ]heyting1__t6_heyting1.depvmin12025-09-15 19:52 189  
[ ]heyting1__t6_heyting1.vmin12025-09-15 19:47 2.0K 
[ ]heyting1__t6_heyting1.vmin1out2025-09-15 19:48 24K 
[ ]heyting1__t6_heyting1.vout2025-09-15 18:48 23K 
[ ]heyting1__t7_heyting12025-09-08 10:18 28K 
[ ]heyting1__t7_heyting1.depv12025-09-15 19:47 189  
[ ]heyting1__t7_heyting1.depvmin12025-09-15 19:52 189  
[ ]heyting1__t7_heyting1.vmin12025-09-15 19:47 1.9K 
[ ]heyting1__t7_heyting1.vmin1out2025-09-15 19:48 22K 
[ ]heyting1__t7_heyting1.vout2025-09-15 14:53 21K 
[ ]heyting1__t8_heyting12025-09-08 10:19 29K 
[ ]heyting1__t8_heyting1.depv12025-09-15 19:47 209  
[ ]heyting1__t8_heyting1.depvmin12025-09-15 19:52 209  
[ ]heyting1__t8_heyting1.vmin12025-09-15 19:47 2.6K 
[ ]heyting1__t8_heyting1.vmin1out2025-09-15 19:49 30K 
[ ]heyting1__t8_heyting1.vout2025-09-15 19:05 28K 
[ ]heyting1__t9_heyting12025-09-08 10:21 49K 
[ ]heyting1__t9_heyting1.vout2025-09-15 18:09 5.9K 
[ ]heyting1__t10_heyting12025-09-08 10:22 27K 
[ ]heyting1__t10_heyting1.depv12025-09-15 19:47 158  
[ ]heyting1__t10_heyting1.depvmin12025-09-15 19:52 158  
[ ]heyting1__t10_heyting1.vmin12025-09-15 19:47 1.6K 
[ ]heyting1__t10_heyting1.vmin1out2025-09-15 19:48 12K 
[ ]heyting1__t10_heyting1.vout2025-09-15 16:06 14K 
[ ]heyting1__t11_heyting12025-09-08 10:47 20K 
[ ]heyting1__t11_heyting1.depv12025-09-15 19:47 136  
[ ]heyting1__t11_heyting1.depvmin12025-09-15 19:52 124  
[ ]heyting1__t11_heyting1.vmin12025-09-15 19:47 2.1K 
[ ]heyting1__t11_heyting1.vmin1out2025-09-15 19:48 30K 
[ ]heyting1__t11_heyting1.vout2025-09-15 19:43 38K 
[ ]heyting1__t12_heyting12025-09-08 10:23 12K 
[ ]heyting1__t12_heyting1.depv12025-09-15 19:47 226  
[ ]heyting1__t12_heyting1.depvmin12025-09-15 19:52 226  
[ ]heyting1__t12_heyting1.vmin12025-09-15 19:47 1.9K 
[ ]heyting1__t12_heyting1.vmin1out2025-09-15 19:50 16K 
[ ]heyting1__t12_heyting1.vout2025-09-15 19:43 17K 
[ ]heyting1__t13_heyting12025-09-08 10:24 25K 
[ ]heyting1__t13_heyting1.vout2025-09-15 14:04 6.9K 
[ ]heyting1__t14_heyting12025-09-08 10:26 26K 
[ ]heyting1__t14_heyting1.vout2025-09-15 17:47 5.9K 
[ ]heyting1__t15_heyting12025-09-08 10:26 11K 
[ ]heyting1__t15_heyting1.depv12025-09-15 19:47 317  
[ ]heyting1__t15_heyting1.depvmin12025-09-15 19:52 268  
[ ]heyting1__t15_heyting1.vmin12025-09-15 19:47 2.9K 
[ ]heyting1__t15_heyting1.vmin1out2025-09-15 19:50 24K 
[ ]heyting1__t15_heyting1.vout2025-09-15 14:04 28K 
[ ]heyting1__t16_heyting12025-09-08 10:27 11K 
[ ]heyting1__t16_heyting1.depv12025-09-15 19:47 229  
[ ]heyting1__t16_heyting1.depvmin12025-09-15 19:52 229  
[ ]heyting1__t16_heyting1.vmin12025-09-15 19:47 1.9K 
[ ]heyting1__t16_heyting1.vmin1out2025-09-15 19:48 16K 
[ ]heyting1__t16_heyting1.vout2025-09-15 15:35 16K 
[ ]heyting1__t17_heyting12025-09-08 10:28 13K 
[ ]heyting1__t17_heyting1.vout2025-09-15 16:16 5.9K 
[ ]heyting1__t18_heyting12025-09-08 10:29 22K 
[ ]heyting1__t18_heyting1.depv12025-09-15 19:47 124  
[ ]heyting1__t18_heyting1.depvmin12025-09-15 19:52 124  
[ ]heyting1__t18_heyting1.vmin12025-09-15 19:47 2.2K 
[ ]heyting1__t18_heyting1.vmin1out2025-09-15 19:48 33K 
[ ]heyting1__t18_heyting1.vout2025-09-15 13:41 30K 
[ ]heyting1__t19_heyting12025-09-08 10:30 34K 
[ ]heyting1__t19_heyting1.vout2025-09-15 19:34 3.7K 
[ ]heyting1__t20_heyting12025-09-08 10:32 47K 
[ ]heyting1__t20_heyting1.vout2025-09-15 13:40 4.2K 
[ ]heyting1__t21_heyting12025-09-08 10:34 28K 
[ ]heyting1__t21_heyting1.vout2025-09-15 13:29 7.9K 
[ ]heyting1__t22_heyting12025-09-08 10:35 29K 
[ ]heyting1__t22_heyting1.vout2025-09-15 16:15 7.3K 
[ ]heyting1__t23_heyting12025-09-08 10:37 42K 
[ ]heyting1__t23_heyting1.vout2025-09-15 18:15 5.9K 
[ ]heyting1__t24_heyting12025-09-08 10:39 47K 
[ ]heyting1__t24_heyting1.vout2025-09-15 18:45 7.3K 
[ ]heyting1__t25_heyting12025-09-08 10:40 42K 
[ ]heyting1__t25_heyting1.vout2025-09-15 17:36 7.3K 
[ ]heyting1__t26_heyting12025-09-08 10:42 51K 
[ ]heyting1__t26_heyting1.vout2025-09-15 13:44 6.8K 
[ ]heyting1__t27_heyting12025-09-08 10:44 30K 
[ ]heyting1__t27_heyting1.vout2025-09-15 15:51 4.1K 
[ ]heyting1__t28_heyting12025-09-08 10:46 55K 
[ ]heyting1__t28_heyting1.vout2025-09-15 15:45 9.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80