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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilb10_8__l1_hilb10_82024-07-27 20:39 58K 
[ ]hilb10_8__l1_hilb10_8.vout2024-08-03 04:17 2.0K 
[ ]hilb10_8__t1_hilb10_82024-07-27 19:34 33K 
[ ]hilb10_8__t1_hilb10_8.depv12024-08-03 10:19 75  
[ ]hilb10_8__t1_hilb10_8.depvmin12024-08-03 10:24 75  
[ ]hilb10_8__t1_hilb10_8.vmin12024-08-03 10:19 679  
[ ]hilb10_8__t1_hilb10_8.vmin1out2024-08-03 10:22 6.4K 
[ ]hilb10_8__t1_hilb10_8.vout2024-08-03 05:08 6.2K 
[ ]hilb10_8__t2_hilb10_82024-07-27 19:35 64K 
[ ]hilb10_8__t2_hilb10_8.vout2024-08-03 07:06 6.8K 
[ ]hilb10_8__t3_hilb10_82024-07-27 19:37 160K 
[ ]hilb10_8__t3_hilb10_8.vout2024-08-03 04:35 6.8K 
[ ]hilb10_8__t4_hilb10_82024-07-27 19:39 57K 
[ ]hilb10_8__t4_hilb10_8.vout2024-08-03 05:30 6.8K 
[ ]hilb10_8__t5_hilb10_82024-07-27 19:40 54K 
[ ]hilb10_8__t5_hilb10_8.depv12024-08-03 10:19 165  
[ ]hilb10_8__t5_hilb10_8.depvmin12024-08-03 10:24 152  
[ ]hilb10_8__t5_hilb10_8.vmin12024-08-03 10:19 2.0K 
[ ]hilb10_8__t5_hilb10_8.vmin1out2024-08-03 10:20 25K 
[ ]hilb10_8__t5_hilb10_8.vout2024-08-03 08:53 26K 
[ ]hilb10_8__t6_hilb10_82024-07-27 19:41 48K 
[ ]hilb10_8__t6_hilb10_8.vout2024-08-03 09:29 2.0K 
[ ]hilb10_8__t7_hilb10_82024-07-27 19:43 162K 
[ ]hilb10_8__t7_hilb10_8.vout2024-08-03 06:34 6.8K 
[ ]hilb10_8__t8_hilb10_82024-07-27 19:45 173K 
[ ]hilb10_8__t8_hilb10_8.vout2024-08-03 04:13 7.3K 
[ ]hilb10_8__t9_hilb10_82024-07-27 19:46 72K 
[ ]hilb10_8__t9_hilb10_8.vout2024-08-03 04:28 6.8K 
[ ]hilb10_8__t10_hilb10_82024-07-27 19:48 169K 
[ ]hilb10_8__t10_hilb10_8.vout2024-08-03 07:41 6.8K 
[ ]hilb10_8__t11_hilb10_82024-07-27 19:50 69K 
[ ]hilb10_8__t11_hilb10_8.vout2024-08-03 07:15 7.3K 
[ ]hilb10_8__t12_hilb10_82024-07-27 19:51 239K 
[ ]hilb10_8__t12_hilb10_8.vout2024-08-03 08:16 7.4K 
[ ]hilb10_8__t13_hilb10_82024-07-27 19:53 118K 
[ ]hilb10_8__t13_hilb10_8.vout2024-08-03 07:48 6.8K 
[ ]hilb10_8__t14_hilb10_82024-07-27 19:56 226K 
[ ]hilb10_8__t14_hilb10_8.vout2024-08-03 07:41 6.8K 
[ ]hilb10_8__t15_hilb10_82024-07-27 20:01 2.2M 
[ ]hilb10_8__t15_hilb10_8.vout2024-08-03 09:27 3.7K 
[ ]hilb10_8__t16_hilb10_82024-07-27 20:12 3.0M 
[ ]hilb10_8__t16_hilb10_8.vout2024-08-03 04:21 3.7K 
[ ]hilb10_8__t17_hilb10_82024-07-27 20:14 211K 
[ ]hilb10_8__t17_hilb10_8.vout2024-08-03 09:38 6.8K 
[ ]hilb10_8__t18_hilb10_82024-07-27 20:16 337K 
[ ]hilb10_8__t18_hilb10_8.vout2024-08-03 04:50 4.7K 
[ ]hilb10_8__t19_hilb10_82024-07-27 20:18 163K 
[ ]hilb10_8__t19_hilb10_8.vout2024-08-03 09:57 6.8K 
[ ]hilb10_8__t20_hilb10_82024-07-27 20:20 163K 
[ ]hilb10_8__t20_hilb10_8.vout2024-08-03 06:53 7.3K 
[ ]hilb10_8__t21_hilb10_82024-07-27 20:28 1.3M 
[ ]hilb10_8__t21_hilb10_8.vout2024-08-03 09:16 6.8K 
[ ]hilb10_8__t22_hilb10_82024-07-27 20:29 56K 
[ ]hilb10_8__t22_hilb10_8.vout2024-08-03 06:33 7.3K 
[ ]hilb10_8__t23_hilb10_82024-07-27 20:38 1.3M 
[ ]hilb10_8__t23_hilb10_8.vout2024-08-03 07:11 6.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80