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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos7__l1_sin_cos72024-07-27 14:17 8.2K 
[ ]sin_cos7__l1_sin_cos7.depv12024-08-03 10:19 59  
[ ]sin_cos7__l1_sin_cos7.depvmin12024-08-03 10:24 59  
[ ]sin_cos7__l1_sin_cos7.vmin12024-08-03 10:20 172  
[ ]sin_cos7__l1_sin_cos7.vmin1out2024-08-03 10:23 2.1K 
[ ]sin_cos7__l1_sin_cos7.vout2024-08-03 07:11 1.5K 
[ ]sin_cos7__l2_sin_cos72024-07-27 15:13 21K 
[ ]sin_cos7__l2_sin_cos7.vout2024-08-03 08:32 2.0K 
[ ]sin_cos7__l8_sin_cos72024-07-27 15:14 33K 
[ ]sin_cos7__l8_sin_cos7.vout2024-08-03 05:50 2.0K 
[ ]sin_cos7__l15_sin_cos72024-07-27 15:15 33K 
[ ]sin_cos7__l15_sin_cos7.depv12024-08-03 10:19 505  
[ ]sin_cos7__l15_sin_cos7.depvmin12024-08-03 10:24 261  
[ ]sin_cos7__l15_sin_cos7.vmin12024-08-03 10:20 4.2K 
[ ]sin_cos7__l15_sin_cos7.vmin1out2024-08-03 10:20 29K 
[ ]sin_cos7__l15_sin_cos7.vout2024-08-03 09:47 44K 
[ ]sin_cos7__l21_sin_cos72024-07-27 15:15 33K 
[ ]sin_cos7__l21_sin_cos7.vout2024-08-03 08:47 2.0K 
[ ]sin_cos7__l36_sin_cos72024-07-27 15:16 17K 
[ ]sin_cos7__l36_sin_cos7.depv12024-08-03 10:19 303  
[ ]sin_cos7__l36_sin_cos7.depvmin12024-08-03 10:24 290  
[ ]sin_cos7__l36_sin_cos7.vmin12024-08-03 10:20 2.2K 
[ ]sin_cos7__l36_sin_cos7.vmin1out2024-08-03 10:23 18K 
[ ]sin_cos7__l36_sin_cos7.vout2024-08-03 05:47 20K 
[ ]sin_cos7__l39_sin_cos72024-07-27 15:17 33K 
[ ]sin_cos7__l39_sin_cos7.vout2024-08-03 05:01 2.0K 
[ ]sin_cos7__l40_sin_cos72024-07-27 15:17 22K 
[ ]sin_cos7__l40_sin_cos7.vout2024-08-03 07:59 2.0K 
[ ]sin_cos7__l41_sin_cos72024-07-27 15:18 34K 
[ ]sin_cos7__l41_sin_cos7.vout2024-08-03 08:24 7.3K 
[ ]sin_cos7__l42_sin_cos72024-07-27 15:19 33K 
[ ]sin_cos7__l42_sin_cos7.depv12024-08-03 10:19 555  
[ ]sin_cos7__l42_sin_cos7.depvmin12024-08-03 10:24 449  
[ ]sin_cos7__l42_sin_cos7.vmin12024-08-03 10:20 3.6K 
[ ]sin_cos7__l42_sin_cos7.vmin1out2024-08-03 10:23 31K 
[ ]sin_cos7__l42_sin_cos7.vout2024-08-03 07:40 32K 
[ ]sin_cos7__l43_sin_cos72024-07-27 15:19 75K 
[ ]sin_cos7__l43_sin_cos7.vout2024-08-03 07:23 2.0K 
[ ]sin_cos7__l44_sin_cos72024-07-27 15:20 34K 
[ ]sin_cos7__l44_sin_cos7.vout2024-08-03 09:40 4.7K 
[ ]sin_cos7__l45_sin_cos72024-07-27 14:18 32K 
[ ]sin_cos7__l45_sin_cos7.vout2024-08-03 05:11 2.0K 
[ ]sin_cos7__l46_sin_cos72024-07-27 15:21 129K 
[ ]sin_cos7__l46_sin_cos7.vout2024-08-03 08:58 2.1K 
[ ]sin_cos7__l47_sin_cos72024-07-27 15:21 33K 
[ ]sin_cos7__l47_sin_cos7.vout2024-08-03 04:22 2.0K 
[ ]sin_cos7__l48_sin_cos72024-07-27 15:22 33K 
[ ]sin_cos7__l48_sin_cos7.vout2024-08-03 09:55 2.0K 
[ ]sin_cos7__l49_sin_cos72024-07-27 15:23 255K 
[ ]sin_cos7__l49_sin_cos7.vout2024-08-03 05:10 2.0K 
[ ]sin_cos7__l50_sin_cos72024-07-27 15:24 33K 
[ ]sin_cos7__l50_sin_cos7.vout2024-08-03 06:48 2.0K 
[ ]sin_cos7__l51_sin_cos72024-07-27 15:24 33K 
[ ]sin_cos7__l51_sin_cos7.vout2024-08-03 07:56 2.0K 
[ ]sin_cos7__l52_sin_cos72024-07-27 15:25 75K 
[ ]sin_cos7__l52_sin_cos7.vout2024-08-03 10:14 4.7K 
[ ]sin_cos7__l53_sin_cos72024-07-27 15:26 21K 
[ ]sin_cos7__l53_sin_cos7.vout2024-08-03 07:02 2.0K 
[ ]sin_cos7__t1_sin_cos72024-07-27 14:19 16K 
[ ]sin_cos7__t1_sin_cos7.depv12024-08-03 10:19 83  
[ ]sin_cos7__t1_sin_cos7.depvmin12024-08-03 10:24 83  
[ ]sin_cos7__t1_sin_cos7.vmin12024-08-03 10:20 765  
[ ]sin_cos7__t1_sin_cos7.vmin1out2024-08-03 10:21 6.0K 
[ ]sin_cos7__t1_sin_cos7.vout2024-08-03 07:19 6.1K 
[ ]sin_cos7__t2_sin_cos72024-07-27 14:19 34K 
[ ]sin_cos7__t2_sin_cos7.vout2024-08-03 05:35 7.3K 
[ ]sin_cos7__t3_sin_cos72024-07-27 14:20 75K 
[ ]sin_cos7__t3_sin_cos7.vout2024-08-03 05:01 2.0K 
[ ]sin_cos7__t4_sin_cos72024-07-27 14:21 18K 
[ ]sin_cos7__t4_sin_cos7.depv12024-08-03 10:19 333  
[ ]sin_cos7__t4_sin_cos7.depvmin12024-08-03 10:24 321  
[ ]sin_cos7__t4_sin_cos7.vmin12024-08-03 10:20 2.2K 
[ ]sin_cos7__t4_sin_cos7.vmin1out2024-08-03 10:21 18K 
[ ]sin_cos7__t4_sin_cos7.vout2024-08-03 08:07 37K 
[ ]sin_cos7__t5_sin_cos72024-07-27 14:22 33K 
[ ]sin_cos7__t5_sin_cos7.vout2024-08-03 09:53 2.0K 
[ ]sin_cos7__t6_sin_cos72024-07-27 14:17 20K 
[ ]sin_cos7__t6_sin_cos7.depv12024-08-03 10:19 215  
[ ]sin_cos7__t6_sin_cos7.depvmin12024-08-03 10:24 215  
[ ]sin_cos7__t6_sin_cos7.vmin12024-08-03 10:20 2.1K 
[ ]sin_cos7__t6_sin_cos7.vmin1out2024-08-03 10:20 21K 
[ ]sin_cos7__t6_sin_cos7.vout2024-08-03 05:01 18K 
[ ]sin_cos7__t7_sin_cos72024-07-27 14:22 32K 
[ ]sin_cos7__t7_sin_cos7.vout2024-08-03 05:41 2.0K 
[ ]sin_cos7__t8_sin_cos72024-07-27 14:23 19K 
[ ]sin_cos7__t8_sin_cos7.depv12024-08-03 10:19 287  
[ ]sin_cos7__t8_sin_cos7.depvmin12024-08-03 10:24 287  
[ ]sin_cos7__t8_sin_cos7.vmin12024-08-03 10:20 2.5K 
[ ]sin_cos7__t8_sin_cos7.vmin1out2024-08-03 10:23 22K 
[ ]sin_cos7__t8_sin_cos7.vout2024-08-03 07:05 20K 
[ ]sin_cos7__t9_sin_cos72024-07-27 14:24 33K 
[ ]sin_cos7__t9_sin_cos7.depv12024-08-03 10:19 366  
[ ]sin_cos7__t9_sin_cos7.depvmin12024-08-03 10:24 293  
[ ]sin_cos7__t9_sin_cos7.vmin12024-08-03 10:20 3.3K 
[ ]sin_cos7__t9_sin_cos7.vmin1out2024-08-03 10:21 24K 
[ ]sin_cos7__t9_sin_cos7.vout2024-08-03 08:54 31K 
[ ]sin_cos7__t10_sin_cos72024-07-27 14:24 33K 
[ ]sin_cos7__t10_sin_cos7.vout2024-08-03 09:47 2.0K 
[ ]sin_cos7__t11_sin_cos72024-07-27 14:25 33K 
[ ]sin_cos7__t11_sin_cos7.depv12024-08-03 10:19 219  
[ ]sin_cos7__t11_sin_cos7.depvmin12024-08-03 10:24 219  
[ ]sin_cos7__t11_sin_cos7.vmin12024-08-03 10:20 1.5K 
[ ]sin_cos7__t11_sin_cos7.vmin1out2024-08-03 10:20 12K 
[ ]sin_cos7__t11_sin_cos7.vout2024-08-03 04:41 11K 
[ ]sin_cos7__t12_sin_cos72024-07-27 14:26 27K 
[ ]sin_cos7__t12_sin_cos7.vout2024-08-03 09:59 7.9K 
[ ]sin_cos7__t13_sin_cos72024-07-27 14:26 33K 
[ ]sin_cos7__t13_sin_cos7.vout2024-08-03 08:12 2.0K 
[ ]sin_cos7__t14_sin_cos72024-07-27 14:27 255K 
[ ]sin_cos7__t14_sin_cos7.vout2024-08-03 07:17 2.0K 
[ ]sin_cos7__t15_sin_cos72024-07-27 14:28 33K 
[ ]sin_cos7__t15_sin_cos7.vout2024-08-03 08:21 2.0K 
[ ]sin_cos7__t16_sin_cos72024-07-27 14:28 21K 
[ ]sin_cos7__t16_sin_cos7.depv12024-08-03 10:19 153  
[ ]sin_cos7__t16_sin_cos7.depvmin12024-08-03 10:24 153  
[ ]sin_cos7__t16_sin_cos7.vmin12024-08-03 10:20 1.1K 
[ ]sin_cos7__t16_sin_cos7.vmin1out2024-08-03 10:22 9.6K 
[ ]sin_cos7__t16_sin_cos7.vout2024-08-03 09:22 18K 
[ ]sin_cos7__t17_sin_cos72024-07-27 14:29 34K 
[ ]sin_cos7__t17_sin_cos7.vout2024-08-03 04:18 2.0K 
[ ]sin_cos7__t18_sin_cos72024-07-27 14:30 33K 
[ ]sin_cos7__t18_sin_cos7.vout2024-08-03 07:09 2.0K 
[ ]sin_cos7__t19_sin_cos72024-07-27 14:30 75K 
[ ]sin_cos7__t19_sin_cos7.vout2024-08-03 09:09 2.0K 
[ ]sin_cos7__t20_sin_cos72024-07-27 14:31 33K 
[ ]sin_cos7__t20_sin_cos7.vout2024-08-03 07:03 2.0K 
[ ]sin_cos7__t21_sin_cos72024-07-27 14:32 21K 
[ ]sin_cos7__t21_sin_cos7.vout2024-08-03 09:02 2.0K 
[ ]sin_cos7__t22_sin_cos72024-07-27 14:32 33K 
[ ]sin_cos7__t22_sin_cos7.vout2024-08-03 09:10 2.0K 
[ ]sin_cos7__t23_sin_cos72024-07-27 14:33 33K 
[ ]sin_cos7__t23_sin_cos7.depv12024-08-03 10:19 555  
[ ]sin_cos7__t23_sin_cos7.depvmin12024-08-03 10:24 449  
[ ]sin_cos7__t23_sin_cos7.vmin12024-08-03 10:20 3.6K 
[ ]sin_cos7__t23_sin_cos7.vmin1out2024-08-03 10:23 31K 
[ ]sin_cos7__t23_sin_cos7.vout2024-08-03 07:59 32K 
[ ]sin_cos7__t24_sin_cos72024-07-27 14:34 33K 
[ ]sin_cos7__t24_sin_cos7.depv12024-08-03 10:19 574  
[ ]sin_cos7__t24_sin_cos7.depvmin12024-08-03 10:24 574  
[ ]sin_cos7__t24_sin_cos7.vmin12024-08-03 10:20 4.0K 
[ ]sin_cos7__t24_sin_cos7.vmin1out2024-08-03 10:23 43K 
[ ]sin_cos7__t24_sin_cos7.vout2024-08-03 06:47 43K 
[ ]sin_cos7__t25_sin_cos72024-07-27 14:35 34K 
[ ]sin_cos7__t25_sin_cos7.vout2024-08-03 08:19 2.0K 
[ ]sin_cos7__t26_sin_cos72024-07-27 14:35 35K 
[ ]sin_cos7__t26_sin_cos7.vout2024-08-03 07:16 2.0K 
[ ]sin_cos7__t27_sin_cos72024-07-27 14:36 21K 
[ ]sin_cos7__t27_sin_cos7.vout2024-08-03 07:32 2.0K 
[ ]sin_cos7__t28_sin_cos72024-07-27 14:37 17K 
[ ]sin_cos7__t28_sin_cos7.vout2024-08-03 04:35 2.0K 
[ ]sin_cos7__t29_sin_cos72024-07-27 14:37 9.4K 
[ ]sin_cos7__t29_sin_cos7.depv12024-08-03 10:19 245  
[ ]sin_cos7__t29_sin_cos7.depvmin12024-08-03 10:24 231  
[ ]sin_cos7__t29_sin_cos7.vmin12024-08-03 10:20 1.5K 
[ ]sin_cos7__t29_sin_cos7.vmin1out2024-08-03 10:20 15K 
[ ]sin_cos7__t29_sin_cos7.vout2024-08-03 08:17 14K 
[ ]sin_cos7__t30_sin_cos72024-07-27 14:38 33K 
[ ]sin_cos7__t30_sin_cos7.vout2024-08-03 06:44 7.3K 
[ ]sin_cos7__t31_sin_cos72024-07-27 14:39 75K 
[ ]sin_cos7__t31_sin_cos7.vout2024-08-03 04:39 2.0K 
[ ]sin_cos7__t32_sin_cos72024-07-27 14:39 32K 
[ ]sin_cos7__t32_sin_cos7.vout2024-08-03 07:35 2.0K 
[ ]sin_cos7__t33_sin_cos72024-07-27 14:40 34K 
[ ]sin_cos7__t33_sin_cos7.vout2024-08-03 08:19 7.3K 
[ ]sin_cos7__t34_sin_cos72024-07-27 14:41 76K 
[ ]sin_cos7__t34_sin_cos7.vout2024-08-03 09:41 7.3K 
[ ]sin_cos7__t35_sin_cos72024-07-27 14:42 77K 
[ ]sin_cos7__t35_sin_cos7.vout2024-08-03 07:13 2.0K 
[ ]sin_cos7__t36_sin_cos72024-07-27 14:42 34K 
[ ]sin_cos7__t36_sin_cos7.vout2024-08-03 09:57 7.3K 
[ ]sin_cos7__t37_sin_cos72024-07-27 14:43 77K 
[ ]sin_cos7__t37_sin_cos7.vout2024-08-03 05:09 7.3K 
[ ]sin_cos7__t38_sin_cos72024-07-27 14:44 356K 
[ ]sin_cos7__t38_sin_cos7.vout2024-08-03 06:33 7.3K 
[ ]sin_cos7__t39_sin_cos72024-07-27 14:45 356K 
[ ]sin_cos7__t39_sin_cos7.vout2024-08-03 05:59 7.3K 
[ ]sin_cos7__t40_sin_cos72024-07-27 14:45 356K 
[ ]sin_cos7__t40_sin_cos7.vout2024-08-03 06:10 7.3K 
[ ]sin_cos7__t41_sin_cos72024-07-27 14:46 133K 
[ ]sin_cos7__t41_sin_cos7.vout2024-08-03 10:11 7.3K 
[ ]sin_cos7__t42_sin_cos72024-07-27 14:47 78K 
[ ]sin_cos7__t42_sin_cos7.vout2024-08-03 04:44 7.3K 
[ ]sin_cos7__t43_sin_cos72024-07-27 14:48 324K 
[ ]sin_cos7__t43_sin_cos7.vout2024-08-03 09:37 2.0K 
[ ]sin_cos7__t44_sin_cos72024-07-27 14:49 321K 
[ ]sin_cos7__t44_sin_cos7.vout2024-08-03 08:19 2.0K 
[ ]sin_cos7__t45_sin_cos72024-07-27 14:49 256K 
[ ]sin_cos7__t45_sin_cos7.vout2024-08-03 08:43 2.0K 
[ ]sin_cos7__t46_sin_cos72024-07-27 14:50 75K 
[ ]sin_cos7__t46_sin_cos7.vout2024-08-03 05:14 2.0K 
[ ]sin_cos7__t47_sin_cos72024-07-27 14:51 34K 
[ ]sin_cos7__t47_sin_cos7.vout2024-08-03 07:37 2.0K 
[ ]sin_cos7__t48_sin_cos72024-07-27 14:52 34K 
[ ]sin_cos7__t48_sin_cos7.vout2024-08-03 10:12 2.0K 
[ ]sin_cos7__t49_sin_cos72024-07-27 14:52 23K 
[ ]sin_cos7__t49_sin_cos7.vout2024-08-03 08:35 2.0K 
[ ]sin_cos7__t50_sin_cos72024-07-27 14:53 51K 
[ ]sin_cos7__t50_sin_cos7.vout2024-08-03 05:24 7.3K 
[ ]sin_cos7__t51_sin_cos72024-07-27 14:54 131K 
[ ]sin_cos7__t51_sin_cos7.vout2024-08-03 05:55 7.3K 
[ ]sin_cos7__t52_sin_cos72024-07-27 14:55 76K 
[ ]sin_cos7__t52_sin_cos7.vout2024-08-03 09:25 7.3K 
[ ]sin_cos7__t53_sin_cos72024-07-27 14:55 76K 
[ ]sin_cos7__t53_sin_cos7.vout2024-08-03 09:02 7.3K 
[ ]sin_cos7__t54_sin_cos72024-07-27 14:56 132K 
[ ]sin_cos7__t54_sin_cos7.vout2024-08-03 04:25 7.3K 
[ ]sin_cos7__t55_sin_cos72024-07-27 14:57 132K 
[ ]sin_cos7__t55_sin_cos7.vout2024-08-03 07:12 7.3K 
[ ]sin_cos7__t56_sin_cos72024-07-27 14:58 76K 
[ ]sin_cos7__t56_sin_cos7.vout2024-08-03 05:03 2.0K 
[ ]sin_cos7__t57_sin_cos72024-07-27 14:58 76K 
[ ]sin_cos7__t57_sin_cos7.vout2024-08-03 06:25 2.0K 
[ ]sin_cos7__t58_sin_cos72024-07-27 14:59 75K 
[ ]sin_cos7__t58_sin_cos7.vout2024-08-03 08:44 2.0K 
[ ]sin_cos7__t59_sin_cos72024-07-27 15:00 76K 
[ ]sin_cos7__t59_sin_cos7.vout2024-08-03 05:23 2.0K 
[ ]sin_cos7__t60_sin_cos72024-07-27 15:01 251K 
[ ]sin_cos7__t60_sin_cos7.vout2024-08-03 08:53 2.0K 
[ ]sin_cos7__t61_sin_cos72024-07-27 15:01 251K 
[ ]sin_cos7__t61_sin_cos7.vout2024-08-03 09:34 2.0K 
[ ]sin_cos7__t62_sin_cos72024-07-27 15:02 250K 
[ ]sin_cos7__t62_sin_cos7.vout2024-08-03 09:49 2.0K 
[ ]sin_cos7__t63_sin_cos72024-07-27 15:03 404K 
[ ]sin_cos7__t63_sin_cos7.vout2024-08-03 05:58 6.8K 
[ ]sin_cos7__t64_sin_cos72024-07-27 15:04 509K 
[ ]sin_cos7__t64_sin_cos7.vout2024-08-03 05:59 6.8K 
[ ]sin_cos7__t65_sin_cos72024-07-27 15:04 77K 
[ ]sin_cos7__t65_sin_cos7.vout2024-08-03 09:04 6.8K 
[ ]sin_cos7__t66_sin_cos72024-07-27 15:05 78K 
[ ]sin_cos7__t66_sin_cos7.vout2024-08-03 09:27 6.8K 
[ ]sin_cos7__t67_sin_cos72024-07-27 15:06 325K 
[ ]sin_cos7__t67_sin_cos7.vout2024-08-03 08:53 6.8K 
[ ]sin_cos7__t68_sin_cos72024-07-27 15:07 363K 
[ ]sin_cos7__t68_sin_cos7.vout2024-08-03 04:12 6.8K 
[ ]sin_cos7__t69_sin_cos72024-07-27 15:08 97K 
[ ]sin_cos7__t69_sin_cos7.vout2024-08-03 04:48 1.1K 
[ ]sin_cos7__t70_sin_cos72024-07-27 15:09 65K 
[ ]sin_cos7__t70_sin_cos7.vout2024-08-03 07:40 1.1K 
[ ]sin_cos7__t71_sin_cos72024-07-27 15:10 34K 
[ ]sin_cos7__t71_sin_cos7.vout2024-08-03 07:47 2.0K 
[ ]sin_cos7__t72_sin_cos72024-07-27 15:11 510K 
[ ]sin_cos7__t72_sin_cos7.vout2024-08-03 08:34 2.0K 
[ ]sin_cos7__t73_sin_cos72024-07-27 15:13 878K 
[ ]sin_cos7__t73_sin_cos7.vout2024-08-03 09:35 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80