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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]niven__l1_niven2024-07-27 18:21 41K 
[ ]niven__l1_niven.vout2024-08-03 09:06 2.0K 
[ ]niven__l2_niven2024-07-27 18:23 46K 
[ ]niven__l2_niven.depv12024-08-03 10:19 268  
[ ]niven__l2_niven.depvmin12024-08-03 10:24 268  
[ ]niven__l2_niven.vmin12024-08-03 10:19 1.6K 
[ ]niven__l2_niven.vmin1out2024-08-03 10:20 11K 
[ ]niven__l2_niven.vout2024-08-03 07:22 13K 
[ ]niven__l49_niven2024-07-27 20:26 190K 
[ ]niven__l49_niven.vout2024-08-03 06:14 4.7K 
[ ]niven__l51_niven2024-07-27 20:28 82K 
[ ]niven__l51_niven.vout2024-08-03 10:00 4.7K 
[ ]niven__l66_niven2024-07-27 20:30 682K 
[ ]niven__l66_niven.vout2024-08-03 09:30 7.2K 
[ ]niven__l76_niven2024-07-27 20:32 1.0M 
[ ]niven__l76_niven.vout2024-08-03 06:58 7.2K 
[ ]niven__t1_niven2024-07-27 18:24 41K 
[ ]niven__t1_niven.depv12024-08-03 10:19 98  
[ ]niven__t1_niven.depvmin12024-08-03 10:24 98  
[ ]niven__t1_niven.vmin12024-08-03 10:19 927  
[ ]niven__t1_niven.vmin1out2024-08-03 10:20 13K 
[ ]niven__t1_niven.vout2024-08-03 05:30 16K 
[ ]niven__t2_niven2024-07-27 18:25 40K 
[ ]niven__t2_niven.depv12024-08-03 10:19 61  
[ ]niven__t2_niven.depvmin12024-08-03 10:24 61  
[ ]niven__t2_niven.vmin12024-08-03 10:19 454  
[ ]niven__t2_niven.vmin1out2024-08-03 10:22 5.7K 
[ ]niven__t2_niven.vout2024-08-03 09:49 5.8K 
[ ]niven__t3_niven2024-07-27 18:27 152K 
[ ]niven__t3_niven.vout2024-08-03 04:27 7.2K 
[ ]niven__t4_niven2024-07-27 18:28 38K 
[ ]niven__t4_niven.vout2024-08-03 06:55 7.2K 
[ ]niven__t5_niven2024-07-27 18:30 45K 
[ ]niven__t5_niven.vout2024-08-03 04:37 6.7K 
[ ]niven__t6_niven2024-07-27 18:32 94K 
[ ]niven__t6_niven.vout2024-08-03 07:55 7.2K 
[ ]niven__t7_niven2024-07-27 18:35 72K 
[ ]niven__t7_niven.vout2024-08-03 04:32 4.7K 
[ ]niven__t8_niven2024-07-27 18:36 79K 
[ ]niven__t8_niven.vout2024-08-03 07:17 1.1K 
[ ]niven__t9_niven2024-07-27 18:12 53K 
[ ]niven__t9_niven.vout2024-08-03 06:27 1.1K 
[ ]niven__t10_niven2024-07-27 18:38 75K 
[ ]niven__t10_niven.vout2024-08-03 04:49 1.1K 
[ ]niven__t11_niven2024-07-27 18:14 68K 
[ ]niven__t11_niven.vout2024-08-03 05:36 1.0K 
[ ]niven__t12_niven2024-07-27 18:39 65K 
[ ]niven__t12_niven.vout2024-08-03 05:27 1.0K 
[ ]niven__t13_niven2024-07-27 18:15 60K 
[ ]niven__t13_niven.vout2024-08-03 06:32 1.1K 
[ ]niven__t14_niven2024-07-27 18:41 120K 
[ ]niven__t14_niven.vout2024-08-03 06:55 1.1K 
[ ]niven__t15_niven2024-07-27 18:17 99K 
[ ]niven__t15_niven.vout2024-08-03 08:12 1.1K 
[ ]niven__t16_niven2024-07-27 18:42 111K 
[ ]niven__t16_niven.vout2024-08-03 06:06 1.0K 
[ ]niven__t17_niven2024-07-27 18:18 57K 
[ ]niven__t17_niven.vout2024-08-03 05:08 1.2K 
[ ]niven__t18_niven2024-07-27 18:44 66K 
[ ]niven__t18_niven.vout2024-08-03 08:51 6.7K 
[ ]niven__t19_niven2024-07-27 18:46 65K 
[ ]niven__t19_niven.vout2024-08-03 08:53 4.1K 
[ ]niven__t20_niven2024-07-27 18:48 60K 
[ ]niven__t20_niven.vout2024-08-03 07:06 7.2K 
[ ]niven__t21_niven2024-07-27 18:50 58K 
[ ]niven__t21_niven.vout2024-08-03 07:05 4.1K 
[ ]niven__t22_niven2024-07-27 18:52 52K 
[ ]niven__t22_niven.vout2024-08-03 07:50 8.3K 
[ ]niven__t23_niven2024-07-27 18:53 54K 
[ ]niven__t23_niven.vout2024-08-03 04:59 7.2K 
[ ]niven__t24_niven2024-07-27 18:55 54K 
[ ]niven__t24_niven.vout2024-08-03 08:47 7.2K 
[ ]niven__t25_niven2024-07-27 18:57 54K 
[ ]niven__t25_niven.vout2024-08-03 10:18 7.2K 
[ ]niven__t26_niven2024-07-27 18:58 51K 
[ ]niven__t26_niven.vout2024-08-03 08:43 2.0K 
[ ]niven__t27_niven2024-07-27 19:00 53K 
[ ]niven__t27_niven.vout2024-08-03 05:27 7.3K 
[ ]niven__t28_niven2024-07-27 19:02 57K 
[ ]niven__t28_niven.vout2024-08-03 06:09 7.3K 
[ ]niven__t29_niven2024-07-27 19:04 57K 
[ ]niven__t29_niven.vout2024-08-03 06:07 5.8K 
[ ]niven__t30_niven2024-07-27 19:06 65K 
[ ]niven__t30_niven.vout2024-08-03 09:20 5.8K 
[ ]niven__t31_niven2024-07-27 19:08 63K 
[ ]niven__t31_niven.vout2024-08-03 06:54 5.8K 
[ ]niven__t32_niven2024-07-27 19:10 57K 
[ ]niven__t32_niven.vout2024-08-03 04:55 5.7K 
[ ]niven__t33_niven2024-07-27 19:12 65K 
[ ]niven__t33_niven.vout2024-08-03 08:47 5.7K 
[ ]niven__t34_niven2024-07-27 19:14 64K 
[ ]niven__t34_niven.vout2024-08-03 07:45 5.7K 
[ ]niven__t35_niven2024-07-27 19:16 50K 
[ ]niven__t35_niven.vout2024-08-03 09:14 4.1K 
[ ]niven__t36_niven2024-07-27 19:18 58K 
[ ]niven__t36_niven.vout2024-08-03 04:36 4.7K 
[ ]niven__t37_niven2024-07-27 19:20 58K 
[ ]niven__t37_niven.vout2024-08-03 08:46 4.7K 
[ ]niven__t38_niven2024-07-27 19:23 98K 
[ ]niven__t38_niven.vout2024-08-03 05:21 5.8K 
[ ]niven__t39_niven2024-07-27 19:25 68K 
[ ]niven__t39_niven.vout2024-08-03 06:42 2.0K 
[ ]niven__t40_niven2024-07-27 19:27 67K 
[ ]niven__t40_niven.vout2024-08-03 05:10 2.0K 
[ ]niven__t41_niven2024-07-27 18:20 54K 
[ ]niven__t41_niven.vout2024-08-03 05:45 1.1K 
[ ]niven__t42_niven2024-07-27 19:29 59K 
[ ]niven__t42_niven.vout2024-08-03 04:23 1.1K 
[ ]niven__t43_niven2024-07-27 19:31 76K 
[ ]niven__t43_niven.vout2024-08-03 09:15 1.1K 
[ ]niven__t44_niven2024-07-27 19:33 76K 
[ ]niven__t44_niven.vout2024-08-03 04:47 1.0K 
[ ]niven__t45_niven2024-07-27 19:35 54K 
[ ]niven__t45_niven.vout2024-08-03 04:17 6.8K 
[ ]niven__t46_niven2024-07-27 19:37 73K 
[ ]niven__t46_niven.vout2024-08-03 05:44 4.0K 
[ ]niven__t47_niven2024-07-27 19:39 84K 
[ ]niven__t47_niven.vout2024-08-03 05:59 7.3K 
[ ]niven__t48_niven2024-07-27 19:41 88K 
[ ]niven__t48_niven.vout2024-08-03 04:31 7.3K 
[ ]niven__t49_niven2024-07-27 19:43 55K 
[ ]niven__t49_niven.vout2024-08-03 07:46 1.1K 
[ ]niven__t50_niven2024-07-27 19:47 174K 
[ ]niven__t50_niven.vout2024-08-03 08:31 6.7K 
[ ]niven__t51_niven2024-07-27 19:49 81K 
[ ]niven__t51_niven.vout2024-08-03 09:50 4.7K 
[ ]niven__t52_niven2024-07-27 19:52 305K 
[ ]niven__t52_niven.vout2024-08-03 08:13 4.7K 
[ ]niven__t53_niven2024-07-27 19:55 482K 
[ ]niven__t53_niven.vout2024-08-03 06:25 4.7K 
[ ]niven__t54_niven2024-07-27 19:57 356K 
[ ]niven__t54_niven.vout2024-08-03 09:55 7.2K 
[ ]niven__t55_niven2024-07-27 19:58 439K 
[ ]niven__t55_niven.vout2024-08-03 05:24 7.2K 
[ ]niven__t56_niven2024-07-27 20:00 439K 
[ ]niven__t56_niven.vout2024-08-03 09:29 7.2K 
[ ]niven__t57_niven2024-07-27 20:02 480K 
[ ]niven__t57_niven.vout2024-08-03 05:29 7.2K 
[ ]niven__t58_niven2024-07-27 20:03 480K 
[ ]niven__t58_niven.vout2024-08-03 09:49 7.2K 
[ ]niven__t59_niven2024-07-27 20:05 773K 
[ ]niven__t59_niven.vout2024-08-03 04:51 7.2K 
[ ]niven__t60_niven2024-07-27 20:07 627K 
[ ]niven__t60_niven.vout2024-08-03 08:17 7.3K 
[ ]niven__t61_niven2024-07-27 20:08 233K 
[ ]niven__t61_niven.vout2024-08-03 07:44 2.0K 
[ ]niven__t62_niven2024-07-27 20:10 512K 
[ ]niven__t62_niven.vout2024-08-03 05:37 7.2K 
[ ]niven__t63_niven2024-07-27 20:12 327K 
[ ]niven__t63_niven.vout2024-08-03 09:44 7.2K 
[ ]niven__t64_niven2024-07-27 20:13 524K 
[ ]niven__t64_niven.vout2024-08-03 05:34 7.2K 
[ ]niven__t65_niven2024-07-27 20:15 567K 
[ ]niven__t65_niven.vout2024-08-03 05:47 7.2K 
[ ]niven__t66_niven2024-07-27 20:17 552K 
[ ]niven__t66_niven.vout2024-08-03 06:19 7.3K 
[ ]niven__t67_niven2024-07-27 20:18 551K 
[ ]niven__t67_niven.vout2024-08-03 09:15 7.3K 
[ ]niven__t68_niven2024-07-27 20:20 892K 
[ ]niven__t68_niven.vout2024-08-03 09:48 7.2K 
[ ]niven__t69_niven2024-07-27 20:22 754K 
[ ]niven__t69_niven.vout2024-08-03 05:47 7.2K 
[ ]niven__t70_niven2024-07-27 20:23 233K 
[ ]niven__t70_niven.vout2024-08-03 08:58 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80