Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small/heyting3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting3__l1_heyting32021-07-17 23:32 16K 
[ ]heyting3__l1_heyting3.depv12021-07-25 20:57 49  
[ ]heyting3__l1_heyting3.depvmin12021-07-25 21:03 49  
[ ]heyting3__l1_heyting3.vmin12021-07-25 20:57 553  
[ ]heyting3__l1_heyting3.vmin1out2021-07-25 21:02 6.6K 
[ ]heyting3__l1_heyting3.vout2021-07-25 15:18 6.7K 
[ ]heyting3__l2_heyting32021-07-17 23:07 16K 
[ ]heyting3__l2_heyting3.depv12021-07-25 20:57 122  
[ ]heyting3__l2_heyting3.depvmin12021-07-25 21:03 98  
[ ]heyting3__l2_heyting3.vmin12021-07-25 20:57 683  
[ ]heyting3__l2_heyting3.vmin1out2021-07-25 20:59 4.5K 
[ ]heyting3__l2_heyting3.vout2021-07-25 14:43 4.8K 
[ ]heyting3__l3_heyting32021-07-17 23:07 15K 
[ ]heyting3__l3_heyting3.depv12021-07-25 20:57 145  
[ ]heyting3__l3_heyting3.depvmin12021-07-25 21:03 121  
[ ]heyting3__l3_heyting3.vmin12021-07-25 20:57 790  
[ ]heyting3__l3_heyting3.vmin1out2021-07-25 20:58 5.3K 
[ ]heyting3__l3_heyting3.vout2021-07-25 17:07 5.6K 
[ ]heyting3__l22_heyting32021-07-17 23:32 21K 
[ ]heyting3__l22_heyting3.vout2021-07-25 18:56 2.0K 
[ ]heyting3__l24_heyting32021-07-17 23:32 36K 
[ ]heyting3__l24_heyting3.vout2021-07-25 20:38 7.4K 
[ ]heyting3__l27_heyting32021-07-17 23:33 21K 
[ ]heyting3__l27_heyting3.depv12021-07-25 20:57 38  
[ ]heyting3__l27_heyting3.depvmin12021-07-25 21:03 38  
[ ]heyting3__l27_heyting3.vmin12021-07-25 20:57 479  
[ ]heyting3__l27_heyting3.vmin1out2021-07-25 21:01 5.8K 
[ ]heyting3__l27_heyting3.vout2021-07-25 14:44 6.0K 
[ ]heyting3__l29_heyting32021-07-17 23:33 35K 
[ ]heyting3__l29_heyting3.vout2021-07-25 15:08 6.8K 
[ ]heyting3__l34_heyting32021-07-17 23:34 17K 
[ ]heyting3__l34_heyting3.depv12021-07-25 20:57 102  
[ ]heyting3__l34_heyting3.depvmin12021-07-25 21:03 102  
[ ]heyting3__l34_heyting3.vmin12021-07-25 20:57 1.2K 
[ ]heyting3__l34_heyting3.vmin1out2021-07-25 21:01 21K 
[ ]heyting3__l34_heyting3.vout2021-07-25 19:03 21K 
[ ]heyting3__l45_heyting32021-07-17 23:34 18K 
[ ]heyting3__l45_heyting3.depv12021-07-25 20:57 46  
[ ]heyting3__l45_heyting3.depvmin12021-07-25 21:03 46  
[ ]heyting3__l45_heyting3.vmin12021-07-25 20:57 410  
[ ]heyting3__l45_heyting3.vmin1out2021-07-25 20:58 7.4K 
[ ]heyting3__l45_heyting3.vout2021-07-25 20:04 7.0K 
[ ]heyting3__l55_heyting32021-07-17 23:35 71K 
[ ]heyting3__l55_heyting3.vout2021-07-25 19:21 7.3K 
[ ]heyting3__t1_heyting32021-07-17 23:08 25K 
[ ]heyting3__t1_heyting3.vout2021-07-25 18:55 7.3K 
[ ]heyting3__t2_heyting32021-07-17 23:08 30K 
[ ]heyting3__t2_heyting3.vout2021-07-25 20:29 7.3K 
[ ]heyting3__t3_heyting32021-07-17 23:09 49K 
[ ]heyting3__t3_heyting3.vout2021-07-25 19:00 7.3K 
[ ]heyting3__t4_heyting32021-07-17 23:09 37K 
[ ]heyting3__t4_heyting3.vout2021-07-25 19:49 6.8K 
[ ]heyting3__t5_heyting32021-07-17 23:10 46K 
[ ]heyting3__t5_heyting3.vout2021-07-25 19:43 6.8K 
[ ]heyting3__t6_heyting32021-07-17 23:10 32K 
[ ]heyting3__t6_heyting3.vout2021-07-25 20:48 4.1K 
[ ]heyting3__t7_heyting32021-07-17 23:11 32K 
[ ]heyting3__t7_heyting3.vout2021-07-25 20:15 4.1K 
[ ]heyting3__t8_heyting32021-07-17 23:12 28K 
[ ]heyting3__t8_heyting3.vout2021-07-25 14:32 7.3K 
[ ]heyting3__t9_heyting32021-07-17 23:12 19K 
[ ]heyting3__t9_heyting3.vout2021-07-25 14:50 5.3K 
[ ]heyting3__t10_heyting32021-07-17 23:12 21K 
[ ]heyting3__t10_heyting3.vout2021-07-25 16:26 7.3K 
[ ]heyting3__t11_heyting32021-07-17 23:13 46K 
[ ]heyting3__t11_heyting3.vout2021-07-25 19:17 7.9K 
[ ]heyting3__t12_heyting32021-07-17 23:14 47K 
[ ]heyting3__t12_heyting3.vout2021-07-25 18:27 8.4K 
[ ]heyting3__t13_heyting32021-07-17 23:15 48K 
[ ]heyting3__t13_heyting3.vout2021-07-25 16:45 7.9K 
[ ]heyting3__t14_heyting32021-07-17 23:07 24K 
[ ]heyting3__t14_heyting3.vout2021-07-25 15:19 7.3K 
[ ]heyting3__t15_heyting32021-07-17 23:16 49K 
[ ]heyting3__t15_heyting3.vout2021-07-25 19:17 4.1K 
[ ]heyting3__t16_heyting32021-07-17 23:16 48K 
[ ]heyting3__t16_heyting3.vout2021-07-25 20:13 7.3K 
[ ]heyting3__t17_heyting32021-07-17 23:17 33K 
[ ]heyting3__t17_heyting3.vout2021-07-25 18:18 7.3K 
[ ]heyting3__t18_heyting32021-07-17 23:17 33K 
[ ]heyting3__t18_heyting3.vout2021-07-25 16:02 7.3K 
[ ]heyting3__t19_heyting32021-07-17 23:18 33K 
[ ]heyting3__t19_heyting3.vout2021-07-25 17:40 7.3K 
[ ]heyting3__t20_heyting32021-07-17 23:18 51K 
[ ]heyting3__t20_heyting3.vout2021-07-25 17:01 7.3K 
[ ]heyting3__t21_heyting32021-07-17 23:18 27K 
[ ]heyting3__t21_heyting3.vout2021-07-25 15:51 7.3K 
[ ]heyting3__t22_heyting32021-07-17 23:19 24K 
[ ]heyting3__t22_heyting3.vout2021-07-25 16:58 7.3K 
[ ]heyting3__t23_heyting32021-07-17 23:19 42K 
[ ]heyting3__t23_heyting3.vout2021-07-25 19:50 7.3K 
[ ]heyting3__t24_heyting32021-07-17 23:20 34K 
[ ]heyting3__t24_heyting3.vout2021-07-25 14:54 7.4K 
[ ]heyting3__t25_heyting32021-07-17 23:21 48K 
[ ]heyting3__t25_heyting3.vout2021-07-25 20:26 3.7K 
[ ]heyting3__t26_heyting32021-07-17 23:21 24K 
[ ]heyting3__t26_heyting3.vout2021-07-25 20:09 7.3K 
[ ]heyting3__t27_heyting32021-07-17 23:21 18K 
[ ]heyting3__t27_heyting3.depv12021-07-25 20:57 177  
[ ]heyting3__t27_heyting3.depvmin12021-07-25 21:03 163  
[ ]heyting3__t27_heyting3.vmin12021-07-25 20:57 1.5K 
[ ]heyting3__t27_heyting3.vmin1out2021-07-25 21:02 19K 
[ ]heyting3__t27_heyting3.vout2021-07-25 18:50 21K 
[ ]heyting3__t28_heyting32021-07-17 23:22 44K 
[ ]heyting3__t28_heyting3.depv12021-07-25 20:57 291  
[ ]heyting3__t28_heyting3.depvmin12021-07-25 21:03 276  
[ ]heyting3__t28_heyting3.vmin12021-07-25 20:57 3.2K 
[ ]heyting3__t28_heyting3.vmin1out2021-07-25 20:59 30K 
[ ]heyting3__t28_heyting3.vout2021-07-25 17:13 32K 
[ ]heyting3__t29_heyting32021-07-17 23:23 44K 
[ ]heyting3__t29_heyting3.vout2021-07-25 14:27 7.3K 
[ ]heyting3__t30_heyting32021-07-17 23:24 50K 
[ ]heyting3__t30_heyting3.vout2021-07-25 14:59 6.8K 
[ ]heyting3__t31_heyting32021-07-17 23:24 40K 
[ ]heyting3__t31_heyting3.depv12021-07-25 20:57 192  
[ ]heyting3__t31_heyting3.depvmin12021-07-25 21:03 192  
[ ]heyting3__t31_heyting3.vmin12021-07-25 20:57 2.7K 
[ ]heyting3__t31_heyting3.vmin1out2021-07-25 21:01 71K 
[ ]heyting3__t31_heyting3.vout2021-07-25 18:46 62K 
[ ]heyting3__t32_heyting32021-07-17 23:25 44K 
[ ]heyting3__t32_heyting3.depv12021-07-25 20:57 292  
[ ]heyting3__t32_heyting3.depvmin12021-07-25 21:03 270  
[ ]heyting3__t32_heyting3.vmin12021-07-25 20:57 3.4K 
[ ]heyting3__t32_heyting3.vmin1out2021-07-25 21:00 32K 
[ ]heyting3__t32_heyting3.vout2021-07-25 15:16 31K 
[ ]heyting3__t33_heyting32021-07-17 23:26 44K 
[ ]heyting3__t33_heyting3.vout2021-07-25 17:23 4.7K 
[ ]heyting3__t34_heyting32021-07-17 23:27 41K 
[ ]heyting3__t34_heyting3.vout2021-07-25 15:35 6.8K 
[ ]heyting3__t35_heyting32021-07-17 23:27 50K 
[ ]heyting3__t35_heyting3.vout2021-07-25 16:30 4.7K 
[ ]heyting3__t36_heyting32021-07-17 23:28 46K 
[ ]heyting3__t36_heyting3.vout2021-07-25 15:52 7.4K 
[ ]heyting3__t37_heyting32021-07-17 23:29 46K 
[ ]heyting3__t37_heyting3.vout2021-07-25 19:43 7.4K 
[ ]heyting3__t38_heyting32021-07-17 23:30 39K 
[ ]heyting3__t38_heyting3.depv12021-07-25 20:57 239  
[ ]heyting3__t38_heyting3.depvmin12021-07-25 21:03 209  
[ ]heyting3__t38_heyting3.vmin12021-07-25 20:57 3.0K 
[ ]heyting3__t38_heyting3.vmin1out2021-07-25 20:59 31K 
[ ]heyting3__t38_heyting3.vout2021-07-25 17:28 28K 
[ ]heyting3__t39_heyting32021-07-17 23:30 39K 
[ ]heyting3__t39_heyting3.depv12021-07-25 20:57 247  
[ ]heyting3__t39_heyting3.depvmin12021-07-25 21:03 210  
[ ]heyting3__t39_heyting3.vmin12021-07-25 20:57 3.0K 
[ ]heyting3__t39_heyting3.vmin1out2021-07-25 21:02 29K 
[ ]heyting3__t39_heyting3.vout2021-07-25 16:27 28K 
[ ]heyting3__t40_heyting32021-07-17 23:31 40K 
[ ]heyting3__t40_heyting3.vout2021-07-25 20:02 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80