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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aimloop__t1_aimloop2025-09-09 18:29 19K 
[ ]aimloop__t1_aimloop.depv12025-09-15 19:47 23  
[ ]aimloop__t1_aimloop.depvmin12025-09-15 19:52 23  
[ ]aimloop__t1_aimloop.vmin12025-09-15 19:47 690  
[ ]aimloop__t1_aimloop.vmin1out2025-09-15 19:51 15K 
[ ]aimloop__t1_aimloop.vout2025-09-15 14:19 15K 
[ ]aimloop__t2_aimloop2025-09-09 18:30 19K 
[ ]aimloop__t2_aimloop.depv12025-09-15 19:47 23  
[ ]aimloop__t2_aimloop.depvmin12025-09-15 19:52 23  
[ ]aimloop__t2_aimloop.vmin12025-09-15 19:47 690  
[ ]aimloop__t2_aimloop.vmin1out2025-09-15 19:48 15K 
[ ]aimloop__t2_aimloop.vout2025-09-15 17:49 15K 
[ ]aimloop__t3_aimloop2025-09-09 18:26 19K 
[ ]aimloop__t3_aimloop.depv12025-09-15 19:47 52  
[ ]aimloop__t3_aimloop.depvmin12025-09-15 19:52 52  
[ ]aimloop__t3_aimloop.vmin12025-09-15 19:47 1.0K 
[ ]aimloop__t3_aimloop.vmin1out2025-09-15 19:50 17K 
[ ]aimloop__t3_aimloop.vout2025-09-15 16:48 8.9K 
[ ]aimloop__t4_aimloop2025-09-09 18:27 19K 
[ ]aimloop__t4_aimloop.depv12025-09-15 19:47 52  
[ ]aimloop__t4_aimloop.depvmin12025-09-15 19:52 52  
[ ]aimloop__t4_aimloop.vmin12025-09-15 19:47 1.0K 
[ ]aimloop__t4_aimloop.vmin1out2025-09-15 19:48 17K 
[ ]aimloop__t4_aimloop.vout2025-09-15 15:39 8.9K 
[ ]aimloop__t5_aimloop2025-09-09 18:31 20K 
[ ]aimloop__t5_aimloop.depv12025-09-15 19:47 91  
[ ]aimloop__t5_aimloop.depvmin12025-09-15 19:52 91  
[ ]aimloop__t5_aimloop.vmin12025-09-15 19:47 1.1K 
[ ]aimloop__t5_aimloop.vmin1out2025-09-15 19:51 11K 
[ ]aimloop__t5_aimloop.vout2025-09-15 18:50 11K 
[ ]aimloop__t6_aimloop2025-09-09 18:32 20K 
[ ]aimloop__t6_aimloop.depv12025-09-15 19:47 79  
[ ]aimloop__t6_aimloop.depvmin12025-09-15 19:52 79  
[ ]aimloop__t6_aimloop.vmin12025-09-15 19:47 1.1K 
[ ]aimloop__t6_aimloop.vmin1out2025-09-15 19:51 11K 
[ ]aimloop__t6_aimloop.vout2025-09-15 19:45 11K 
[ ]aimloop__t7_aimloop2025-09-09 18:33 20K 
[ ]aimloop__t7_aimloop.depv12025-09-15 19:47 49  
[ ]aimloop__t7_aimloop.depvmin12025-09-15 19:52 49  
[ ]aimloop__t7_aimloop.vmin12025-09-15 19:47 931  
[ ]aimloop__t7_aimloop.vmin1out2025-09-15 19:48 13K 
[ ]aimloop__t7_aimloop.vout2025-09-15 19:14 14K 
[ ]aimloop__t8_aimloop2025-09-09 18:34 20K 
[ ]aimloop__t8_aimloop.depv12025-09-15 19:47 49  
[ ]aimloop__t8_aimloop.depvmin12025-09-15 19:52 49  
[ ]aimloop__t8_aimloop.vmin12025-09-15 19:47 931  
[ ]aimloop__t8_aimloop.vmin1out2025-09-15 19:48 14K 
[ ]aimloop__t8_aimloop.vout2025-09-15 17:56 14K 
[ ]aimloop__t9_aimloop2025-09-09 18:35 21K 
[ ]aimloop__t9_aimloop.vout2025-09-15 13:27 2.0K 
[ ]aimloop__t10_aimloop2025-09-09 18:36 21K 
[ ]aimloop__t10_aimloop.depv12025-09-15 19:47 92  
[ ]aimloop__t10_aimloop.depvmin12025-09-15 19:52 92  
[ ]aimloop__t10_aimloop.vmin12025-09-15 19:47 1.6K 
[ ]aimloop__t10_aimloop.vmin1out2025-09-15 19:50 19K 
[ ]aimloop__t10_aimloop.vout2025-09-15 17:05 19K 
[ ]aimloop__t11_aimloop2025-09-09 18:37 22K 
[ ]aimloop__t11_aimloop.depv12025-09-15 19:47 90  
[ ]aimloop__t11_aimloop.depvmin12025-09-15 19:52 90  
[ ]aimloop__t11_aimloop.vmin12025-09-15 19:47 1.8K 
[ ]aimloop__t11_aimloop.vmin1out2025-09-15 19:51 21K 
[ ]aimloop__t11_aimloop.vout2025-09-15 14:50 21K 
[ ]aimloop__t12_aimloop2025-09-09 18:38 14K 
[ ]aimloop__t12_aimloop.depv12025-09-15 19:47 140  
[ ]aimloop__t12_aimloop.depvmin12025-09-15 19:52 140  
[ ]aimloop__t12_aimloop.vmin12025-09-15 19:47 1.5K 
[ ]aimloop__t12_aimloop.vmin1out2025-09-15 19:49 30K 
[ ]aimloop__t12_aimloop.vout2025-09-15 16:48 31K 
[ ]aimloop__t13_aimloop2025-09-09 18:39 23K 
[ ]aimloop__t13_aimloop.vout2025-09-15 17:21 2.0K 
[ ]aimloop__t14_aimloop2025-09-09 18:41 23K 
[ ]aimloop__t14_aimloop.vout2025-09-15 19:46 2.0K 
[ ]aimloop__t15_aimloop2025-09-09 18:42 27K 
[ ]aimloop__t15_aimloop.vout2025-09-15 14:43 6.8K 
[ ]aimloop__t16_aimloop2025-09-09 18:44 36K 
[ ]aimloop__t16_aimloop.vout2025-09-15 13:48 7.3K 
[ ]aimloop__t17_aimloop2025-09-09 18:45 34K 
[ ]aimloop__t17_aimloop.vout2025-09-15 17:16 7.3K 
[ ]aimloop__t18_aimloop2025-09-09 18:47 32K 
[ ]aimloop__t18_aimloop.vout2025-09-15 17:31 7.3K 
[ ]aimloop__t19_aimloop2025-09-09 18:48 33K 
[ ]aimloop__t19_aimloop.vout2025-09-15 16:05 4.1K 
[ ]aimloop__t20_aimloop2025-09-09 18:49 20K 
[ ]aimloop__t20_aimloop.depv12025-09-15 19:47 109  
[ ]aimloop__t20_aimloop.depvmin12025-09-15 19:52 109  
[ ]aimloop__t20_aimloop.vmin12025-09-15 19:47 1.6K 
[ ]aimloop__t20_aimloop.vmin1out2025-09-15 19:47 32K 
[ ]aimloop__t20_aimloop.vout2025-09-15 19:46 27K 
[ ]aimloop__t21_aimloop2025-09-09 18:50 20K 
[ ]aimloop__t21_aimloop.depv12025-09-15 19:47 108  
[ ]aimloop__t21_aimloop.depvmin12025-09-15 19:52 108  
[ ]aimloop__t21_aimloop.vmin12025-09-15 19:47 1.6K 
[ ]aimloop__t21_aimloop.vmin1out2025-09-15 19:50 30K 
[ ]aimloop__t21_aimloop.vout2025-09-15 18:28 30K 
[ ]aimloop__t22_aimloop2025-09-09 18:51 20K 
[ ]aimloop__t22_aimloop.depv12025-09-15 19:47 110  
[ ]aimloop__t22_aimloop.depvmin12025-09-15 19:52 110  
[ ]aimloop__t22_aimloop.vmin12025-09-15 19:47 1.6K 
[ ]aimloop__t22_aimloop.vmin1out2025-09-15 19:49 32K 
[ ]aimloop__t22_aimloop.vout2025-09-15 17:27 26K 
[ ]aimloop__t23_aimloop2025-09-09 18:52 15K 
[ ]aimloop__t23_aimloop.depv12025-09-15 19:47 90  
[ ]aimloop__t23_aimloop.depvmin12025-09-15 19:52 90  
[ ]aimloop__t23_aimloop.vmin12025-09-15 19:47 1.3K 
[ ]aimloop__t23_aimloop.vmin1out2025-09-15 19:48 14K 
[ ]aimloop__t23_aimloop.vout2025-09-15 16:46 15K 
[ ]aimloop__t24_aimloop2025-09-09 18:53 23K 
[ ]aimloop__t24_aimloop.vout2025-09-15 16:24 7.3K 
[ ]aimloop__t25_aimloop2025-09-09 18:55 26K 
[ ]aimloop__t25_aimloop.vout2025-09-15 19:26 4.1K 
[ ]aimloop__t26_aimloop2025-09-09 18:56 26K 
[ ]aimloop__t26_aimloop.vout2025-09-15 19:28 4.1K 
[ ]aimloop__t27_aimloop2025-09-09 18:57 31K 
[ ]aimloop__t27_aimloop.vout2025-09-15 18:30 3.2K 
[ ]aimloop__t28_aimloop2025-09-09 18:59 34K 
[ ]aimloop__t28_aimloop.vout2025-09-15 17:35 4.1K 
[ ]aimloop__t29_aimloop2025-09-09 19:00 32K 
[ ]aimloop__t29_aimloop.vout2025-09-15 19:15 7.3K 
[ ]aimloop__t30_aimloop2025-09-09 19:01 30K 
[ ]aimloop__t30_aimloop.vout2025-09-15 13:27 7.3K 
[ ]aimloop__t31_aimloop2025-09-09 19:03 43K 
[ ]aimloop__t31_aimloop.vout2025-09-15 16:07 3.7K 
[ ]aimloop__t32_aimloop2025-09-09 19:04 33K 
[ ]aimloop__t32_aimloop.vout2025-09-15 13:58 6.8K 
[ ]aimloop__t33_aimloop2025-09-09 19:06 36K 
[ ]aimloop__t33_aimloop.vout2025-09-15 19:37 4.7K 
[ ]aimloop__t34_aimloop2025-09-09 19:07 36K 
[ ]aimloop__t34_aimloop.vout2025-09-15 16:06 4.7K 
[ ]aimloop__t35_aimloop2025-09-09 19:08 24K 
[ ]aimloop__t35_aimloop.depv12025-09-15 19:47 51  
[ ]aimloop__t35_aimloop.depvmin12025-09-15 19:52 51  
[ ]aimloop__t35_aimloop.vmin12025-09-15 19:47 2.0K 
[ ]aimloop__t35_aimloop.vmin1out2025-09-15 19:51 33K 
[ ]aimloop__t35_aimloop.vout2025-09-15 17:32 33K 
[ ]aimloop__t36_aimloop2025-09-09 19:09 24K 
[ ]aimloop__t36_aimloop.depv12025-09-15 19:47 51  
[ ]aimloop__t36_aimloop.depvmin12025-09-15 19:52 51  
[ ]aimloop__t36_aimloop.vmin12025-09-15 19:47 2.0K 
[ ]aimloop__t36_aimloop.vmin1out2025-09-15 19:50 33K 
[ ]aimloop__t36_aimloop.vout2025-09-15 17:47 33K 
[ ]aimloop__t37_aimloop2025-09-09 19:11 39K 
[ ]aimloop__t37_aimloop.vout2025-09-15 18:44 6.8K 
[ ]aimloop__t38_aimloop2025-09-09 19:12 23K 
[ ]aimloop__t38_aimloop.vout2025-09-15 18:58 7.3K 
[ ]aimloop__t39_aimloop2025-09-09 19:14 22K 
[ ]aimloop__t39_aimloop.depv12025-09-15 19:47 189  
[ ]aimloop__t39_aimloop.depvmin12025-09-15 19:52 189  
[ ]aimloop__t39_aimloop.vmin12025-09-15 19:47 2.6K 
[ ]aimloop__t39_aimloop.vmin1out2025-09-15 19:48 30K 
[ ]aimloop__t39_aimloop.vout2025-09-15 13:47 36K 
[ ]aimloop__t40_aimloop2025-09-09 19:15 19K 
[ ]aimloop__t40_aimloop.depv12025-09-15 19:47 97  
[ ]aimloop__t40_aimloop.depvmin12025-09-15 19:52 97  
[ ]aimloop__t40_aimloop.vmin12025-09-15 19:47 1.7K 
[ ]aimloop__t40_aimloop.vmin1out2025-09-15 19:47 27K 
[ ]aimloop__t40_aimloop.vout2025-09-15 19:16 27K 
[ ]aimloop__t41_aimloop2025-09-09 19:16 23K 
[ ]aimloop__t41_aimloop.depv12025-09-15 19:47 175  
[ ]aimloop__t41_aimloop.depvmin12025-09-15 19:52 175  
[ ]aimloop__t41_aimloop.vmin12025-09-15 19:47 3.0K 
[ ]aimloop__t41_aimloop.vmin1out2025-09-15 19:48 46K 
[ ]aimloop__t41_aimloop.vout2025-09-15 17:49 39K 
[ ]aimloop__t42_aimloop2025-09-09 19:17 9.8K 
[ ]aimloop__t42_aimloop.depv12025-09-15 19:47 110  
[ ]aimloop__t42_aimloop.depvmin12025-09-15 19:52 110  
[ ]aimloop__t42_aimloop.vmin12025-09-15 19:47 1.9K 
[ ]aimloop__t42_aimloop.vmin1out2025-09-15 19:47 30K 
[ ]aimloop__t42_aimloop.vout2025-09-15 15:27 30K 
[ ]aimloop__t43_aimloop2025-09-09 19:18 23K 
[ ]aimloop__t43_aimloop.vout2025-09-15 19:45 7.3K 
[ ]aimloop__t44_aimloop2025-09-09 19:19 9.8K 
[ ]aimloop__t44_aimloop.depv12025-09-15 19:47 110  
[ ]aimloop__t44_aimloop.depvmin12025-09-15 19:52 110  
[ ]aimloop__t44_aimloop.vmin12025-09-15 19:47 1.9K 
[ ]aimloop__t44_aimloop.vmin1out2025-09-15 19:48 30K 
[ ]aimloop__t44_aimloop.vout2025-09-15 17:26 30K 
[ ]aimloop__t45_aimloop2025-09-09 19:20 39K 
[ ]aimloop__t45_aimloop.vout2025-09-15 19:26 6.8K 
[ ]aimloop__t46_aimloop2025-09-09 19:22 34K 
[ ]aimloop__t46_aimloop.vout2025-09-15 14:14 7.3K 
[ ]aimloop__t47_aimloop2025-09-09 19:24 47K 
[ ]aimloop__t47_aimloop.vout2025-09-15 17:16 7.3K 
[ ]aimloop__t48_aimloop2025-09-09 19:25 38K 
[ ]aimloop__t48_aimloop.vout2025-09-15 17:33 4.7K 
[ ]aimloop__t49_aimloop2025-09-09 19:27 39K 
[ ]aimloop__t49_aimloop.vout2025-09-15 17:36 4.1K 
[ ]aimloop__t50_aimloop2025-09-09 19:28 27K 
[ ]aimloop__t50_aimloop.depv12025-09-15 19:47 186  
[ ]aimloop__t50_aimloop.depvmin12025-09-15 19:52 186  
[ ]aimloop__t50_aimloop.vmin12025-09-15 19:47 4.2K 
[ ]aimloop__t50_aimloop.vmin1out2025-09-15 19:48 69K 
[ ]aimloop__t50_aimloop.vout2025-09-15 14:51 51K 
[ ]aimloop__t51_aimloop2025-09-09 19:29 27K 
[ ]aimloop__t51_aimloop.vout2025-09-15 15:43 6.8K 
[ ]aimloop__t52_aimloop2025-09-09 19:30 33K 
[ ]aimloop__t52_aimloop.vout2025-09-15 17:14 4.1K 
[ ]aimloop__t53_aimloop2025-09-09 19:32 27K 
[ ]aimloop__t53_aimloop.depv12025-09-15 19:47 172  
[ ]aimloop__t53_aimloop.depvmin12025-09-15 19:52 172  
[ ]aimloop__t53_aimloop.vmin12025-09-15 19:47 2.2K 
[ ]aimloop__t53_aimloop.vmin1out2025-09-15 19:49 24K 
[ ]aimloop__t53_aimloop.vout2025-09-15 16:54 26K 
[ ]aimloop__t54_aimloop2025-09-09 19:33 52K 
[ ]aimloop__t54_aimloop.vout2025-09-15 14:26 4.7K 
[ ]aimloop__t55_aimloop2025-09-09 19:35 37K 
[ ]aimloop__t55_aimloop.vout2025-09-15 18:32 4.1K 
[ ]aimloop__t56_aimloop2025-09-09 19:36 32K 
[ ]aimloop__t56_aimloop.vout2025-09-15 19:06 4.1K 
[ ]aimloop__t57_aimloop2025-09-09 19:38 34K 
[ ]aimloop__t57_aimloop.vout2025-09-15 18:38 4.1K 
[ ]aimloop__t58_aimloop2025-09-09 19:39 22K 
[ ]aimloop__t58_aimloop.depv12025-09-15 19:47 144  
[ ]aimloop__t58_aimloop.depvmin12025-09-15 19:52 62  
[ ]aimloop__t58_aimloop.vmin12025-09-15 19:47 2.0K 
[ ]aimloop__t58_aimloop.vmin1out2025-09-15 19:47 41K 
[ ]aimloop__t58_aimloop.vout2025-09-15 16:42 41K 
[ ]aimloop__t59_aimloop2025-09-09 19:41 44K 
[ ]aimloop__t59_aimloop.vout2025-09-15 16:34 4.7K 
[ ]aimloop__t60_aimloop2025-09-09 19:42 42K 
[ ]aimloop__t60_aimloop.vout2025-09-15 16:53 4.7K 
[ ]aimloop__t61_aimloop2025-09-09 19:44 42K 
[ ]aimloop__t61_aimloop.vout2025-09-15 14:55 4.7K 
[ ]aimloop__t62_aimloop2025-09-09 19:46 56K 
[ ]aimloop__t62_aimloop.vout2025-09-15 14:41 4.7K 
[ ]aimloop__t63_aimloop2025-09-09 19:47 44K 
[ ]aimloop__t63_aimloop.vout2025-09-15 18:33 4.1K 
[ ]aimloop__t64_aimloop2025-09-09 19:49 35K 
[ ]aimloop__t64_aimloop.vout2025-09-15 15:37 4.1K 
[ ]aimloop__t65_aimloop2025-09-09 19:51 55K 
[ ]aimloop__t65_aimloop.vout2025-09-15 14:14 4.7K 
[ ]aimloop__t66_aimloop2025-09-09 19:53 57K 
[ ]aimloop__t66_aimloop.vout2025-09-15 19:21 4.7K 
[ ]aimloop__t67_aimloop2025-09-09 19:55 37K 
[ ]aimloop__t67_aimloop.vout2025-09-15 15:20 4.1K 
[ ]aimloop__t68_aimloop2025-09-09 19:57 41K 
[ ]aimloop__t68_aimloop.vout2025-09-15 16:29 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80