Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/heyting3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting3__l1_heyting32021-07-18 23:03 27K 
[ ]heyting3__l2_heyting32021-07-18 22:43 27K 
[ ]heyting3__l3_heyting32021-07-18 22:43 25K 
[ ]heyting3__l22_heyting32021-07-18 23:03 34K 
[ ]heyting3__l24_heyting32021-07-18 23:04 59K 
[ ]heyting3__l27_heyting32021-07-18 23:04 34K 
[ ]heyting3__l29_heyting32021-07-18 23:04 57K 
[ ]heyting3__l34_heyting32021-07-18 23:05 29K 
[ ]heyting3__l45_heyting32021-07-18 23:05 30K 
[ ]heyting3__l55_heyting32021-07-18 23:06 116K 
[ ]heyting3__s1_heyting32021-07-18 22:44 29K 
[ ]heyting3__t1_heyting32021-07-18 22:44 42K 
[ ]heyting3__t2_heyting32021-07-18 22:44 49K 
[ ]heyting3__t3_heyting32021-07-18 22:45 83K 
[ ]heyting3__t4_heyting32021-07-18 22:45 60K 
[ ]heyting3__t5_heyting32021-07-18 22:46 78K 
[ ]heyting3__t6_heyting32021-07-18 22:46 54K 
[ ]heyting3__t7_heyting32021-07-18 22:47 54K 
[ ]heyting3__t8_heyting32021-07-18 22:47 44K 
[ ]heyting3__t9_heyting32021-07-18 22:47 31K 
[ ]heyting3__t10_heyting32021-07-18 22:48 33K 
[ ]heyting3__t11_heyting32021-07-18 22:48 76K 
[ ]heyting3__t12_heyting32021-07-18 22:49 77K 
[ ]heyting3__t13_heyting32021-07-18 22:50 80K 
[ ]heyting3__t14_heyting32021-07-18 22:43 40K 
[ ]heyting3__t15_heyting32021-07-18 22:50 83K 
[ ]heyting3__t16_heyting32021-07-18 22:51 82K 
[ ]heyting3__t17_heyting32021-07-18 22:51 54K 
[ ]heyting3__t18_heyting32021-07-18 22:51 53K 
[ ]heyting3__t19_heyting32021-07-18 22:52 53K 
[ ]heyting3__t20_heyting32021-07-18 22:52 86K 
[ ]heyting3__t21_heyting32021-07-18 22:52 44K 
[ ]heyting3__t22_heyting32021-07-18 22:53 39K 
[ ]heyting3__t23_heyting32021-07-18 22:53 71K 
[ ]heyting3__t24_heyting32021-07-18 22:54 54K 
[ ]heyting3__t25_heyting32021-07-18 22:54 78K 
[ ]heyting3__t26_heyting32021-07-18 22:55 40K 
[ ]heyting3__t27_heyting32021-07-18 22:55 29K 
[ ]heyting3__t28_heyting32021-07-18 22:55 73K 
[ ]heyting3__t29_heyting32021-07-18 22:56 73K 
[ ]heyting3__t30_heyting32021-07-18 22:57 82K 
[ ]heyting3__t31_heyting32021-07-18 22:57 65K 
[ ]heyting3__t32_heyting32021-07-18 22:58 73K 
[ ]heyting3__t33_heyting32021-07-18 22:58 73K 
[ ]heyting3__t34_heyting32021-07-18 22:59 67K 
[ ]heyting3__t35_heyting32021-07-18 23:00 82K 
[ ]heyting3__t36_heyting32021-07-18 23:00 76K 
[ ]heyting3__t37_heyting32021-07-18 23:01 75K 
[ ]heyting3__t38_heyting32021-07-18 23:01 64K 
[ ]heyting3__t39_heyting32021-07-18 23:02 64K 
[ ]heyting3__t40_heyting32021-07-18 23:03 66K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80