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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbert4__l10_hilbert42024-07-28 20:32 24K 
[ ]hilbert4__l10_hilbert4.vout2024-08-03 09:42 5.9K 
[ ]hilbert4__l14_hilbert42024-07-28 20:34 58K 
[ ]hilbert4__l14_hilbert4.vout2024-08-03 05:11 3.7K 
[ ]hilbert4__l15_hilbert42024-07-28 20:36 58K 
[ ]hilbert4__l15_hilbert4.vout2024-08-03 09:53 4.2K 
[ ]hilbert4__l16_hilbert42024-07-28 20:38 60K 
[ ]hilbert4__l16_hilbert4.vout2024-08-03 07:04 7.3K 
[ ]hilbert4__l17_hilbert42024-07-28 20:40 53K 
[ ]hilbert4__l17_hilbert4.depv12024-08-03 10:19 200  
[ ]hilbert4__l17_hilbert4.depvmin12024-08-03 10:24 200  
[ ]hilbert4__l17_hilbert4.vmin12024-08-03 10:19 1.8K 
[ ]hilbert4__l17_hilbert4.vmin1out2024-08-03 10:22 15K 
[ ]hilbert4__l17_hilbert4.vout2024-08-03 07:15 25K 
[ ]hilbert4__l18_hilbert42024-07-28 20:41 56K 
[ ]hilbert4__l18_hilbert4.depv12024-08-03 10:19 165  
[ ]hilbert4__l18_hilbert4.depvmin12024-08-03 10:24 125  
[ ]hilbert4__l18_hilbert4.vmin12024-08-03 10:19 2.0K 
[ ]hilbert4__l18_hilbert4.vmin1out2024-08-03 10:22 14K 
[ ]hilbert4__l18_hilbert4.vout2024-08-03 09:52 22K 
[ ]hilbert4__l24_hilbert42024-07-28 20:43 55K 
[ ]hilbert4__l24_hilbert4.vout2024-08-03 08:13 7.3K 
[ ]hilbert4__l25_hilbert42024-07-28 20:44 55K 
[ ]hilbert4__l25_hilbert4.depv12024-08-03 10:19 178  
[ ]hilbert4__l25_hilbert4.depvmin12024-08-03 10:24 141  
[ ]hilbert4__l25_hilbert4.vmin12024-08-03 10:19 1.6K 
[ ]hilbert4__l25_hilbert4.vmin1out2024-08-03 10:22 11K 
[ ]hilbert4__l25_hilbert4.vout2024-08-03 08:40 18K 
[ ]hilbert4__l26_hilbert42024-07-28 20:46 57K 
[ ]hilbert4__l26_hilbert4.vout2024-08-03 06:48 2.0K 
[ ]hilbert4__l29_hilbert42024-07-28 20:49 99K 
[ ]hilbert4__l29_hilbert4.vout2024-08-03 09:01 7.3K 
[ ]hilbert4__t1_hilbert42024-07-28 20:19 1.3K 
[ ]hilbert4__t1_hilbert4.depv12024-08-03 10:19 24  
[ ]hilbert4__t1_hilbert4.depvmin12024-08-03 10:24 24  
[ ]hilbert4__t1_hilbert4.vmin12024-08-03 10:19 344  
[ ]hilbert4__t1_hilbert4.vmin1out2024-08-03 10:22 7.0K 
[ ]hilbert4__t1_hilbert4.vout2024-08-03 09:56 7.0K 
[ ]hilbert4__t2_hilbert42024-07-28 20:20 34K 
[ ]hilbert4__t2_hilbert4.vout2024-08-03 06:21 7.3K 
[ ]hilbert4__t3_hilbert42024-07-28 20:21 31K 
[ ]hilbert4__t3_hilbert4.vout2024-08-03 09:18 2.0K 
[ ]hilbert4__t4_hilbert42024-07-28 20:22 34K 
[ ]hilbert4__t4_hilbert4.vout2024-08-03 07:27 4.7K 
[ ]hilbert4__t5_hilbert42024-07-28 20:24 32K 
[ ]hilbert4__t5_hilbert4.vout2024-08-03 09:55 4.7K 
[ ]hilbert4__t6_hilbert42024-07-28 20:25 49K 
[ ]hilbert4__t6_hilbert4.vout2024-08-03 09:37 4.7K 
[ ]hilbert4__t7_hilbert42024-07-28 20:27 31K 
[ ]hilbert4__t7_hilbert4.vout2024-08-03 07:15 2.0K 
[ ]hilbert4__t8_hilbert42024-07-28 20:28 36K 
[ ]hilbert4__t8_hilbert4.vout2024-08-03 07:34 4.7K 
[ ]hilbert4__t9_hilbert42024-07-28 20:29 52K 
[ ]hilbert4__t9_hilbert4.depv12024-08-03 10:19 309  
[ ]hilbert4__t9_hilbert4.depvmin12024-08-03 10:24 227  
[ ]hilbert4__t9_hilbert4.vmin12024-08-03 10:19 2.5K 
[ ]hilbert4__t9_hilbert4.vmin1out2024-08-03 10:21 18K 
[ ]hilbert4__t9_hilbert4.vout2024-08-03 05:39 33K 
[ ]hilbert4__t10_hilbert42024-07-28 20:31 56K 
[ ]hilbert4__t10_hilbert4.vout2024-08-03 04:12 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80