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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbert1__l6_hilbert12021-07-18 08:04 7.3K 
[ ]hilbert1__l6_hilbert1.vout2021-07-25 17:25 7.5K 
[ ]hilbert1__l24_hilbert12021-07-18 08:05 11K 
[ ]hilbert1__l24_hilbert1.depv12021-07-25 20:57 96  
[ ]hilbert1__l24_hilbert1.depvmin12021-07-25 21:02 96  
[ ]hilbert1__l24_hilbert1.vmin12021-07-25 20:57 1.2K 
[ ]hilbert1__l24_hilbert1.vmin1out2021-07-25 21:02 29K 
[ ]hilbert1__l24_hilbert1.vout2021-07-25 20:48 30K 
[ ]hilbert1__l26_hilbert12021-07-18 07:51 18K 
[ ]hilbert1__l26_hilbert1.vout2021-07-25 15:31 2.0K 
[ ]hilbert1__l39_hilbert12021-07-18 08:05 17K 
[ ]hilbert1__l39_hilbert1.depv12021-07-25 20:57 54  
[ ]hilbert1__l39_hilbert1.depvmin12021-07-25 21:02 54  
[ ]hilbert1__l39_hilbert1.vmin12021-07-25 20:57 1.1K 
[ ]hilbert1__l39_hilbert1.vmin1out2021-07-25 20:59 11K 
[ ]hilbert1__l39_hilbert1.vout2021-07-25 18:05 17K 
[ ]hilbert1__l65_hilbert12021-07-18 08:05 18K 
[ ]hilbert1__l65_hilbert1.depv12021-07-25 20:57 82  
[ ]hilbert1__l65_hilbert1.depvmin12021-07-25 21:02 82  
[ ]hilbert1__l65_hilbert1.vmin12021-07-25 20:57 1.5K 
[ ]hilbert1__l65_hilbert1.vmin1out2021-07-25 21:02 23K 
[ ]hilbert1__l65_hilbert1.vout2021-07-25 15:27 21K 
[ ]hilbert1__l66_hilbert12021-07-18 08:06 18K 
[ ]hilbert1__l66_hilbert1.vout2021-07-25 20:41 2.0K 
[ ]hilbert1__l67_hilbert12021-07-18 08:06 17K 
[ ]hilbert1__l67_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l67_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l67_hilbert1.vmin12021-07-25 20:57 1.2K 
[ ]hilbert1__l67_hilbert1.vmin1out2021-07-25 21:01 13K 
[ ]hilbert1__l67_hilbert1.vout2021-07-25 16:44 20K 
[ ]hilbert1__l68_hilbert12021-07-18 08:06 18K 
[ ]hilbert1__l68_hilbert1.vout2021-07-25 18:11 2.0K 
[ ]hilbert1__l69_hilbert12021-07-18 08:06 18K 
[ ]hilbert1__l69_hilbert1.vout2021-07-25 19:37 2.0K 
[ ]hilbert1__l70_hilbert12021-07-18 08:07 17K 
[ ]hilbert1__l70_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l70_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l70_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__l70_hilbert1.vmin1out2021-07-25 21:01 14K 
[ ]hilbert1__l70_hilbert1.vout2021-07-25 15:44 21K 
[ ]hilbert1__l71_hilbert12021-07-18 08:07 18K 
[ ]hilbert1__l71_hilbert1.vout2021-07-25 20:36 2.0K 
[ ]hilbert1__l72_hilbert12021-07-18 08:07 17K 
[ ]hilbert1__l72_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l72_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l72_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__l72_hilbert1.vmin1out2021-07-25 20:59 13K 
[ ]hilbert1__l72_hilbert1.vout2021-07-25 19:19 21K 
[ ]hilbert1__l73_hilbert12021-07-18 08:08 17K 
[ ]hilbert1__l73_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l73_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l73_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__l73_hilbert1.vmin1out2021-07-25 21:02 15K 
[ ]hilbert1__l73_hilbert1.vout2021-07-25 16:41 21K 
[ ]hilbert1__l74_hilbert12021-07-18 08:08 17K 
[ ]hilbert1__l74_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l74_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l74_hilbert1.vmin12021-07-25 20:57 1.2K 
[ ]hilbert1__l74_hilbert1.vmin1out2021-07-25 20:59 11K 
[ ]hilbert1__l74_hilbert1.vout2021-07-25 20:28 14K 
[ ]hilbert1__l75_hilbert12021-07-18 08:08 18K 
[ ]hilbert1__l75_hilbert1.vout2021-07-25 20:10 2.0K 
[ ]hilbert1__l77_hilbert12021-07-18 08:09 17K 
[ ]hilbert1__l77_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l77_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l77_hilbert1.vmin12021-07-25 20:57 1.2K 
[ ]hilbert1__l77_hilbert1.vmin1out2021-07-25 21:00 11K 
[ ]hilbert1__l77_hilbert1.vout2021-07-25 15:08 14K 
[ ]hilbert1__l78_hilbert12021-07-18 08:09 18K 
[ ]hilbert1__l78_hilbert1.vout2021-07-25 17:58 2.0K 
[ ]hilbert1__l79_hilbert12021-07-18 08:09 17K 
[ ]hilbert1__l79_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l79_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l79_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__l79_hilbert1.vmin1out2021-07-25 20:58 13K 
[ ]hilbert1__l79_hilbert1.vout2021-07-25 18:05 21K 
[ ]hilbert1__l80_hilbert12021-07-18 08:09 17K 
[ ]hilbert1__l80_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__l80_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__l80_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__l80_hilbert1.vmin1out2021-07-25 21:00 13K 
[ ]hilbert1__l80_hilbert1.vout2021-07-25 17:42 21K 
[ ]hilbert1__l81_hilbert12021-07-18 08:10 18K 
[ ]hilbert1__l81_hilbert1.vout2021-07-25 17:25 2.0K 
[ ]hilbert1__t1_hilbert12021-07-18 07:51 14K 
[ ]hilbert1__t1_hilbert1.vout2021-07-25 18:28 7.3K 
[ ]hilbert1__t2_hilbert12021-07-18 07:51 17K 
[ ]hilbert1__t2_hilbert1.vout2021-07-25 19:35 7.3K 
[ ]hilbert1__t3_hilbert12021-07-18 07:52 16K 
[ ]hilbert1__t3_hilbert1.vout2021-07-25 17:29 7.3K 
[ ]hilbert1__t4_hilbert12021-07-18 07:52 16K 
[ ]hilbert1__t4_hilbert1.vout2021-07-25 16:39 7.3K 
[ ]hilbert1__t5_hilbert12021-07-18 07:52 17K 
[ ]hilbert1__t5_hilbert1.vout2021-07-25 14:52 7.3K 
[ ]hilbert1__t6_hilbert12021-07-18 07:53 17K 
[ ]hilbert1__t6_hilbert1.vout2021-07-25 20:03 7.4K 
[ ]hilbert1__t7_hilbert12021-07-18 07:53 16K 
[ ]hilbert1__t7_hilbert1.vout2021-07-25 16:57 7.3K 
[ ]hilbert1__t8_hilbert12021-07-18 07:50 11K 
[ ]hilbert1__t8_hilbert1.depv12021-07-25 20:57 83  
[ ]hilbert1__t8_hilbert1.depvmin12021-07-25 21:02 83  
[ ]hilbert1__t8_hilbert1.vmin12021-07-25 20:57 1.1K 
[ ]hilbert1__t8_hilbert1.vmin1out2021-07-25 21:00 20K 
[ ]hilbert1__t8_hilbert1.vout2021-07-25 16:26 20K 
[ ]hilbert1__t9_hilbert12021-07-18 07:53 11K 
[ ]hilbert1__t9_hilbert1.depv12021-07-25 20:57 83  
[ ]hilbert1__t9_hilbert1.depvmin12021-07-25 21:02 83  
[ ]hilbert1__t9_hilbert1.vmin12021-07-25 20:57 1.0K 
[ ]hilbert1__t9_hilbert1.vmin1out2021-07-25 21:00 19K 
[ ]hilbert1__t9_hilbert1.vout2021-07-25 15:33 17K 
[ ]hilbert1__t10_hilbert12021-07-18 07:53 11K 
[ ]hilbert1__t10_hilbert1.vout2021-07-25 16:57 7.9K 
[ ]hilbert1__t11_hilbert12021-07-18 07:54 11K 
[ ]hilbert1__t11_hilbert1.depv12021-07-25 20:57 66  
[ ]hilbert1__t11_hilbert1.depvmin12021-07-25 21:02 66  
[ ]hilbert1__t11_hilbert1.vmin12021-07-25 20:57 636  
[ ]hilbert1__t11_hilbert1.vmin1out2021-07-25 20:57 5.3K 
[ ]hilbert1__t11_hilbert1.vout2021-07-25 19:16 6.7K 
[ ]hilbert1__t12_hilbert12021-07-18 07:54 11K 
[ ]hilbert1__t12_hilbert1.depv12021-07-25 20:57 144  
[ ]hilbert1__t12_hilbert1.depvmin12021-07-25 21:02 94  
[ ]hilbert1__t12_hilbert1.vmin12021-07-25 20:57 1.4K 
[ ]hilbert1__t12_hilbert1.vmin1out2021-07-25 21:02 20K 
[ ]hilbert1__t12_hilbert1.vout2021-07-25 19:51 21K 
[ ]hilbert1__t13_hilbert12021-07-18 07:54 11K 
[ ]hilbert1__t13_hilbert1.depv12021-07-25 20:57 97  
[ ]hilbert1__t13_hilbert1.depvmin12021-07-25 21:02 97  
[ ]hilbert1__t13_hilbert1.vmin12021-07-25 20:57 862  
[ ]hilbert1__t13_hilbert1.vmin1out2021-07-25 21:01 6.7K 
[ ]hilbert1__t13_hilbert1.vout2021-07-25 18:03 8.7K 
[ ]hilbert1__t14_hilbert12021-07-18 07:54 17K 
[ ]hilbert1__t14_hilbert1.vout2021-07-25 20:08 2.0K 
[ ]hilbert1__t15_hilbert12021-07-18 07:55 18K 
[ ]hilbert1__t15_hilbert1.depv12021-07-25 20:57 69  
[ ]hilbert1__t15_hilbert1.depvmin12021-07-25 21:02 69  
[ ]hilbert1__t15_hilbert1.vmin12021-07-25 20:57 1.2K 
[ ]hilbert1__t15_hilbert1.vmin1out2021-07-25 21:00 20K 
[ ]hilbert1__t15_hilbert1.vout2021-07-25 15:51 18K 
[ ]hilbert1__t16_hilbert12021-07-18 07:50 17K 
[ ]hilbert1__t16_hilbert1.depv12021-07-25 20:57 81  
[ ]hilbert1__t16_hilbert1.depvmin12021-07-25 21:02 81  
[ ]hilbert1__t16_hilbert1.vmin12021-07-25 20:57 681  
[ ]hilbert1__t16_hilbert1.vmin1out2021-07-25 21:01 4.5K 
[ ]hilbert1__t16_hilbert1.vout2021-07-25 14:58 4.5K 
[ ]hilbert1__t17_hilbert12021-07-18 07:50 16K 
[ ]hilbert1__t17_hilbert1.depv12021-07-25 20:57 108  
[ ]hilbert1__t17_hilbert1.depvmin12021-07-25 21:02 79  
[ ]hilbert1__t17_hilbert1.vmin12021-07-25 20:57 1.1K 
[ ]hilbert1__t17_hilbert1.vmin1out2021-07-25 21:02 6.6K 
[ ]hilbert1__t17_hilbert1.vout2021-07-25 17:26 9.9K 
[ ]hilbert1__t18_hilbert12021-07-18 07:51 16K 
[ ]hilbert1__t18_hilbert1.depv12021-07-25 20:57 108  
[ ]hilbert1__t18_hilbert1.depvmin12021-07-25 21:02 79  
[ ]hilbert1__t18_hilbert1.vmin12021-07-25 20:57 1.1K 
[ ]hilbert1__t18_hilbert1.vmin1out2021-07-25 21:01 6.6K 
[ ]hilbert1__t18_hilbert1.vout2021-07-25 16:26 9.9K 
[ ]hilbert1__t19_hilbert12021-07-18 07:55 18K 
[ ]hilbert1__t19_hilbert1.vout2021-07-25 15:33 2.0K 
[ ]hilbert1__t20_hilbert12021-07-18 07:55 18K 
[ ]hilbert1__t20_hilbert1.vout2021-07-25 16:43 2.0K 
[ ]hilbert1__t21_hilbert12021-07-18 07:55 17K 
[ ]hilbert1__t21_hilbert1.depv12021-07-25 20:57 54  
[ ]hilbert1__t21_hilbert1.depvmin12021-07-25 21:02 54  
[ ]hilbert1__t21_hilbert1.vmin12021-07-25 20:57 1.0K 
[ ]hilbert1__t21_hilbert1.vmin1out2021-07-25 20:59 8.2K 
[ ]hilbert1__t21_hilbert1.vout2021-07-25 15:10 14K 
[ ]hilbert1__t22_hilbert12021-07-18 07:56 18K 
[ ]hilbert1__t22_hilbert1.vout2021-07-25 17:27 2.0K 
[ ]hilbert1__t23_hilbert12021-07-18 07:56 18K 
[ ]hilbert1__t23_hilbert1.vout2021-07-25 18:58 2.0K 
[ ]hilbert1__t24_hilbert12021-07-18 07:56 18K 
[ ]hilbert1__t24_hilbert1.vout2021-07-25 16:31 2.0K 
[ ]hilbert1__t25_hilbert12021-07-18 07:57 18K 
[ ]hilbert1__t25_hilbert1.vout2021-07-25 19:50 2.0K 
[ ]hilbert1__t26_hilbert12021-07-18 07:57 18K 
[ ]hilbert1__t26_hilbert1.vout2021-07-25 19:12 2.0K 
[ ]hilbert1__t27_hilbert12021-07-18 07:57 18K 
[ ]hilbert1__t27_hilbert1.vout2021-07-25 19:59 2.0K 
[ ]hilbert1__t28_hilbert12021-07-18 07:58 18K 
[ ]hilbert1__t28_hilbert1.vout2021-07-25 17:31 2.0K 
[ ]hilbert1__t29_hilbert12021-07-18 07:58 18K 
[ ]hilbert1__t29_hilbert1.vout2021-07-25 17:16 2.0K 
[ ]hilbert1__t30_hilbert12021-07-18 07:58 18K 
[ ]hilbert1__t30_hilbert1.depv12021-07-25 20:57 97  
[ ]hilbert1__t30_hilbert1.depvmin12021-07-25 21:02 97  
[ ]hilbert1__t30_hilbert1.vmin12021-07-25 20:57 1.5K 
[ ]hilbert1__t30_hilbert1.vmin1out2021-07-25 20:59 21K 
[ ]hilbert1__t30_hilbert1.vout2021-07-25 18:28 20K 
[ ]hilbert1__t31_hilbert12021-07-18 07:58 18K 
[ ]hilbert1__t31_hilbert1.depv12021-07-25 20:57 84  
[ ]hilbert1__t31_hilbert1.depvmin12021-07-25 21:02 84  
[ ]hilbert1__t31_hilbert1.vmin12021-07-25 20:57 1.4K 
[ ]hilbert1__t31_hilbert1.vmin1out2021-07-25 20:58 30K 
[ ]hilbert1__t31_hilbert1.vout2021-07-25 15:01 27K 
[ ]hilbert1__t32_hilbert12021-07-18 07:59 16K 
[ ]hilbert1__t32_hilbert1.depv12021-07-25 20:57 26  
[ ]hilbert1__t32_hilbert1.depvmin12021-07-25 21:02 26  
[ ]hilbert1__t32_hilbert1.vmin12021-07-25 20:57 446  
[ ]hilbert1__t32_hilbert1.vmin1out2021-07-25 21:02 6.2K 
[ ]hilbert1__t32_hilbert1.vout2021-07-25 19:44 6.3K 
[ ]hilbert1__t33_hilbert12021-07-18 07:59 18K 
[ ]hilbert1__t33_hilbert1.vout2021-07-25 17:20 2.0K 
[ ]hilbert1__t34_hilbert12021-07-18 07:59 19K 
[ ]hilbert1__t34_hilbert1.vout2021-07-25 18:27 2.0K 
[ ]hilbert1__t35_hilbert12021-07-18 08:00 18K 
[ ]hilbert1__t35_hilbert1.vout2021-07-25 16:21 2.0K 
[ ]hilbert1__t36_hilbert12021-07-18 08:00 18K 
[ ]hilbert1__t36_hilbert1.vout2021-07-25 17:10 2.0K 
[ ]hilbert1__t37_hilbert12021-07-18 08:00 18K 
[ ]hilbert1__t37_hilbert1.vout2021-07-25 17:03 2.0K 
[ ]hilbert1__t38_hilbert12021-07-18 08:01 18K 
[ ]hilbert1__t38_hilbert1.depv12021-07-25 20:57 97  
[ ]hilbert1__t38_hilbert1.depvmin12021-07-25 21:02 97  
[ ]hilbert1__t38_hilbert1.vmin12021-07-25 20:57 1.7K 
[ ]hilbert1__t38_hilbert1.vmin1out2021-07-25 20:58 25K 
[ ]hilbert1__t38_hilbert1.vout2021-07-25 17:36 24K 
[ ]hilbert1__t39_hilbert12021-07-18 08:01 18K 
[ ]hilbert1__t39_hilbert1.depv12021-07-25 20:57 97  
[ ]hilbert1__t39_hilbert1.depvmin12021-07-25 21:02 97  
[ ]hilbert1__t39_hilbert1.vmin12021-07-25 20:57 1.7K 
[ ]hilbert1__t39_hilbert1.vmin1out2021-07-25 21:01 25K 
[ ]hilbert1__t39_hilbert1.vout2021-07-25 19:20 24K 
[ ]hilbert1__t40_hilbert12021-07-18 08:01 18K 
[ ]hilbert1__t40_hilbert1.vout2021-07-25 17:17 2.0K 
[ ]hilbert1__t41_hilbert12021-07-18 08:01 17K 
[ ]hilbert1__t41_hilbert1.depv12021-07-25 20:57 82  
[ ]hilbert1__t41_hilbert1.depvmin12021-07-25 21:02 82  
[ ]hilbert1__t41_hilbert1.vmin12021-07-25 20:57 1.4K 
[ ]hilbert1__t41_hilbert1.vmin1out2021-07-25 20:59 13K 
[ ]hilbert1__t41_hilbert1.vout2021-07-25 17:49 16K 
[ ]hilbert1__t42_hilbert12021-07-18 08:02 18K 
[ ]hilbert1__t42_hilbert1.vout2021-07-25 17:05 2.0K 
[ ]hilbert1__t43_hilbert12021-07-18 08:02 18K 
[ ]hilbert1__t43_hilbert1.vout2021-07-25 15:46 2.0K 
[ ]hilbert1__t44_hilbert12021-07-18 08:02 17K 
[ ]hilbert1__t44_hilbert1.depv12021-07-25 20:57 82  
[ ]hilbert1__t44_hilbert1.depvmin12021-07-25 21:02 82  
[ ]hilbert1__t44_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__t44_hilbert1.vmin1out2021-07-25 21:00 11K 
[ ]hilbert1__t44_hilbert1.vout2021-07-25 18:55 20K 
[ ]hilbert1__t45_hilbert12021-07-18 08:03 18K 
[ ]hilbert1__t45_hilbert1.vout2021-07-25 19:43 2.0K 
[ ]hilbert1__t46_hilbert12021-07-18 08:03 18K 
[ ]hilbert1__t46_hilbert1.vout2021-07-25 18:29 2.0K 
[ ]hilbert1__t47_hilbert12021-07-18 08:03 18K 
[ ]hilbert1__t47_hilbert1.vout2021-07-25 17:34 2.0K 
[ ]hilbert1__t48_hilbert12021-07-18 08:04 18K 
[ ]hilbert1__t48_hilbert1.vout2021-07-25 16:17 2.0K 
[ ]hilbert1__t49_hilbert12021-07-18 08:04 17K 
[ ]hilbert1__t49_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__t49_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__t49_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__t49_hilbert1.vmin1out2021-07-25 20:58 13K 
[ ]hilbert1__t49_hilbert1.vout2021-07-25 16:42 21K 
[ ]hilbert1__t50_hilbert12021-07-18 08:04 17K 
[ ]hilbert1__t50_hilbert1.depv12021-07-25 20:57 67  
[ ]hilbert1__t50_hilbert1.depvmin12021-07-25 21:02 67  
[ ]hilbert1__t50_hilbert1.vmin12021-07-25 20:57 1.3K 
[ ]hilbert1__t50_hilbert1.vmin1out2021-07-25 20:59 14K 
[ ]hilbert1__t50_hilbert1.vout2021-07-25 14:53 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80