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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]supinf_2__t1_supinf_22024-07-27 02:55 27K 
[ ]supinf_2__t1_supinf_2.depv12024-08-03 10:19 37  
[ ]supinf_2__t1_supinf_2.depvmin12024-08-03 10:24 37  
[ ]supinf_2__t1_supinf_2.vmin12024-08-03 10:19 484  
[ ]supinf_2__t1_supinf_2.vmin1out2024-08-03 10:21 8.3K 
[ ]supinf_2__t1_supinf_2.vout2024-08-03 10:04 7.0K 
[ ]supinf_2__t2_supinf_22024-07-27 02:57 24K 
[ ]supinf_2__t2_supinf_2.depv12024-08-03 10:19 37  
[ ]supinf_2__t2_supinf_2.depvmin12024-08-03 10:24 37  
[ ]supinf_2__t2_supinf_2.vmin12024-08-03 10:19 338  
[ ]supinf_2__t2_supinf_2.vmin1out2024-08-03 10:20 5.4K 
[ ]supinf_2__t2_supinf_2.vout2024-08-03 09:22 3.8K 
[ ]supinf_2__t3_supinf_22024-07-27 03:11 36K 
[ ]supinf_2__t3_supinf_2.depv12024-08-03 10:19 37  
[ ]supinf_2__t3_supinf_2.depvmin12024-08-03 10:24 37  
[ ]supinf_2__t3_supinf_2.vmin12024-08-03 10:19 484  
[ ]supinf_2__t3_supinf_2.vmin1out2024-08-03 10:20 8.3K 
[ ]supinf_2__t3_supinf_2.vout2024-08-03 04:48 5.8K 
[ ]supinf_2__t5_supinf_22024-07-27 02:58 29K 
[ ]supinf_2__t5_supinf_2.depv12024-08-03 10:19 198  
[ ]supinf_2__t5_supinf_2.depvmin12024-08-03 10:24 198  
[ ]supinf_2__t5_supinf_2.vmin12024-08-03 10:19 1.4K 
[ ]supinf_2__t5_supinf_2.vmin1out2024-08-03 10:21 17K 
[ ]supinf_2__t5_supinf_2.vout2024-08-03 09:01 17K 
[ ]supinf_2__t6_supinf_22024-07-27 02:59 29K 
[ ]supinf_2__t6_supinf_2.depv12024-08-03 10:19 118  
[ ]supinf_2__t6_supinf_2.depvmin12024-08-03 10:24 118  
[ ]supinf_2__t6_supinf_2.vmin12024-08-03 10:19 931  
[ ]supinf_2__t6_supinf_2.vmin1out2024-08-03 10:21 12K 
[ ]supinf_2__t6_supinf_2.vout2024-08-03 06:01 11K 
[ ]supinf_2__t7_supinf_22024-07-27 03:13 24K 
[ ]supinf_2__t7_supinf_2.depv12024-08-03 10:19 497  
[ ]supinf_2__t7_supinf_2.depvmin12024-08-03 10:24 293  
[ ]supinf_2__t7_supinf_2.vmin12024-08-03 10:19 2.7K 
[ ]supinf_2__t7_supinf_2.vmin1out2024-08-03 10:22 29K 
[ ]supinf_2__t7_supinf_2.vout2024-08-03 06:06 34K 
[ ]supinf_2__t8_supinf_22024-07-27 03:14 35K 
[ ]supinf_2__t8_supinf_2.vout2024-08-03 09:53 7.3K 
[ ]supinf_2__t9_supinf_22024-07-27 03:16 35K 
[ ]supinf_2__t9_supinf_2.vout2024-08-03 06:52 7.3K 
[ ]supinf_2__t10_supinf_22024-07-27 03:01 34K 
[ ]supinf_2__t10_supinf_2.depv12024-08-03 10:19 25  
[ ]supinf_2__t10_supinf_2.depvmin12024-08-03 10:24 25  
[ ]supinf_2__t10_supinf_2.vmin12024-08-03 10:19 623  
[ ]supinf_2__t10_supinf_2.vmin1out2024-08-03 10:22 5.7K 
[ ]supinf_2__t10_supinf_2.vout2024-08-03 09:03 8.0K 
[ ]supinf_2__t11_supinf_22024-07-27 03:02 34K 
[ ]supinf_2__t11_supinf_2.depv12024-08-03 10:19 25  
[ ]supinf_2__t11_supinf_2.depvmin12024-08-03 10:24 25  
[ ]supinf_2__t11_supinf_2.vmin12024-08-03 10:19 623  
[ ]supinf_2__t11_supinf_2.vmin1out2024-08-03 10:23 5.7K 
[ ]supinf_2__t11_supinf_2.vout2024-08-03 08:31 8.0K 
[ ]supinf_2__t12_supinf_22024-07-27 03:17 31K 
[ ]supinf_2__t12_supinf_2.depv12024-08-03 10:19 343  
[ ]supinf_2__t12_supinf_2.depvmin12024-08-03 10:24 343  
[ ]supinf_2__t12_supinf_2.vmin12024-08-03 10:19 2.5K 
[ ]supinf_2__t12_supinf_2.vmin1out2024-08-03 10:22 44K 
[ ]supinf_2__t12_supinf_2.vout2024-08-03 05:34 37K 
[ ]supinf_2__t13_supinf_22024-07-27 03:18 31K 
[ ]supinf_2__t13_supinf_2.depv12024-08-03 10:19 343  
[ ]supinf_2__t13_supinf_2.depvmin12024-08-03 10:24 343  
[ ]supinf_2__t13_supinf_2.vmin12024-08-03 10:19 2.5K 
[ ]supinf_2__t13_supinf_2.vmin1out2024-08-03 10:22 44K 
[ ]supinf_2__t13_supinf_2.vout2024-08-03 07:56 37K 
[ ]supinf_2__t14_supinf_22024-07-27 03:20 32K 
[ ]supinf_2__t14_supinf_2.depv12024-08-03 10:19 429  
[ ]supinf_2__t14_supinf_2.depvmin12024-08-03 10:24 387  
[ ]supinf_2__t14_supinf_2.vmin12024-08-03 10:19 3.2K 
[ ]supinf_2__t14_supinf_2.vmin1out2024-08-03 10:23 26K 
[ ]supinf_2__t14_supinf_2.vout2024-08-03 07:26 36K 
[ ]supinf_2__t15_supinf_22024-07-27 03:21 32K 
[ ]supinf_2__t15_supinf_2.depv12024-08-03 10:19 429  
[ ]supinf_2__t15_supinf_2.depvmin12024-08-03 10:24 372  
[ ]supinf_2__t15_supinf_2.vmin12024-08-03 10:19 3.2K 
[ ]supinf_2__t15_supinf_2.vmin1out2024-08-03 10:20 26K 
[ ]supinf_2__t15_supinf_2.vout2024-08-03 05:07 36K 
[ ]supinf_2__t16_supinf_22024-07-27 03:23 46K 
[ ]supinf_2__t16_supinf_2.vout2024-08-03 07:59 3.7K 
[ ]supinf_2__t17_supinf_22024-07-27 03:24 46K 
[ ]supinf_2__t17_supinf_2.vout2024-08-03 06:53 3.7K 
[ ]supinf_2__t18_supinf_22024-07-27 03:26 46K 
[ ]supinf_2__t18_supinf_2.vout2024-08-03 10:03 3.7K 
[ ]supinf_2__t19_supinf_22024-07-27 03:27 42K 
[ ]supinf_2__t19_supinf_2.vout2024-08-03 08:31 3.7K 
[ ]supinf_2__t20_supinf_22024-07-27 03:29 40K 
[ ]supinf_2__t20_supinf_2.depv12024-08-03 10:19 263  
[ ]supinf_2__t20_supinf_2.depvmin12024-08-03 10:24 263  
[ ]supinf_2__t20_supinf_2.vmin12024-08-03 10:19 3.7K 
[ ]supinf_2__t20_supinf_2.vmin1out2024-08-03 10:22 42K 
[ ]supinf_2__t20_supinf_2.vout2024-08-03 04:33 55K 
[ ]supinf_2__t21_supinf_22024-07-27 03:03 38K 
[ ]supinf_2__t21_supinf_2.depv12024-08-03 10:19 113  
[ ]supinf_2__t21_supinf_2.depvmin12024-08-03 10:24 63  
[ ]supinf_2__t21_supinf_2.vmin12024-08-03 10:19 1.8K 
[ ]supinf_2__t21_supinf_2.vmin1out2024-08-03 10:23 20K 
[ ]supinf_2__t21_supinf_2.vout2024-08-03 09:32 23K 
[ ]supinf_2__t22_supinf_22024-07-27 03:30 43K 
[ ]supinf_2__t22_supinf_2.vout2024-08-03 10:18 7.3K 
[ ]supinf_2__t23_supinf_22024-07-27 03:32 43K 
[ ]supinf_2__t23_supinf_2.vout2024-08-03 04:27 7.3K 
[ ]supinf_2__t24_supinf_22024-07-27 03:05 36K 
[ ]supinf_2__t24_supinf_2.depv12024-08-03 10:19 96  
[ ]supinf_2__t24_supinf_2.depvmin12024-08-03 10:24 96  
[ ]supinf_2__t24_supinf_2.vmin12024-08-03 10:19 2.2K 
[ ]supinf_2__t24_supinf_2.vmin1out2024-08-03 10:21 43K 
[ ]supinf_2__t24_supinf_2.vout2024-08-03 09:44 44K 
[ ]supinf_2__t25_supinf_22024-07-27 03:06 35K 
[ ]supinf_2__t25_supinf_2.depv12024-08-03 10:19 259  
[ ]supinf_2__t25_supinf_2.depvmin12024-08-03 10:24 259  
[ ]supinf_2__t25_supinf_2.vmin12024-08-03 10:19 1.8K 
[ ]supinf_2__t25_supinf_2.vmin1out2024-08-03 10:22 15K 
[ ]supinf_2__t25_supinf_2.vout2024-08-03 07:05 15K 
[ ]supinf_2__t26_supinf_22024-07-27 03:33 35K 
[ ]supinf_2__t26_supinf_2.depv12024-08-03 10:19 334  
[ ]supinf_2__t26_supinf_2.depvmin12024-08-03 10:24 322  
[ ]supinf_2__t26_supinf_2.vmin12024-08-03 10:19 2.6K 
[ ]supinf_2__t26_supinf_2.vmin1out2024-08-03 10:23 25K 
[ ]supinf_2__t26_supinf_2.vout2024-08-03 05:52 27K 
[ ]supinf_2__t27_supinf_22024-07-27 03:35 41K 
[ ]supinf_2__t27_supinf_2.vout2024-08-03 07:03 7.3K 
[ ]supinf_2__t28_supinf_22024-07-27 03:36 42K 
[ ]supinf_2__t28_supinf_2.vout2024-08-03 10:06 6.8K 
[ ]supinf_2__t29_supinf_22024-07-27 03:38 42K 
[ ]supinf_2__t29_supinf_2.vout2024-08-03 09:30 6.8K 
[ ]supinf_2__t30_supinf_22024-07-27 03:07 36K 
[ ]supinf_2__t30_supinf_2.depv12024-08-03 10:19 77  
[ ]supinf_2__t30_supinf_2.depvmin12024-08-03 10:24 65  
[ ]supinf_2__t30_supinf_2.vmin12024-08-03 10:19 1.9K 
[ ]supinf_2__t30_supinf_2.vmin1out2024-08-03 10:21 23K 
[ ]supinf_2__t30_supinf_2.vout2024-08-03 08:31 36K 
[ ]supinf_2__t31_supinf_22024-07-27 03:39 51K 
[ ]supinf_2__t31_supinf_2.vout2024-08-03 09:00 7.3K 
[ ]supinf_2__t32_supinf_22024-07-27 03:41 51K 
[ ]supinf_2__t32_supinf_2.vout2024-08-03 04:37 7.3K 
[ ]supinf_2__t33_supinf_22024-07-27 03:09 40K 
[ ]supinf_2__t33_supinf_2.depv12024-08-03 10:19 96  
[ ]supinf_2__t33_supinf_2.depvmin12024-08-03 10:24 96  
[ ]supinf_2__t33_supinf_2.vmin12024-08-03 10:19 3.1K 
[ ]supinf_2__t33_supinf_2.vmin1out2024-08-03 10:20 45K 
[ ]supinf_2__t33_supinf_2.vout2024-08-03 07:28 57K 
[ ]supinf_2__t34_supinf_22024-07-27 03:42 36K 
[ ]supinf_2__t34_supinf_2.depv12024-08-03 10:19 329  
[ ]supinf_2__t34_supinf_2.depvmin12024-08-03 10:24 317  
[ ]supinf_2__t34_supinf_2.vmin12024-08-03 10:19 2.9K 
[ ]supinf_2__t34_supinf_2.vmin1out2024-08-03 10:21 35K 
[ ]supinf_2__t34_supinf_2.vout2024-08-03 10:00 29K 
[ ]supinf_2__t39_supinf_22024-07-27 03:44 47K 
[ ]supinf_2__t39_supinf_2.vout2024-08-03 07:33 7.3K 
[ ]supinf_2__t40_supinf_22024-07-27 03:45 46K 
[ ]supinf_2__t40_supinf_2.vout2024-08-03 06:16 7.3K 
[ ]supinf_2__t41_supinf_22024-07-27 03:47 39K 
[ ]supinf_2__t41_supinf_2.vout2024-08-03 05:56 2.0K 
[ ]supinf_2__t42_supinf_22024-07-27 03:48 43K 
[ ]supinf_2__t42_supinf_2.vout2024-08-03 09:41 7.3K 
[ ]supinf_2__t43_supinf_22024-07-27 03:49 40K 
[ ]supinf_2__t43_supinf_2.vout2024-08-03 05:18 7.3K 
[ ]supinf_2__t45_supinf_22024-07-27 03:51 56K 
[ ]supinf_2__t45_supinf_2.vout2024-08-03 07:29 4.7K 
[ ]supinf_2__t46_supinf_22024-07-27 03:10 37K 
[ ]supinf_2__t46_supinf_2.vout2024-08-03 07:56 2.0K 
[ ]supinf_2__t47_supinf_22024-07-27 03:53 43K 
[ ]supinf_2__t47_supinf_2.vout2024-08-03 09:59 4.7K 
[ ]supinf_2__t48_supinf_22024-07-27 03:54 70K 
[ ]supinf_2__t48_supinf_2.vout2024-08-03 04:21 6.8K 
[ ]supinf_2__t49_supinf_22024-07-27 03:56 45K 
[ ]supinf_2__t49_supinf_2.vout2024-08-03 07:45 4.7K 
[ ]supinf_2__t50_supinf_22024-07-27 03:57 40K 
[ ]supinf_2__t50_supinf_2.vout2024-08-03 08:01 4.7K 
[ ]supinf_2__t51_supinf_22024-07-27 03:59 47K 
[ ]supinf_2__t51_supinf_2.depv12024-08-03 10:19 248  
[ ]supinf_2__t51_supinf_2.depvmin12024-08-03 10:24 248  
[ ]supinf_2__t51_supinf_2.vmin12024-08-03 10:19 2.2K 
[ ]supinf_2__t51_supinf_2.vmin1out2024-08-03 10:20 32K 
[ ]supinf_2__t51_supinf_2.vout2024-08-03 05:01 33K 
[ ]supinf_2__t52_supinf_22024-07-27 04:00 36K 
[ ]supinf_2__t52_supinf_2.depv12024-08-03 10:19 125  
[ ]supinf_2__t52_supinf_2.depvmin12024-08-03 10:24 125  
[ ]supinf_2__t52_supinf_2.vmin12024-08-03 10:19 1.2K 
[ ]supinf_2__t52_supinf_2.vmin1out2024-08-03 10:22 18K 
[ ]supinf_2__t52_supinf_2.vout2024-08-03 04:41 18K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80