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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rinfsup2__l16_rinfsup22024-07-27 14:02 28K 
[ ]rinfsup2__l16_rinfsup2.vout2024-08-03 04:42 7.3K 
[ ]rinfsup2__l17_rinfsup22024-07-27 14:03 28K 
[ ]rinfsup2__l17_rinfsup2.vout2024-08-03 09:51 7.4K 
[ ]rinfsup2__l43_rinfsup22024-07-27 14:04 34K 
[ ]rinfsup2__l43_rinfsup2.vout2024-08-03 07:59 4.1K 
[ ]rinfsup2__l44_rinfsup22024-07-27 14:06 34K 
[ ]rinfsup2__l44_rinfsup2.vout2024-08-03 06:35 4.1K 
[ ]rinfsup2__l53_rinfsup22024-07-27 14:07 45K 
[ ]rinfsup2__l53_rinfsup2.vout2024-08-03 08:28 4.7K 
[ ]rinfsup2__l54_rinfsup22024-07-27 14:09 45K 
[ ]rinfsup2__l54_rinfsup2.vout2024-08-03 08:45 4.7K 
[ ]rinfsup2__l55_rinfsup22024-07-27 14:10 42K 
[ ]rinfsup2__l55_rinfsup2.vout2024-08-03 05:56 4.1K 
[ ]rinfsup2__t1_rinfsup22024-07-27 13:30 18K 
[ ]rinfsup2__t1_rinfsup2.depv12024-08-03 10:19 87  
[ ]rinfsup2__t1_rinfsup2.depvmin12024-08-03 10:24 87  
[ ]rinfsup2__t1_rinfsup2.vmin12024-08-03 10:20 773  
[ ]rinfsup2__t1_rinfsup2.vmin1out2024-08-03 10:20 7.6K 
[ ]rinfsup2__t1_rinfsup2.vout2024-08-03 08:57 7.5K 
[ ]rinfsup2__t2_rinfsup22024-07-27 13:27 12K 
[ ]rinfsup2__t2_rinfsup2.depv12024-08-03 10:19 24  
[ ]rinfsup2__t2_rinfsup2.depvmin12024-08-03 10:24 24  
[ ]rinfsup2__t2_rinfsup2.vmin12024-08-03 10:20 561  
[ ]rinfsup2__t2_rinfsup2.vmin1out2024-08-03 10:22 7.9K 
[ ]rinfsup2__t2_rinfsup2.vout2024-08-03 07:48 8.0K 
[ ]rinfsup2__t3_rinfsup22024-07-27 13:30 18K 
[ ]rinfsup2__t3_rinfsup2.depv12024-08-03 10:19 87  
[ ]rinfsup2__t3_rinfsup2.depvmin12024-08-03 10:24 87  
[ ]rinfsup2__t3_rinfsup2.vmin12024-08-03 10:20 773  
[ ]rinfsup2__t3_rinfsup2.vmin1out2024-08-03 10:21 7.6K 
[ ]rinfsup2__t3_rinfsup2.vout2024-08-03 04:26 9.3K 
[ ]rinfsup2__t4_rinfsup22024-07-27 13:28 12K 
[ ]rinfsup2__t4_rinfsup2.depv12024-08-03 10:19 24  
[ ]rinfsup2__t4_rinfsup2.depvmin12024-08-03 10:24 24  
[ ]rinfsup2__t4_rinfsup2.vmin12024-08-03 10:20 561  
[ ]rinfsup2__t4_rinfsup2.vmin1out2024-08-03 10:23 7.9K 
[ ]rinfsup2__t4_rinfsup2.vout2024-08-03 10:13 8.0K 
[ ]rinfsup2__t5_rinfsup22024-07-27 14:00 26K 
[ ]rinfsup2__t5_rinfsup2.depv12024-08-03 10:19 227  
[ ]rinfsup2__t5_rinfsup2.depvmin12024-08-03 10:24 227  
[ ]rinfsup2__t5_rinfsup2.vmin12024-08-03 10:20 2.1K 
[ ]rinfsup2__t5_rinfsup2.vmin1out2024-08-03 10:21 28K 
[ ]rinfsup2__t5_rinfsup2.vout2024-08-03 08:04 29K 
[ ]rinfsup2__t6_rinfsup22024-07-27 13:29 25K 
[ ]rinfsup2__t6_rinfsup2.depv12024-08-03 10:19 138  
[ ]rinfsup2__t6_rinfsup2.depvmin12024-08-03 10:24 138  
[ ]rinfsup2__t6_rinfsup2.vmin12024-08-03 10:20 1.5K 
[ ]rinfsup2__t6_rinfsup2.vmin1out2024-08-03 10:20 20K 
[ ]rinfsup2__t6_rinfsup2.vout2024-08-03 10:07 20K 
[ ]rinfsup2__t7_rinfsup22024-07-27 13:32 28K 
[ ]rinfsup2__t7_rinfsup2.vout2024-08-03 07:21 7.3K 
[ ]rinfsup2__t8_rinfsup22024-07-27 13:33 29K 
[ ]rinfsup2__t8_rinfsup2.vout2024-08-03 04:16 7.3K 
[ ]rinfsup2__t9_rinfsup22024-07-27 13:34 40K 
[ ]rinfsup2__t9_rinfsup2.vout2024-08-03 04:12 7.3K 
[ ]rinfsup2__t10_rinfsup22024-07-27 13:36 40K 
[ ]rinfsup2__t10_rinfsup2.vout2024-08-03 06:22 7.3K 
[ ]rinfsup2__t11_rinfsup22024-07-27 13:37 31K 
[ ]rinfsup2__t11_rinfsup2.vout2024-08-03 06:45 7.3K 
[ ]rinfsup2__t12_rinfsup22024-07-27 13:39 36K 
[ ]rinfsup2__t12_rinfsup2.vout2024-08-03 09:35 4.7K 
[ ]rinfsup2__t13_rinfsup22024-07-27 13:40 37K 
[ ]rinfsup2__t13_rinfsup2.vout2024-08-03 08:02 4.7K 
[ ]rinfsup2__t14_rinfsup22024-07-27 13:42 61K 
[ ]rinfsup2__t14_rinfsup2.vout2024-08-03 04:15 4.7K 
[ ]rinfsup2__t15_rinfsup22024-07-27 13:43 57K 
[ ]rinfsup2__t15_rinfsup2.vout2024-08-03 05:02 4.7K 
[ ]rinfsup2__t23_rinfsup22024-07-27 13:44 31K 
[ ]rinfsup2__t23_rinfsup2.depv12024-08-03 10:19 437  
[ ]rinfsup2__t23_rinfsup2.depvmin12024-08-03 10:24 437  
[ ]rinfsup2__t23_rinfsup2.vmin12024-08-03 10:20 4.2K 
[ ]rinfsup2__t23_rinfsup2.vmin1out2024-08-03 10:23 45K 
[ ]rinfsup2__t23_rinfsup2.vout2024-08-03 10:17 47K 
[ ]rinfsup2__t24_rinfsup22024-07-27 13:46 30K 
[ ]rinfsup2__t24_rinfsup2.depv12024-08-03 10:19 198  
[ ]rinfsup2__t24_rinfsup2.depvmin12024-08-03 10:24 198  
[ ]rinfsup2__t24_rinfsup2.vmin12024-08-03 10:20 2.1K 
[ ]rinfsup2__t24_rinfsup2.vmin1out2024-08-03 10:22 17K 
[ ]rinfsup2__t24_rinfsup2.vout2024-08-03 06:32 17K 
[ ]rinfsup2__t32_rinfsup22024-07-27 13:47 27K 
[ ]rinfsup2__t32_rinfsup2.depv12024-08-03 10:19 310  
[ ]rinfsup2__t32_rinfsup2.depvmin12024-08-03 10:24 310  
[ ]rinfsup2__t32_rinfsup2.vmin12024-08-03 10:20 2.8K 
[ ]rinfsup2__t32_rinfsup2.vmin1out2024-08-03 10:22 29K 
[ ]rinfsup2__t32_rinfsup2.vout2024-08-03 04:30 50K 
[ ]rinfsup2__t33_rinfsup22024-07-27 13:48 27K 
[ ]rinfsup2__t33_rinfsup2.depv12024-08-03 10:19 311  
[ ]rinfsup2__t33_rinfsup2.depvmin12024-08-03 10:24 311  
[ ]rinfsup2__t33_rinfsup2.vmin12024-08-03 10:20 2.8K 
[ ]rinfsup2__t33_rinfsup2.vmin1out2024-08-03 10:23 29K 
[ ]rinfsup2__t33_rinfsup2.vout2024-08-03 08:54 51K 
[ ]rinfsup2__t34_rinfsup22024-07-27 13:50 44K 
[ ]rinfsup2__t34_rinfsup2.vout2024-08-03 04:37 4.7K 
[ ]rinfsup2__t35_rinfsup22024-07-27 13:51 44K 
[ ]rinfsup2__t35_rinfsup2.vout2024-08-03 08:02 4.7K 
[ ]rinfsup2__t36_rinfsup22024-07-27 13:53 51K 
[ ]rinfsup2__t36_rinfsup2.vout2024-08-03 08:33 7.4K 
[ ]rinfsup2__t37_rinfsup22024-07-27 13:55 51K 
[ ]rinfsup2__t37_rinfsup2.vout2024-08-03 07:21 7.3K 
[ ]rinfsup2__t39_rinfsup22024-07-27 13:56 32K 
[ ]rinfsup2__t39_rinfsup2.vout2024-08-03 09:50 2.0K 
[ ]rinfsup2__t40_rinfsup22024-07-27 13:58 62K 
[ ]rinfsup2__t40_rinfsup2.vout2024-08-03 05:32 7.4K 
[ ]rinfsup2__t41_rinfsup22024-07-27 13:59 30K 
[ ]rinfsup2__t41_rinfsup2.depv12024-08-03 10:19 192  
[ ]rinfsup2__t41_rinfsup2.depvmin12024-08-03 10:24 192  
[ ]rinfsup2__t41_rinfsup2.vmin12024-08-03 10:20 2.2K 
[ ]rinfsup2__t41_rinfsup2.vmin1out2024-08-03 10:22 22K 
[ ]rinfsup2__t41_rinfsup2.vout2024-08-03 05:33 32K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80