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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]counters__t1_counters2024-07-26 23:20 73K 
[ ]counters__t1_counters.depv12024-08-03 10:19 313  
[ ]counters__t1_counters.depvmin12024-08-03 10:24 280  
[ ]counters__t1_counters.vmin12024-08-03 10:19 2.2K 
[ ]counters__t1_counters.vmin1out2024-08-03 10:21 22K 
[ ]counters__t1_counters.vout2024-08-03 08:59 22K 
[ ]counters__t2_counters2024-07-26 23:22 71K 
[ ]counters__t2_counters.depv12024-08-03 10:19 115  
[ ]counters__t2_counters.depvmin12024-08-03 10:24 102  
[ ]counters__t2_counters.vmin12024-08-03 10:19 805  
[ ]counters__t2_counters.vmin1out2024-08-03 10:23 8.5K 
[ ]counters__t2_counters.vout2024-08-03 05:05 12K 
[ ]counters__t3_counters2024-07-26 23:06 43K 
[ ]counters__t3_counters.vout2024-08-03 08:06 2.0K 
[ ]counters__t4_counters2024-07-26 23:07 43K 
[ ]counters__t4_counters.vout2024-08-03 07:56 8.4K 
[ ]counters__t5_counters2024-07-26 23:09 48K 
[ ]counters__t5_counters.vout2024-08-03 07:16 7.3K 
[ ]counters__t6_counters2024-07-26 23:24 51K 
[ ]counters__t6_counters.vout2024-08-03 09:28 7.9K 
[ ]counters__t7_counters2024-07-26 23:26 44K 
[ ]counters__t7_counters.vout2024-08-03 04:54 8.4K 
[ ]counters__t8_counters2024-07-26 23:10 48K 
[ ]counters__t8_counters.vout2024-08-03 05:15 7.3K 
[ ]counters__t9_counters2024-07-26 23:27 60K 
[ ]counters__t9_counters.vout2024-08-03 05:45 4.7K 
[ ]counters__t10_counters2024-07-26 23:12 46K 
[ ]counters__t10_counters.vout2024-08-03 05:55 7.3K 
[ ]counters__t11_counters2024-07-26 23:29 66K 
[ ]counters__t11_counters.vout2024-08-03 10:08 4.7K 
[ ]counters__t12_counters2024-07-26 23:31 49K 
[ ]counters__t12_counters.depv12024-08-03 10:19 38  
[ ]counters__t12_counters.depvmin12024-08-03 10:24 38  
[ ]counters__t12_counters.vmin12024-08-03 10:19 640  
[ ]counters__t12_counters.vmin1out2024-08-03 10:22 9.7K 
[ ]counters__t12_counters.vout2024-08-03 08:54 5.7K 
[ ]counters__t13_counters2024-07-26 23:32 59K 
[ ]counters__t13_counters.vout2024-08-03 06:51 4.7K 
[ ]counters__t14_counters2024-07-26 23:34 49K 
[ ]counters__t14_counters.vout2024-08-03 06:50 7.3K 
[ ]counters__t15_counters2024-07-26 23:35 49K 
[ ]counters__t15_counters.vout2024-08-03 05:37 7.3K 
[ ]counters__t16_counters2024-07-26 23:37 43K 
[ ]counters__t16_counters.depv12024-08-03 10:19 194  
[ ]counters__t16_counters.depvmin12024-08-03 10:24 194  
[ ]counters__t16_counters.vmin12024-08-03 10:19 1.3K 
[ ]counters__t16_counters.vmin1out2024-08-03 10:22 15K 
[ ]counters__t16_counters.vout2024-08-03 05:55 15K 
[ ]counters__t17_counters2024-07-26 23:39 52K 
[ ]counters__t17_counters.depv12024-08-03 10:19 353  
[ ]counters__t17_counters.depvmin12024-08-03 10:24 265  
[ ]counters__t17_counters.vmin12024-08-03 10:19 3.6K 
[ ]counters__t17_counters.vmin1out2024-08-03 10:20 33K 
[ ]counters__t17_counters.vout2024-08-03 09:19 41K 
[ ]counters__t18_counters2024-07-26 23:41 66K 
[ ]counters__t18_counters.depv12024-08-03 10:19 352  
[ ]counters__t18_counters.depvmin12024-08-03 10:24 275  
[ ]counters__t18_counters.vmin12024-08-03 10:19 3.7K 
[ ]counters__t18_counters.vmin1out2024-08-03 10:21 44K 
[ ]counters__t18_counters.vout2024-08-03 06:40 45K 
[ ]counters__t19_counters2024-07-26 23:42 53K 
[ ]counters__t19_counters.depv12024-08-03 10:19 700  
[ ]counters__t19_counters.depvmin12024-08-03 10:24 328  
[ ]counters__t19_counters.vmin12024-08-03 10:19 5.7K 
[ ]counters__t19_counters.vmin1out2024-08-03 10:20 50K 
[ ]counters__t19_counters.vout2024-08-03 06:18 49K 
[ ]counters__t20_counters2024-07-26 23:13 48K 
[ ]counters__t20_counters.vout2024-08-03 07:24 7.3K 
[ ]counters__t21_counters2024-07-26 23:15 48K 
[ ]counters__t21_counters.depv12024-08-03 10:19 52  
[ ]counters__t21_counters.depvmin12024-08-03 10:24 52  
[ ]counters__t21_counters.vmin12024-08-03 10:19 926  
[ ]counters__t21_counters.vmin1out2024-08-03 10:21 14K 
[ ]counters__t21_counters.vout2024-08-03 10:02 16K 
[ ]counters__t22_counters2024-07-26 23:44 54K 
[ ]counters__t22_counters.depv12024-08-03 10:19 338  
[ ]counters__t22_counters.depvmin12024-08-03 10:24 261  
[ ]counters__t22_counters.vmin12024-08-03 10:19 5.0K 
[ ]counters__t22_counters.vmin1out2024-08-03 10:20 54K 
[ ]counters__t22_counters.vout2024-08-03 06:01 69K 
[ ]counters__t23_counters2024-07-26 23:46 72K 
[ ]counters__t23_counters.vout2024-08-03 09:55 8.4K 
[ ]counters__t24_counters2024-07-26 23:47 41K 
[ ]counters__t24_counters.depv12024-08-03 10:19 95  
[ ]counters__t24_counters.depvmin12024-08-03 10:24 95  
[ ]counters__t24_counters.vmin12024-08-03 10:19 633  
[ ]counters__t24_counters.vmin1out2024-08-03 10:21 5.3K 
[ ]counters__t24_counters.vout2024-08-03 07:10 5.6K 
[ ]counters__t25_counters2024-07-26 23:49 72K 
[ ]counters__t25_counters.depv12024-08-03 10:19 77  
[ ]counters__t25_counters.depvmin12024-08-03 10:24 77  
[ ]counters__t25_counters.vmin12024-08-03 10:19 665  
[ ]counters__t25_counters.vmin1out2024-08-03 10:21 7.7K 
[ ]counters__t25_counters.vout2024-08-03 08:38 8.9K 
[ ]counters__t26_counters2024-07-26 23:17 48K 
[ ]counters__t26_counters.vout2024-08-03 04:43 2.0K 
[ ]counters__t27_counters2024-07-26 23:51 42K 
[ ]counters__t27_counters.depv12024-08-03 10:19 58  
[ ]counters__t27_counters.depvmin12024-08-03 10:24 58  
[ ]counters__t27_counters.vmin12024-08-03 10:19 487  
[ ]counters__t27_counters.vmin1out2024-08-03 10:22 9.7K 
[ ]counters__t27_counters.vout2024-08-03 05:23 9.9K 
[ ]counters__t28_counters2024-07-26 23:52 42K 
[ ]counters__t28_counters.depv12024-08-03 10:19 63  
[ ]counters__t28_counters.depvmin12024-08-03 10:24 63  
[ ]counters__t28_counters.vmin12024-08-03 10:19 622  
[ ]counters__t28_counters.vmin1out2024-08-03 10:23 12K 
[ ]counters__t28_counters.vout2024-08-03 09:34 13K 
[ ]counters__t29_counters2024-07-26 23:18 73K 
[ ]counters__t29_counters.depv12024-08-03 10:19 63  
[ ]counters__t29_counters.depvmin12024-08-03 10:24 63  
[ ]counters__t29_counters.vmin12024-08-03 10:19 691  
[ ]counters__t29_counters.vmin1out2024-08-03 10:22 6.3K 
[ ]counters__t29_counters.vout2024-08-03 06:52 6.3K 
[ ]counters__t30_counters2024-07-26 23:54 76K 
[ ]counters__t30_counters.vout2024-08-03 06:16 7.4K 
[ ]counters__t31_counters2024-07-26 23:56 77K 
[ ]counters__t31_counters.depv12024-08-03 10:19 159  
[ ]counters__t31_counters.depvmin12024-08-03 10:24 159  
[ ]counters__t31_counters.vmin12024-08-03 10:19 1.4K 
[ ]counters__t31_counters.vmin1out2024-08-03 10:22 17K 
[ ]counters__t31_counters.vout2024-08-03 06:28 20K 
[ ]counters__t32_counters2024-07-26 23:58 78K 
[ ]counters__t32_counters.vout2024-08-03 06:21 7.3K 
[ ]counters__t33_counters2024-07-27 00:00 90K 
[ ]counters__t33_counters.vout2024-08-03 08:12 8.4K 
[ ]counters__t34_counters2024-07-27 00:02 86K 
[ ]counters__t34_counters.depv12024-08-03 10:19 62  
[ ]counters__t34_counters.depvmin12024-08-03 10:24 37  
[ ]counters__t34_counters.vmin12024-08-03 10:19 362  
[ ]counters__t34_counters.vmin1out2024-08-03 10:21 2.9K 
[ ]counters__t34_counters.vout2024-08-03 07:46 3.4K 
[ ]counters__t35_counters2024-07-27 00:04 78K 
[ ]counters__t35_counters.vout2024-08-03 08:36 6.2K 
[ ]counters__t36_counters2024-07-27 00:06 81K 
[ ]counters__t36_counters.vout2024-08-03 09:20 4.7K 
[ ]counters__t37_counters2024-07-27 00:08 98K 
[ ]counters__t37_counters.vout2024-08-03 08:07 4.7K 
[ ]counters__t38_counters2024-07-27 00:10 82K 
[ ]counters__t38_counters.vout2024-08-03 09:39 6.2K 
[ ]counters__t39_counters2024-07-27 00:12 82K 
[ ]counters__t39_counters.vout2024-08-03 07:37 9.0K 
[ ]counters__t40_counters2024-07-27 00:14 82K 
[ ]counters__t40_counters.vout2024-08-03 09:58 9.0K 
[ ]counters__t41_counters2024-07-27 00:16 91K 
[ ]counters__t41_counters.vout2024-08-03 06:51 7.4K 
[ ]counters__t42_counters2024-07-27 00:18 78K 
[ ]counters__t42_counters.depv12024-08-03 10:19 173  
[ ]counters__t42_counters.depvmin12024-08-03 10:24 160  
[ ]counters__t42_counters.vmin12024-08-03 10:19 1.5K 
[ ]counters__t42_counters.vmin1out2024-08-03 10:22 16K 
[ ]counters__t42_counters.vout2024-08-03 07:41 19K 
[ ]counters__t43_counters2024-07-27 00:20 89K 
[ ]counters__t43_counters.depv12024-08-03 10:19 97  
[ ]counters__t43_counters.depvmin12024-08-03 10:24 97  
[ ]counters__t43_counters.vmin12024-08-03 10:19 441  
[ ]counters__t43_counters.vmin1out2024-08-03 10:20 2.9K 
[ ]counters__t43_counters.vout2024-08-03 07:41 2.9K 
[ ]counters__t44_counters2024-07-27 00:22 95K 
[ ]counters__t44_counters.vout2024-08-03 09:40 8.9K 
[ ]counters__t45_counters2024-07-27 00:24 95K 
[ ]counters__t45_counters.vout2024-08-03 08:10 8.9K 
[ ]counters__t46_counters2024-07-27 00:26 89K 
[ ]counters__t46_counters.vout2024-08-03 04:20 8.9K 
[ ]counters__t47_counters2024-07-27 00:28 89K 
[ ]counters__t47_counters.vout2024-08-03 07:23 8.9K 
[ ]counters__t48_counters2024-07-27 00:31 89K 
[ ]counters__t48_counters.vout2024-08-03 09:09 8.9K 
[ ]counters__t49_counters2024-07-27 00:33 89K 
[ ]counters__t49_counters.vout2024-08-03 09:25 8.8K 
[ ]counters__t50_counters2024-07-27 00:35 89K 
[ ]counters__t50_counters.vout2024-08-03 08:50 8.9K 
[ ]counters__t51_counters2024-07-27 00:37 89K 
[ ]counters__t51_counters.vout2024-08-03 06:41 8.8K 
[ ]counters__t52_counters2024-07-27 00:39 82K 
[ ]counters__t52_counters.vout2024-08-03 07:14 6.8K 
[ ]counters__t53_counters2024-07-27 00:41 82K 
[ ]counters__t53_counters.vout2024-08-03 06:10 6.8K 
[ ]counters__t54_counters2024-07-27 00:43 84K 
[ ]counters__t54_counters.vout2024-08-03 06:23 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80