Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/supinf_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]supinf_2__t1_supinf_22025-09-08 22:35 27K 
[ ]supinf_2__t1_supinf_2.depv12025-09-15 19:47 37  
[ ]supinf_2__t1_supinf_2.depvmin12025-09-15 19:52 37  
[ ]supinf_2__t1_supinf_2.vmin12025-09-15 19:47 484  
[ ]supinf_2__t1_supinf_2.vmin1out2025-09-15 19:48 8.3K 
[ ]supinf_2__t1_supinf_2.vout2025-09-15 19:17 7.0K 
[ ]supinf_2__t2_supinf_22025-09-08 22:37 24K 
[ ]supinf_2__t2_supinf_2.depv12025-09-15 19:47 37  
[ ]supinf_2__t2_supinf_2.depvmin12025-09-15 19:52 37  
[ ]supinf_2__t2_supinf_2.vmin12025-09-15 19:47 338  
[ ]supinf_2__t2_supinf_2.vmin1out2025-09-15 19:47 5.4K 
[ ]supinf_2__t2_supinf_2.vout2025-09-15 15:54 3.8K 
[ ]supinf_2__t3_supinf_22025-09-08 22:52 36K 
[ ]supinf_2__t3_supinf_2.depv12025-09-15 19:47 37  
[ ]supinf_2__t3_supinf_2.depvmin12025-09-15 19:52 37  
[ ]supinf_2__t3_supinf_2.vmin12025-09-15 19:47 484  
[ ]supinf_2__t3_supinf_2.vmin1out2025-09-15 19:51 8.3K 
[ ]supinf_2__t3_supinf_2.vout2025-09-15 15:39 5.8K 
[ ]supinf_2__t5_supinf_22025-09-08 22:38 28K 
[ ]supinf_2__t5_supinf_2.depv12025-09-15 19:47 173  
[ ]supinf_2__t5_supinf_2.depvmin12025-09-15 19:52 173  
[ ]supinf_2__t5_supinf_2.vmin12025-09-15 19:47 1.3K 
[ ]supinf_2__t5_supinf_2.vmin1out2025-09-15 19:48 16K 
[ ]supinf_2__t5_supinf_2.vout2025-09-15 14:39 16K 
[ ]supinf_2__t6_supinf_22025-09-08 22:39 29K 
[ ]supinf_2__t6_supinf_2.depv12025-09-15 19:47 118  
[ ]supinf_2__t6_supinf_2.depvmin12025-09-15 19:52 118  
[ ]supinf_2__t6_supinf_2.vmin12025-09-15 19:47 931  
[ ]supinf_2__t6_supinf_2.vmin1out2025-09-15 19:48 12K 
[ ]supinf_2__t6_supinf_2.vout2025-09-15 15:30 11K 
[ ]supinf_2__t7_supinf_22025-09-08 22:53 24K 
[ ]supinf_2__t7_supinf_2.vout2025-09-15 14:03 5.8K 
[ ]supinf_2__t8_supinf_22025-09-08 22:54 35K 
[ ]supinf_2__t8_supinf_2.vout2025-09-15 15:51 7.3K 
[ ]supinf_2__t9_supinf_22025-09-08 22:56 35K 
[ ]supinf_2__t9_supinf_2.vout2025-09-15 14:34 7.3K 
[ ]supinf_2__t10_supinf_22025-09-08 22:41 34K 
[ ]supinf_2__t10_supinf_2.depv12025-09-15 19:47 25  
[ ]supinf_2__t10_supinf_2.depvmin12025-09-15 19:52 25  
[ ]supinf_2__t10_supinf_2.vmin12025-09-15 19:47 623  
[ ]supinf_2__t10_supinf_2.vmin1out2025-09-15 19:48 5.7K 
[ ]supinf_2__t10_supinf_2.vout2025-09-15 14:26 8.0K 
[ ]supinf_2__t11_supinf_22025-09-08 22:42 34K 
[ ]supinf_2__t11_supinf_2.depv12025-09-15 19:47 25  
[ ]supinf_2__t11_supinf_2.depvmin12025-09-15 19:52 25  
[ ]supinf_2__t11_supinf_2.vmin12025-09-15 19:47 623  
[ ]supinf_2__t11_supinf_2.vmin1out2025-09-15 19:48 5.7K 
[ ]supinf_2__t11_supinf_2.vout2025-09-15 14:27 8.0K 
[ ]supinf_2__t12_supinf_22025-09-08 22:57 31K 
[ ]supinf_2__t12_supinf_2.depv12025-09-15 19:47 318  
[ ]supinf_2__t12_supinf_2.depvmin12025-09-15 19:52 318  
[ ]supinf_2__t12_supinf_2.vmin12025-09-15 19:47 2.4K 
[ ]supinf_2__t12_supinf_2.vmin1out2025-09-15 19:51 42K 
[ ]supinf_2__t12_supinf_2.vout2025-09-15 19:38 37K 
[ ]supinf_2__t13_supinf_22025-09-08 22:59 31K 
[ ]supinf_2__t13_supinf_2.depv12025-09-15 19:47 318  
[ ]supinf_2__t13_supinf_2.depvmin12025-09-15 19:52 318  
[ ]supinf_2__t13_supinf_2.vmin12025-09-15 19:47 2.4K 
[ ]supinf_2__t13_supinf_2.vmin1out2025-09-15 19:48 42K 
[ ]supinf_2__t13_supinf_2.vout2025-09-15 15:55 37K 
[ ]supinf_2__t14_supinf_22025-09-08 23:00 32K 
[ ]supinf_2__t14_supinf_2.depv12025-09-15 19:47 429  
[ ]supinf_2__t14_supinf_2.depvmin12025-09-15 19:52 387  
[ ]supinf_2__t14_supinf_2.vmin12025-09-15 19:47 3.2K 
[ ]supinf_2__t14_supinf_2.vmin1out2025-09-15 19:51 26K 
[ ]supinf_2__t14_supinf_2.vout2025-09-15 18:47 36K 
[ ]supinf_2__t15_supinf_22025-09-08 23:01 32K 
[ ]supinf_2__t15_supinf_2.depv12025-09-15 19:47 429  
[ ]supinf_2__t15_supinf_2.depvmin12025-09-15 19:52 372  
[ ]supinf_2__t15_supinf_2.vmin12025-09-15 19:47 3.2K 
[ ]supinf_2__t15_supinf_2.vmin1out2025-09-15 19:48 26K 
[ ]supinf_2__t15_supinf_2.vout2025-09-15 14:01 36K 
[ ]supinf_2__t16_supinf_22025-09-08 23:03 46K 
[ ]supinf_2__t16_supinf_2.vout2025-09-15 15:16 3.7K 
[ ]supinf_2__t17_supinf_22025-09-08 23:04 46K 
[ ]supinf_2__t17_supinf_2.vout2025-09-15 17:52 3.7K 
[ ]supinf_2__t18_supinf_22025-09-08 23:06 46K 
[ ]supinf_2__t18_supinf_2.vout2025-09-15 14:34 3.7K 
[ ]supinf_2__t19_supinf_22025-09-08 23:08 41K 
[ ]supinf_2__t19_supinf_2.vout2025-09-15 15:11 4.2K 
[ ]supinf_2__t20_supinf_22025-09-08 23:09 40K 
[ ]supinf_2__t20_supinf_2.depv12025-09-15 19:47 263  
[ ]supinf_2__t20_supinf_2.depvmin12025-09-15 19:52 263  
[ ]supinf_2__t20_supinf_2.vmin12025-09-15 19:47 3.7K 
[ ]supinf_2__t20_supinf_2.vmin1out2025-09-15 19:49 42K 
[ ]supinf_2__t20_supinf_2.vout2025-09-15 16:44 55K 
[ ]supinf_2__t21_supinf_22025-09-08 22:43 38K 
[ ]supinf_2__t21_supinf_2.depv12025-09-15 19:47 113  
[ ]supinf_2__t21_supinf_2.depvmin12025-09-15 19:52 63  
[ ]supinf_2__t21_supinf_2.vmin12025-09-15 19:47 1.8K 
[ ]supinf_2__t21_supinf_2.vmin1out2025-09-15 19:49 20K 
[ ]supinf_2__t21_supinf_2.vout2025-09-15 16:31 23K 
[ ]supinf_2__t22_supinf_22025-09-08 23:11 42K 
[ ]supinf_2__t22_supinf_2.vout2025-09-15 18:58 7.3K 
[ ]supinf_2__t23_supinf_22025-09-08 23:12 42K 
[ ]supinf_2__t23_supinf_2.vout2025-09-15 14:51 7.3K 
[ ]supinf_2__t24_supinf_22025-09-08 22:45 36K 
[ ]supinf_2__t24_supinf_2.depv12025-09-15 19:47 96  
[ ]supinf_2__t24_supinf_2.depvmin12025-09-15 19:52 96  
[ ]supinf_2__t24_supinf_2.vmin12025-09-15 19:47 2.2K 
[ ]supinf_2__t24_supinf_2.vmin1out2025-09-15 19:48 43K 
[ ]supinf_2__t24_supinf_2.vout2025-09-15 19:08 44K 
[ ]supinf_2__t25_supinf_22025-09-08 22:46 35K 
[ ]supinf_2__t25_supinf_2.depv12025-09-15 19:47 258  
[ ]supinf_2__t25_supinf_2.depvmin12025-09-15 19:52 258  
[ ]supinf_2__t25_supinf_2.vmin12025-09-15 19:47 1.8K 
[ ]supinf_2__t25_supinf_2.vmin1out2025-09-15 19:49 15K 
[ ]supinf_2__t25_supinf_2.vout2025-09-15 18:44 15K 
[ ]supinf_2__t26_supinf_22025-09-08 23:14 35K 
[ ]supinf_2__t26_supinf_2.depv12025-09-15 19:47 333  
[ ]supinf_2__t26_supinf_2.depvmin12025-09-15 19:52 321  
[ ]supinf_2__t26_supinf_2.vmin12025-09-15 19:47 2.6K 
[ ]supinf_2__t26_supinf_2.vmin1out2025-09-15 19:51 25K 
[ ]supinf_2__t26_supinf_2.vout2025-09-15 17:22 27K 
[ ]supinf_2__t27_supinf_22025-09-08 23:15 41K 
[ ]supinf_2__t27_supinf_2.vout2025-09-15 19:25 7.3K 
[ ]supinf_2__t28_supinf_22025-09-08 23:17 42K 
[ ]supinf_2__t28_supinf_2.vout2025-09-15 15:47 7.3K 
[ ]supinf_2__t29_supinf_22025-09-08 23:18 42K 
[ ]supinf_2__t29_supinf_2.vout2025-09-15 15:33 6.8K 
[ ]supinf_2__t30_supinf_22025-09-08 22:47 36K 
[ ]supinf_2__t30_supinf_2.depv12025-09-15 19:47 77  
[ ]supinf_2__t30_supinf_2.depvmin12025-09-15 19:52 65  
[ ]supinf_2__t30_supinf_2.vmin12025-09-15 19:47 1.9K 
[ ]supinf_2__t30_supinf_2.vmin1out2025-09-15 19:51 23K 
[ ]supinf_2__t30_supinf_2.vout2025-09-15 17:26 35K 
[ ]supinf_2__t31_supinf_22025-09-08 23:20 51K 
[ ]supinf_2__t31_supinf_2.vout2025-09-15 17:34 7.3K 
[ ]supinf_2__t32_supinf_22025-09-08 23:22 51K 
[ ]supinf_2__t32_supinf_2.vout2025-09-15 15:16 7.3K 
[ ]supinf_2__t33_supinf_22025-09-08 22:49 41K 
[ ]supinf_2__t33_supinf_2.depv12025-09-15 19:47 96  
[ ]supinf_2__t33_supinf_2.depvmin12025-09-15 19:52 96  
[ ]supinf_2__t33_supinf_2.vmin12025-09-15 19:47 3.1K 
[ ]supinf_2__t33_supinf_2.vmin1out2025-09-15 19:47 45K 
[ ]supinf_2__t33_supinf_2.vout2025-09-15 17:30 57K 
[ ]supinf_2__t34_supinf_22025-09-08 23:23 36K 
[ ]supinf_2__t34_supinf_2.depv12025-09-15 19:47 329  
[ ]supinf_2__t34_supinf_2.depvmin12025-09-15 19:52 317  
[ ]supinf_2__t34_supinf_2.vmin12025-09-15 19:47 2.9K 
[ ]supinf_2__t34_supinf_2.vmin1out2025-09-15 19:49 35K 
[ ]supinf_2__t34_supinf_2.vout2025-09-15 15:20 29K 
[ ]supinf_2__t39_supinf_22025-09-08 23:25 47K 
[ ]supinf_2__t39_supinf_2.vout2025-09-15 15:38 7.3K 
[ ]supinf_2__t40_supinf_22025-09-08 23:26 46K 
[ ]supinf_2__t40_supinf_2.vout2025-09-15 18:18 7.3K 
[ ]supinf_2__t41_supinf_22025-09-08 23:28 39K 
[ ]supinf_2__t41_supinf_2.vout2025-09-15 18:08 2.0K 
[ ]supinf_2__t42_supinf_22025-09-08 23:29 43K 
[ ]supinf_2__t42_supinf_2.vout2025-09-15 16:39 7.3K 
[ ]supinf_2__t43_supinf_22025-09-08 23:31 40K 
[ ]supinf_2__t43_supinf_2.vout2025-09-15 19:35 6.8K 
[ ]supinf_2__t45_supinf_22025-09-08 23:32 56K 
[ ]supinf_2__t45_supinf_2.vout2025-09-15 17:25 4.7K 
[ ]supinf_2__t46_supinf_22025-09-08 22:50 37K 
[ ]supinf_2__t46_supinf_2.vout2025-09-15 16:21 2.0K 
[ ]supinf_2__t47_supinf_22025-09-08 23:34 43K 
[ ]supinf_2__t47_supinf_2.vout2025-09-15 17:12 4.7K 
[ ]supinf_2__t48_supinf_22025-09-08 23:36 70K 
[ ]supinf_2__t48_supinf_2.vout2025-09-15 18:24 6.8K 
[ ]supinf_2__t49_supinf_22025-09-08 23:37 45K 
[ ]supinf_2__t49_supinf_2.vout2025-09-15 13:29 4.7K 
[ ]supinf_2__t50_supinf_22025-09-08 23:39 40K 
[ ]supinf_2__t50_supinf_2.vout2025-09-15 17:30 4.7K 
[ ]supinf_2__t51_supinf_22025-09-08 23:40 47K 
[ ]supinf_2__t51_supinf_2.depv12025-09-15 19:47 248  
[ ]supinf_2__t51_supinf_2.depvmin12025-09-15 19:52 248  
[ ]supinf_2__t51_supinf_2.vmin12025-09-15 19:47 2.2K 
[ ]supinf_2__t51_supinf_2.vmin1out2025-09-15 19:47 32K 
[ ]supinf_2__t51_supinf_2.vout2025-09-15 16:05 33K 
[ ]supinf_2__t52_supinf_22025-09-08 23:42 36K 
[ ]supinf_2__t52_supinf_2.depv12025-09-15 19:47 125  
[ ]supinf_2__t52_supinf_2.depvmin12025-09-15 19:52 125  
[ ]supinf_2__t52_supinf_2.vmin12025-09-15 19:47 1.2K 
[ ]supinf_2__t52_supinf_2.vmin1out2025-09-15 19:50 18K 
[ ]supinf_2__t52_supinf_2.vout2025-09-15 14:43 18K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80