Index of /~mptp/mml5.63.1382/MPTP2/problems_small/heyting1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting1__l5_heyting12021-07-18 08:10 13K 
[ ]heyting1__l5_heyting1.depv12021-07-25 20:57 264  
[ ]heyting1__l5_heyting1.depvmin12021-07-25 21:03 264  
[ ]heyting1__l5_heyting1.vmin12021-07-25 20:57 2.2K 
[ ]heyting1__l5_heyting1.vmin1out2021-07-25 20:58 28K 
[ ]heyting1__l5_heyting1.vout2021-07-25 15:25 31K 
[ ]heyting1__l16_heyting12021-07-18 08:10 38K 
[ ]heyting1__l16_heyting1.vout2021-07-25 20:19 7.3K 
[ ]heyting1__l17_heyting12021-07-18 08:11 40K 
[ ]heyting1__l17_heyting1.vout2021-07-25 15:22 7.4K 
[ ]heyting1__l27_heyting12021-07-18 08:11 11K 
[ ]heyting1__l27_heyting1.depv12021-07-25 20:57 65  
[ ]heyting1__l27_heyting1.depvmin12021-07-25 21:03 65  
[ ]heyting1__l27_heyting1.vmin12021-07-25 20:57 498  
[ ]heyting1__l27_heyting1.vmin1out2021-07-25 21:00 3.1K 
[ ]heyting1__l27_heyting1.vout2021-07-25 16:05 3.8K 
[ ]heyting1__l31_heyting12021-07-18 08:11 22K 
[ ]heyting1__l31_heyting1.vout2021-07-25 16:07 7.9K 
[ ]heyting1__l33_heyting12021-07-18 08:12 47K 
[ ]heyting1__l33_heyting1.vout2021-07-25 18:33 4.2K 
[ ]heyting1__l39_heyting12021-07-18 08:12 39K 
[ ]heyting1__l39_heyting1.vout2021-07-25 17:03 4.8K 
[ ]heyting1__l41_heyting12021-07-18 08:13 44K 
[ ]heyting1__l41_heyting1.vout2021-07-25 19:29 4.2K 
[ ]heyting1__l46_heyting12021-07-18 08:13 52K 
[ ]heyting1__l46_heyting1.vout2021-07-25 18:18 7.4K 
[ ]heyting1__l47_heyting12021-07-18 08:14 29K 
[ ]heyting1__l47_heyting1.vout2021-07-25 14:32 3.8K 
[ ]heyting1__t1_heyting12021-07-18 08:00 12K 
[ ]heyting1__t1_heyting1.depv12021-07-25 20:57 166  
[ ]heyting1__t1_heyting1.depvmin12021-07-25 21:03 166  
[ ]heyting1__t1_heyting1.vmin12021-07-25 20:57 1.9K 
[ ]heyting1__t1_heyting1.vmin1out2021-07-25 20:58 32K 
[ ]heyting1__t1_heyting1.vout2021-07-25 20:26 31K 
[ ]heyting1__t2_heyting12021-07-18 08:00 12K 
[ ]heyting1__t2_heyting1.depv12021-07-25 20:57 37  
[ ]heyting1__t2_heyting1.depvmin12021-07-25 21:03 37  
[ ]heyting1__t2_heyting1.vmin12021-07-25 20:57 376  
[ ]heyting1__t2_heyting1.vmin1out2021-07-25 21:00 3.8K 
[ ]heyting1__t2_heyting1.vout2021-07-25 15:25 4.0K 
[ ]heyting1__t3_heyting12021-07-18 08:00 18K 
[ ]heyting1__t3_heyting1.depv12021-07-25 20:57 62  
[ ]heyting1__t3_heyting1.depvmin12021-07-25 21:03 38  
[ ]heyting1__t3_heyting1.vmin12021-07-25 20:57 616  
[ ]heyting1__t3_heyting1.vmin1out2021-07-25 20:58 4.2K 
[ ]heyting1__t3_heyting1.vout2021-07-25 15:07 6.2K 
[ ]heyting1__t4_heyting12021-07-18 08:00 12K 
[ ]heyting1__t4_heyting1.vout2021-07-25 16:21 5.3K 
[ ]heyting1__t5_heyting12021-07-18 08:01 34K 
[ ]heyting1__t5_heyting1.depv12021-07-25 20:57 103  
[ ]heyting1__t5_heyting1.depvmin12021-07-25 21:03 90  
[ ]heyting1__t5_heyting1.vmin12021-07-25 20:57 1.4K 
[ ]heyting1__t5_heyting1.vmin1out2021-07-25 21:01 17K 
[ ]heyting1__t5_heyting1.vout2021-07-25 17:50 14K 
[ ]heyting1__t6_heyting12021-07-18 08:01 27K 
[ ]heyting1__t6_heyting1.depv12021-07-25 20:57 189  
[ ]heyting1__t6_heyting1.depvmin12021-07-25 21:03 189  
[ ]heyting1__t6_heyting1.vmin12021-07-25 20:57 2.0K 
[ ]heyting1__t6_heyting1.vmin1out2021-07-25 21:02 24K 
[ ]heyting1__t6_heyting1.vout2021-07-25 18:14 23K 
[ ]heyting1__t7_heyting12021-07-18 08:01 27K 
[ ]heyting1__t7_heyting1.depv12021-07-25 20:57 189  
[ ]heyting1__t7_heyting1.depvmin12021-07-25 21:03 189  
[ ]heyting1__t7_heyting1.vmin12021-07-25 20:57 1.9K 
[ ]heyting1__t7_heyting1.vmin1out2021-07-25 21:02 22K 
[ ]heyting1__t7_heyting1.vout2021-07-25 14:25 21K 
[ ]heyting1__t8_heyting12021-07-18 08:02 29K 
[ ]heyting1__t8_heyting1.depv12021-07-25 20:57 209  
[ ]heyting1__t8_heyting1.depvmin12021-07-25 21:03 209  
[ ]heyting1__t8_heyting1.vmin12021-07-25 20:57 2.6K 
[ ]heyting1__t8_heyting1.vmin1out2021-07-25 21:00 30K 
[ ]heyting1__t8_heyting1.vout2021-07-25 16:59 28K 
[ ]heyting1__t9_heyting12021-07-18 08:02 49K 
[ ]heyting1__t9_heyting1.vout2021-07-25 16:25 5.9K 
[ ]heyting1__t10_heyting12021-07-18 08:03 27K 
[ ]heyting1__t10_heyting1.depv12021-07-25 20:57 158  
[ ]heyting1__t10_heyting1.depvmin12021-07-25 21:03 158  
[ ]heyting1__t10_heyting1.vmin12021-07-25 20:57 1.6K 
[ ]heyting1__t10_heyting1.vmin1out2021-07-25 21:00 12K 
[ ]heyting1__t10_heyting1.vout2021-07-25 19:49 14K 
[ ]heyting1__t11_heyting12021-07-18 08:10 20K 
[ ]heyting1__t11_heyting1.depv12021-07-25 20:57 136  
[ ]heyting1__t11_heyting1.depvmin12021-07-25 21:03 124  
[ ]heyting1__t11_heyting1.vmin12021-07-25 20:57 2.1K 
[ ]heyting1__t11_heyting1.vmin1out2021-07-25 21:00 30K 
[ ]heyting1__t11_heyting1.vout2021-07-25 18:25 38K 
[ ]heyting1__t12_heyting12021-07-18 08:03 12K 
[ ]heyting1__t12_heyting1.depv12021-07-25 20:57 226  
[ ]heyting1__t12_heyting1.depvmin12021-07-25 21:03 226  
[ ]heyting1__t12_heyting1.vmin12021-07-25 20:57 1.9K 
[ ]heyting1__t12_heyting1.vmin1out2021-07-25 21:02 16K 
[ ]heyting1__t12_heyting1.vout2021-07-25 18:23 17K 
[ ]heyting1__t13_heyting12021-07-18 08:03 25K 
[ ]heyting1__t13_heyting1.vout2021-07-25 14:42 6.9K 
[ ]heyting1__t14_heyting12021-07-18 08:04 26K 
[ ]heyting1__t14_heyting1.vout2021-07-25 18:36 5.9K 
[ ]heyting1__t15_heyting12021-07-18 08:04 11K 
[ ]heyting1__t15_heyting1.depv12021-07-25 20:57 317  
[ ]heyting1__t15_heyting1.depvmin12021-07-25 21:03 268  
[ ]heyting1__t15_heyting1.vmin12021-07-25 20:57 2.9K 
[ ]heyting1__t15_heyting1.vmin1out2021-07-25 21:01 24K 
[ ]heyting1__t15_heyting1.vout2021-07-25 15:47 28K 
[ ]heyting1__t16_heyting12021-07-18 08:04 11K 
[ ]heyting1__t16_heyting1.vout2021-07-25 20:51 5.9K 
[ ]heyting1__t17_heyting12021-07-18 08:04 13K 
[ ]heyting1__t17_heyting1.vout2021-07-25 17:09 5.9K 
[ ]heyting1__t18_heyting12021-07-18 08:05 22K 
[ ]heyting1__t18_heyting1.depv12021-07-25 20:57 124  
[ ]heyting1__t18_heyting1.depvmin12021-07-25 21:03 124  
[ ]heyting1__t18_heyting1.vmin12021-07-25 20:57 2.2K 
[ ]heyting1__t18_heyting1.vmin1out2021-07-25 20:58 33K 
[ ]heyting1__t18_heyting1.vout2021-07-25 19:46 30K 
[ ]heyting1__t19_heyting12021-07-18 08:05 34K 
[ ]heyting1__t19_heyting1.vout2021-07-25 19:40 3.7K 
[ ]heyting1__t20_heyting12021-07-18 08:05 47K 
[ ]heyting1__t20_heyting1.vout2021-07-25 19:44 3.7K 
[ ]heyting1__t21_heyting12021-07-18 08:06 28K 
[ ]heyting1__t21_heyting1.vout2021-07-25 16:58 7.9K 
[ ]heyting1__t22_heyting12021-07-18 08:06 28K 
[ ]heyting1__t22_heyting1.vout2021-07-25 20:46 7.4K 
[ ]heyting1__t23_heyting12021-07-18 08:07 42K 
[ ]heyting1__t23_heyting1.vout2021-07-25 16:55 5.9K 
[ ]heyting1__t24_heyting12021-07-18 08:07 47K 
[ ]heyting1__t24_heyting1.vout2021-07-25 15:53 7.4K 
[ ]heyting1__t25_heyting12021-07-18 08:08 42K 
[ ]heyting1__t25_heyting1.vout2021-07-25 17:56 7.3K 
[ ]heyting1__t26_heyting12021-07-18 08:08 51K 
[ ]heyting1__t26_heyting1.vout2021-07-25 14:39 6.8K 
[ ]heyting1__t27_heyting12021-07-18 08:09 30K 
[ ]heyting1__t27_heyting1.vout2021-07-25 15:02 4.1K 
[ ]heyting1__t28_heyting12021-07-18 08:09 55K 
[ ]heyting1__t28_heyting1.vout2021-07-25 16:06 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80