Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilbert1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbert1__l6_hilbert12024-07-27 20:58 7.1K 
[ ]hilbert1__l6_hilbert1.vout2024-08-03 07:59 7.4K 
[ ]hilbert1__l24_hilbert12024-07-27 20:59 11K 
[ ]hilbert1__l24_hilbert1.depv12024-08-03 10:19 125  
[ ]hilbert1__l24_hilbert1.depvmin12024-08-03 10:24 96  
[ ]hilbert1__l24_hilbert1.vmin12024-08-03 10:20 1.5K 
[ ]hilbert1__l24_hilbert1.vmin1out2024-08-03 10:22 29K 
[ ]hilbert1__l24_hilbert1.vout2024-08-03 06:25 33K 
[ ]hilbert1__l26_hilbert12024-07-27 20:07 20K 
[ ]hilbert1__l26_hilbert1.vout2024-08-03 05:48 2.0K 
[ ]hilbert1__l39_hilbert12024-07-27 21:00 18K 
[ ]hilbert1__l39_hilbert1.depv12024-08-03 10:19 54  
[ ]hilbert1__l39_hilbert1.depvmin12024-08-03 10:24 54  
[ ]hilbert1__l39_hilbert1.vmin12024-08-03 10:20 1.1K 
[ ]hilbert1__l39_hilbert1.vmin1out2024-08-03 10:23 11K 
[ ]hilbert1__l39_hilbert1.vout2024-08-03 10:10 17K 
[ ]hilbert1__l65_hilbert12024-07-27 21:01 20K 
[ ]hilbert1__l65_hilbert1.depv12024-08-03 10:19 82  
[ ]hilbert1__l65_hilbert1.depvmin12024-08-03 10:24 82  
[ ]hilbert1__l65_hilbert1.vmin12024-08-03 10:20 1.5K 
[ ]hilbert1__l65_hilbert1.vmin1out2024-08-03 10:20 23K 
[ ]hilbert1__l65_hilbert1.vout2024-08-03 08:06 21K 
[ ]hilbert1__l66_hilbert12024-07-27 21:02 20K 
[ ]hilbert1__l66_hilbert1.vout2024-08-03 06:31 2.0K 
[ ]hilbert1__l67_hilbert12024-07-27 21:03 19K 
[ ]hilbert1__l67_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l67_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l67_hilbert1.vmin12024-08-03 10:20 1.2K 
[ ]hilbert1__l67_hilbert1.vmin1out2024-08-03 10:20 13K 
[ ]hilbert1__l67_hilbert1.vout2024-08-03 09:05 20K 
[ ]hilbert1__l68_hilbert12024-07-27 21:05 20K 
[ ]hilbert1__l68_hilbert1.vout2024-08-03 04:53 2.0K 
[ ]hilbert1__l69_hilbert12024-07-27 21:06 20K 
[ ]hilbert1__l69_hilbert1.vout2024-08-03 04:20 2.0K 
[ ]hilbert1__l70_hilbert12024-07-27 21:07 19K 
[ ]hilbert1__l70_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l70_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l70_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__l70_hilbert1.vmin1out2024-08-03 10:23 14K 
[ ]hilbert1__l70_hilbert1.vout2024-08-03 05:28 21K 
[ ]hilbert1__l71_hilbert12024-07-27 21:08 20K 
[ ]hilbert1__l71_hilbert1.vout2024-08-03 06:41 2.0K 
[ ]hilbert1__l72_hilbert12024-07-27 21:09 19K 
[ ]hilbert1__l72_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l72_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l72_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__l72_hilbert1.vmin1out2024-08-03 10:21 13K 
[ ]hilbert1__l72_hilbert1.vout2024-08-03 07:53 15K 
[ ]hilbert1__l73_hilbert12024-07-27 21:10 19K 
[ ]hilbert1__l73_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l73_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l73_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__l73_hilbert1.vmin1out2024-08-03 10:22 15K 
[ ]hilbert1__l73_hilbert1.vout2024-08-03 08:56 15K 
[ ]hilbert1__l74_hilbert12024-07-27 21:11 19K 
[ ]hilbert1__l74_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l74_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l74_hilbert1.vmin12024-08-03 10:20 1.2K 
[ ]hilbert1__l74_hilbert1.vmin1out2024-08-03 10:21 11K 
[ ]hilbert1__l74_hilbert1.vout2024-08-03 09:43 14K 
[ ]hilbert1__l75_hilbert12024-07-27 21:13 20K 
[ ]hilbert1__l75_hilbert1.vout2024-08-03 05:19 2.0K 
[ ]hilbert1__l77_hilbert12024-07-27 21:14 19K 
[ ]hilbert1__l77_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l77_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l77_hilbert1.vmin12024-08-03 10:20 1.2K 
[ ]hilbert1__l77_hilbert1.vmin1out2024-08-03 10:23 11K 
[ ]hilbert1__l77_hilbert1.vout2024-08-03 04:12 14K 
[ ]hilbert1__l78_hilbert12024-07-27 21:15 20K 
[ ]hilbert1__l78_hilbert1.vout2024-08-03 05:01 2.0K 
[ ]hilbert1__l79_hilbert12024-07-27 21:16 19K 
[ ]hilbert1__l79_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l79_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l79_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__l79_hilbert1.vmin1out2024-08-03 10:22 13K 
[ ]hilbert1__l79_hilbert1.vout2024-08-03 07:22 20K 
[ ]hilbert1__l80_hilbert12024-07-27 21:17 19K 
[ ]hilbert1__l80_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__l80_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__l80_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__l80_hilbert1.vmin1out2024-08-03 10:20 13K 
[ ]hilbert1__l80_hilbert1.vout2024-08-03 07:27 20K 
[ ]hilbert1__l81_hilbert12024-07-27 21:18 20K 
[ ]hilbert1__l81_hilbert1.vout2024-08-03 08:28 2.0K 
[ ]hilbert1__t1_hilbert12024-07-27 20:08 15K 
[ ]hilbert1__t1_hilbert1.vout2024-08-03 08:49 7.3K 
[ ]hilbert1__t2_hilbert12024-07-27 20:09 18K 
[ ]hilbert1__t2_hilbert1.vout2024-08-03 08:16 7.3K 
[ ]hilbert1__t3_hilbert12024-07-27 20:10 18K 
[ ]hilbert1__t3_hilbert1.vout2024-08-03 06:31 7.3K 
[ ]hilbert1__t4_hilbert12024-07-27 20:11 18K 
[ ]hilbert1__t4_hilbert1.vout2024-08-03 07:08 7.3K 
[ ]hilbert1__t5_hilbert12024-07-27 20:12 18K 
[ ]hilbert1__t5_hilbert1.vout2024-08-03 09:49 7.3K 
[ ]hilbert1__t6_hilbert12024-07-27 20:14 18K 
[ ]hilbert1__t6_hilbert1.vout2024-08-03 07:31 7.3K 
[ ]hilbert1__t7_hilbert12024-07-27 20:15 18K 
[ ]hilbert1__t7_hilbert1.vout2024-08-03 09:37 7.3K 
[ ]hilbert1__t8_hilbert12024-07-27 20:03 11K 
[ ]hilbert1__t8_hilbert1.depv12024-08-03 10:19 83  
[ ]hilbert1__t8_hilbert1.depvmin12024-08-03 10:24 83  
[ ]hilbert1__t8_hilbert1.vmin12024-08-03 10:20 1.1K 
[ ]hilbert1__t8_hilbert1.vmin1out2024-08-03 10:23 20K 
[ ]hilbert1__t8_hilbert1.vout2024-08-03 06:15 20K 
[ ]hilbert1__t9_hilbert12024-07-27 20:15 11K 
[ ]hilbert1__t9_hilbert1.depv12024-08-03 10:19 83  
[ ]hilbert1__t9_hilbert1.depvmin12024-08-03 10:24 83  
[ ]hilbert1__t9_hilbert1.vmin12024-08-03 10:20 1.0K 
[ ]hilbert1__t9_hilbert1.vmin1out2024-08-03 10:23 19K 
[ ]hilbert1__t9_hilbert1.vout2024-08-03 07:56 17K 
[ ]hilbert1__t10_hilbert12024-07-27 20:16 11K 
[ ]hilbert1__t10_hilbert1.vout2024-08-03 07:18 7.9K 
[ ]hilbert1__t11_hilbert12024-07-27 20:17 11K 
[ ]hilbert1__t11_hilbert1.depv12024-08-03 10:19 66  
[ ]hilbert1__t11_hilbert1.depvmin12024-08-03 10:24 66  
[ ]hilbert1__t11_hilbert1.vmin12024-08-03 10:20 636  
[ ]hilbert1__t11_hilbert1.vmin1out2024-08-03 10:20 5.3K 
[ ]hilbert1__t11_hilbert1.vout2024-08-03 04:31 6.7K 
[ ]hilbert1__t12_hilbert12024-07-27 20:18 11K 
[ ]hilbert1__t12_hilbert1.depv12024-08-03 10:19 151  
[ ]hilbert1__t12_hilbert1.depvmin12024-08-03 10:24 85  
[ ]hilbert1__t12_hilbert1.vmin12024-08-03 10:20 1.6K 
[ ]hilbert1__t12_hilbert1.vmin1out2024-08-03 10:22 18K 
[ ]hilbert1__t12_hilbert1.vout2024-08-03 05:51 27K 
[ ]hilbert1__t13_hilbert12024-07-27 20:19 11K 
[ ]hilbert1__t13_hilbert1.depv12024-08-03 10:19 97  
[ ]hilbert1__t13_hilbert1.depvmin12024-08-03 10:24 97  
[ ]hilbert1__t13_hilbert1.vmin12024-08-03 10:20 862  
[ ]hilbert1__t13_hilbert1.vmin1out2024-08-03 10:22 6.7K 
[ ]hilbert1__t13_hilbert1.vout2024-08-03 06:19 8.7K 
[ ]hilbert1__t14_hilbert12024-07-27 20:20 19K 
[ ]hilbert1__t14_hilbert1.vout2024-08-03 06:51 2.0K 
[ ]hilbert1__t15_hilbert12024-07-27 20:21 19K 
[ ]hilbert1__t15_hilbert1.depv12024-08-03 10:19 69  
[ ]hilbert1__t15_hilbert1.depvmin12024-08-03 10:24 69  
[ ]hilbert1__t15_hilbert1.vmin12024-08-03 10:20 1.2K 
[ ]hilbert1__t15_hilbert1.vmin1out2024-08-03 10:23 20K 
[ ]hilbert1__t15_hilbert1.vout2024-08-03 07:39 18K 
[ ]hilbert1__t16_hilbert12024-07-27 20:04 18K 
[ ]hilbert1__t16_hilbert1.depv12024-08-03 10:19 81  
[ ]hilbert1__t16_hilbert1.depvmin12024-08-03 10:24 81  
[ ]hilbert1__t16_hilbert1.vmin12024-08-03 10:20 681  
[ ]hilbert1__t16_hilbert1.vmin1out2024-08-03 10:21 4.5K 
[ ]hilbert1__t16_hilbert1.vout2024-08-03 08:59 4.5K 
[ ]hilbert1__t17_hilbert12024-07-27 20:05 18K 
[ ]hilbert1__t17_hilbert1.depv12024-08-03 10:19 108  
[ ]hilbert1__t17_hilbert1.depvmin12024-08-03 10:24 79  
[ ]hilbert1__t17_hilbert1.vmin12024-08-03 10:20 1.1K 
[ ]hilbert1__t17_hilbert1.vmin1out2024-08-03 10:21 6.6K 
[ ]hilbert1__t17_hilbert1.vout2024-08-03 08:29 9.9K 
[ ]hilbert1__t18_hilbert12024-07-27 20:06 18K 
[ ]hilbert1__t18_hilbert1.depv12024-08-03 10:19 108  
[ ]hilbert1__t18_hilbert1.depvmin12024-08-03 10:24 79  
[ ]hilbert1__t18_hilbert1.vmin12024-08-03 10:20 1.1K 
[ ]hilbert1__t18_hilbert1.vmin1out2024-08-03 10:23 6.6K 
[ ]hilbert1__t18_hilbert1.vout2024-08-03 08:45 9.9K 
[ ]hilbert1__t19_hilbert12024-07-27 20:22 19K 
[ ]hilbert1__t19_hilbert1.vout2024-08-03 10:08 2.0K 
[ ]hilbert1__t20_hilbert12024-07-27 20:23 20K 
[ ]hilbert1__t20_hilbert1.vout2024-08-03 08:18 2.0K 
[ ]hilbert1__t21_hilbert12024-07-27 20:24 18K 
[ ]hilbert1__t21_hilbert1.depv12024-08-03 10:19 54  
[ ]hilbert1__t21_hilbert1.depvmin12024-08-03 10:24 54  
[ ]hilbert1__t21_hilbert1.vmin12024-08-03 10:20 1.0K 
[ ]hilbert1__t21_hilbert1.vmin1out2024-08-03 10:23 8.2K 
[ ]hilbert1__t21_hilbert1.vout2024-08-03 06:18 14K 
[ ]hilbert1__t22_hilbert12024-07-27 20:25 20K 
[ ]hilbert1__t22_hilbert1.vout2024-08-03 07:14 2.0K 
[ ]hilbert1__t23_hilbert12024-07-27 20:27 20K 
[ ]hilbert1__t23_hilbert1.vout2024-08-03 08:06 2.0K 
[ ]hilbert1__t24_hilbert12024-07-27 20:28 20K 
[ ]hilbert1__t24_hilbert1.vout2024-08-03 08:50 2.0K 
[ ]hilbert1__t25_hilbert12024-07-27 20:29 20K 
[ ]hilbert1__t25_hilbert1.vout2024-08-03 09:17 2.0K 
[ ]hilbert1__t26_hilbert12024-07-27 20:30 20K 
[ ]hilbert1__t26_hilbert1.vout2024-08-03 08:33 2.0K 
[ ]hilbert1__t27_hilbert12024-07-27 20:31 20K 
[ ]hilbert1__t27_hilbert1.vout2024-08-03 04:15 2.0K 
[ ]hilbert1__t28_hilbert12024-07-27 20:32 20K 
[ ]hilbert1__t28_hilbert1.vout2024-08-03 08:24 2.0K 
[ ]hilbert1__t29_hilbert12024-07-27 20:33 20K 
[ ]hilbert1__t29_hilbert1.vout2024-08-03 09:27 2.0K 
[ ]hilbert1__t30_hilbert12024-07-27 20:34 19K 
[ ]hilbert1__t30_hilbert1.depv12024-08-03 10:19 97  
[ ]hilbert1__t30_hilbert1.depvmin12024-08-03 10:24 97  
[ ]hilbert1__t30_hilbert1.vmin12024-08-03 10:20 1.5K 
[ ]hilbert1__t30_hilbert1.vmin1out2024-08-03 10:21 21K 
[ ]hilbert1__t30_hilbert1.vout2024-08-03 04:39 20K 
[ ]hilbert1__t31_hilbert12024-07-27 20:35 19K 
[ ]hilbert1__t31_hilbert1.depv12024-08-03 10:19 84  
[ ]hilbert1__t31_hilbert1.depvmin12024-08-03 10:24 84  
[ ]hilbert1__t31_hilbert1.vmin12024-08-03 10:20 1.4K 
[ ]hilbert1__t31_hilbert1.vmin1out2024-08-03 10:22 30K 
[ ]hilbert1__t31_hilbert1.vout2024-08-03 10:12 27K 
[ ]hilbert1__t32_hilbert12024-07-27 20:37 18K 
[ ]hilbert1__t32_hilbert1.depv12024-08-03 10:19 26  
[ ]hilbert1__t32_hilbert1.depvmin12024-08-03 10:24 26  
[ ]hilbert1__t32_hilbert1.vmin12024-08-03 10:20 446  
[ ]hilbert1__t32_hilbert1.vmin1out2024-08-03 10:20 6.2K 
[ ]hilbert1__t32_hilbert1.vout2024-08-03 09:11 6.3K 
[ ]hilbert1__t33_hilbert12024-07-27 20:38 20K 
[ ]hilbert1__t33_hilbert1.vout2024-08-03 04:17 2.0K 
[ ]hilbert1__t34_hilbert12024-07-27 20:39 21K 
[ ]hilbert1__t34_hilbert1.vout2024-08-03 05:48 2.0K 
[ ]hilbert1__t35_hilbert12024-07-27 20:40 20K 
[ ]hilbert1__t35_hilbert1.vout2024-08-03 05:43 2.0K 
[ ]hilbert1__t36_hilbert12024-07-27 20:41 20K 
[ ]hilbert1__t36_hilbert1.depv12024-08-03 10:19 135  
[ ]hilbert1__t36_hilbert1.depvmin12024-08-03 10:24 135  
[ ]hilbert1__t36_hilbert1.vmin12024-08-03 10:20 1.9K 
[ ]hilbert1__t36_hilbert1.vmin1out2024-08-03 10:22 25K 
[ ]hilbert1__t36_hilbert1.vout2024-08-03 04:50 26K 
[ ]hilbert1__t37_hilbert12024-07-27 20:42 20K 
[ ]hilbert1__t37_hilbert1.vout2024-08-03 08:05 2.0K 
[ ]hilbert1__t38_hilbert12024-07-27 20:43 20K 
[ ]hilbert1__t38_hilbert1.depv12024-08-03 10:19 97  
[ ]hilbert1__t38_hilbert1.depvmin12024-08-03 10:24 97  
[ ]hilbert1__t38_hilbert1.vmin12024-08-03 10:20 1.7K 
[ ]hilbert1__t38_hilbert1.vmin1out2024-08-03 10:22 25K 
[ ]hilbert1__t38_hilbert1.vout2024-08-03 10:08 24K 
[ ]hilbert1__t39_hilbert12024-07-27 20:45 20K 
[ ]hilbert1__t39_hilbert1.depv12024-08-03 10:19 97  
[ ]hilbert1__t39_hilbert1.depvmin12024-08-03 10:24 97  
[ ]hilbert1__t39_hilbert1.vmin12024-08-03 10:20 1.7K 
[ ]hilbert1__t39_hilbert1.vmin1out2024-08-03 10:22 25K 
[ ]hilbert1__t39_hilbert1.vout2024-08-03 07:30 24K 
[ ]hilbert1__t40_hilbert12024-07-27 20:46 20K 
[ ]hilbert1__t40_hilbert1.vout2024-08-03 05:30 2.0K 
[ ]hilbert1__t41_hilbert12024-07-27 20:47 19K 
[ ]hilbert1__t41_hilbert1.depv12024-08-03 10:19 82  
[ ]hilbert1__t41_hilbert1.depvmin12024-08-03 10:24 82  
[ ]hilbert1__t41_hilbert1.vmin12024-08-03 10:20 1.4K 
[ ]hilbert1__t41_hilbert1.vmin1out2024-08-03 10:23 13K 
[ ]hilbert1__t41_hilbert1.vout2024-08-03 09:22 21K 
[ ]hilbert1__t42_hilbert12024-07-27 20:48 20K 
[ ]hilbert1__t42_hilbert1.vout2024-08-03 09:55 2.0K 
[ ]hilbert1__t43_hilbert12024-07-27 20:49 19K 
[ ]hilbert1__t43_hilbert1.vout2024-08-03 08:07 2.0K 
[ ]hilbert1__t44_hilbert12024-07-27 20:50 19K 
[ ]hilbert1__t44_hilbert1.depv12024-08-03 10:19 82  
[ ]hilbert1__t44_hilbert1.depvmin12024-08-03 10:24 82  
[ ]hilbert1__t44_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__t44_hilbert1.vmin1out2024-08-03 10:21 11K 
[ ]hilbert1__t44_hilbert1.vout2024-08-03 07:08 20K 
[ ]hilbert1__t45_hilbert12024-07-27 20:51 20K 
[ ]hilbert1__t45_hilbert1.vout2024-08-03 08:41 2.0K 
[ ]hilbert1__t46_hilbert12024-07-27 20:53 20K 
[ ]hilbert1__t46_hilbert1.vout2024-08-03 10:05 2.0K 
[ ]hilbert1__t47_hilbert12024-07-27 20:54 20K 
[ ]hilbert1__t47_hilbert1.vout2024-08-03 08:41 2.0K 
[ ]hilbert1__t48_hilbert12024-07-27 20:55 20K 
[ ]hilbert1__t48_hilbert1.vout2024-08-03 08:38 2.0K 
[ ]hilbert1__t49_hilbert12024-07-27 20:56 19K 
[ ]hilbert1__t49_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__t49_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__t49_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__t49_hilbert1.vmin1out2024-08-03 10:22 13K 
[ ]hilbert1__t49_hilbert1.vout2024-08-03 09:49 21K 
[ ]hilbert1__t50_hilbert12024-07-27 20:57 19K 
[ ]hilbert1__t50_hilbert1.depv12024-08-03 10:19 67  
[ ]hilbert1__t50_hilbert1.depvmin12024-08-03 10:24 67  
[ ]hilbert1__t50_hilbert1.vmin12024-08-03 10:20 1.3K 
[ ]hilbert1__t50_hilbert1.vmin1out2024-08-03 10:21 14K 
[ ]hilbert1__t50_hilbert1.vout2024-08-03 06:12 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80