Index of /~mptp/mml5.63.1382/MPTP2/problems_small/sin_cos7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos7__l1_sin_cos7.depv12021-07-25 20:57 59  
[ ]sin_cos7__l1_sin_cos7.depvmin12021-07-25 21:03 59  
[ ]sin_cos7__t1_sin_cos7.depv12021-07-25 20:57 83  
[ ]sin_cos7__t1_sin_cos7.depvmin12021-07-25 21:03 83  
[ ]sin_cos7__t16_sin_cos7.depv12021-07-25 20:57 128  
[ ]sin_cos7__t16_sin_cos7.depvmin12021-07-25 21:03 128  
[ ]sin_cos7__l1_sin_cos7.vmin12021-07-25 20:57 172  
[ ]sin_cos7__t6_sin_cos7.depv12021-07-25 20:57 212  
[ ]sin_cos7__t6_sin_cos7.depvmin12021-07-25 21:03 212  
[ ]sin_cos7__t11_sin_cos7.depv12021-07-25 20:57 219  
[ ]sin_cos7__t11_sin_cos7.depvmin12021-07-25 21:03 219  
[ ]sin_cos7__t29_sin_cos7.depvmin12021-07-25 21:03 219  
[ ]sin_cos7__t9_sin_cos7.depv12021-07-25 20:57 248  
[ ]sin_cos7__t9_sin_cos7.depvmin12021-07-25 21:03 248  
[ ]sin_cos7__l15_sin_cos7.depvmin12021-07-25 21:03 261  
[ ]sin_cos7__t29_sin_cos7.depv12021-07-25 20:57 263  
[ ]sin_cos7__t8_sin_cos7.depv12021-07-25 20:57 284  
[ ]sin_cos7__t8_sin_cos7.depvmin12021-07-25 21:03 284  
[ ]sin_cos7__l36_sin_cos7.depv12021-07-25 20:57 324  
[ ]sin_cos7__l36_sin_cos7.depvmin12021-07-25 21:03 324  
[ ]sin_cos7__t4_sin_cos7.depv12021-07-25 20:57 336  
[ ]sin_cos7__t4_sin_cos7.depvmin12021-07-25 21:03 336  
[ ]sin_cos7__l45_sin_cos7.depvmin12021-07-25 21:03 439  
[ ]sin_cos7__l15_sin_cos7.depv12021-07-25 20:57 458  
[ ]sin_cos7__t24_sin_cos7.depvmin12021-07-25 21:03 488  
[ ]sin_cos7__l42_sin_cos7.depvmin12021-07-25 21:03 493  
[ ]sin_cos7__t23_sin_cos7.depvmin12021-07-25 21:03 493  
[ ]sin_cos7__l42_sin_cos7.depv12021-07-25 20:57 517  
[ ]sin_cos7__t23_sin_cos7.depv12021-07-25 20:57 517  
[ ]sin_cos7__l45_sin_cos7.depv12021-07-25 20:57 535  
[ ]sin_cos7__t24_sin_cos7.depv12021-07-25 20:57 549  
[ ]sin_cos7__t1_sin_cos7.vmin12021-07-25 20:57 765  
[ ]sin_cos7__t16_sin_cos7.vmin12021-07-25 20:57 1.0K 
[ ]sin_cos7__t69_sin_cos7.vout2021-07-25 17:31 1.1K 
[ ]sin_cos7__l1_sin_cos7.vout2021-07-25 16:35 1.5K 
[ ]sin_cos7__t11_sin_cos7.vmin12021-07-25 20:57 1.5K 
[ ]sin_cos7__t29_sin_cos7.vmin12021-07-25 20:57 1.8K 
[ ]sin_cos7__l2_sin_cos7.vout2021-07-25 16:18 2.0K 
[ ]sin_cos7__l8_sin_cos7.vout2021-07-25 16:21 2.0K 
[ ]sin_cos7__t3_sin_cos7.vout2021-07-25 17:40 2.0K 
[ ]sin_cos7__t5_sin_cos7.vout2021-07-25 19:43 2.0K 
[ ]sin_cos7__t7_sin_cos7.vout2021-07-25 17:29 2.0K 
[ ]sin_cos7__t32_sin_cos7.vout2021-07-25 18:17 2.0K 
[ ]sin_cos7__t56_sin_cos7.vout2021-07-25 15:39 2.0K 
[ ]sin_cos7__l40_sin_cos7.vout2021-07-25 17:30 2.0K 
[ ]sin_cos7__l48_sin_cos7.vout2021-07-25 15:49 2.0K 
[ ]sin_cos7__t10_sin_cos7.vout2021-07-25 18:41 2.0K 
[ ]sin_cos7__t18_sin_cos7.vout2021-07-25 14:31 2.0K 
[ ]sin_cos7__t22_sin_cos7.vout2021-07-25 19:43 2.0K 
[ ]sin_cos7__t35_sin_cos7.vout2021-07-25 18:55 2.0K 
[ ]sin_cos7__t44_sin_cos7.vout2021-07-25 14:31 2.0K 
[ ]sin_cos7__l43_sin_cos7.vout2021-07-25 16:02 2.0K 
[ ]sin_cos7__l46_sin_cos7.vout2021-07-25 19:54 2.0K 
[ ]sin_cos7__l47_sin_cos7.vout2021-07-25 19:36 2.0K 
[ ]sin_cos7__l49_sin_cos7.vout2021-07-25 16:12 2.0K 
[ ]sin_cos7__l50_sin_cos7.vout2021-07-25 15:41 2.0K 
[ ]sin_cos7__l51_sin_cos7.vout2021-07-25 17:04 2.0K 
[ ]sin_cos7__t13_sin_cos7.vout2021-07-25 14:29 2.0K 
[ ]sin_cos7__t14_sin_cos7.vout2021-07-25 20:05 2.0K 
[ ]sin_cos7__t15_sin_cos7.vout2021-07-25 16:25 2.0K 
[ ]sin_cos7__t17_sin_cos7.vout2021-07-25 19:41 2.0K 
[ ]sin_cos7__t19_sin_cos7.vout2021-07-25 17:08 2.0K 
[ ]sin_cos7__t20_sin_cos7.vout2021-07-25 18:35 2.0K 
[ ]sin_cos7__t21_sin_cos7.vout2021-07-25 16:24 2.0K 
[ ]sin_cos7__t26_sin_cos7.vout2021-07-25 14:23 2.0K 
[ ]sin_cos7__t47_sin_cos7.vout2021-07-25 14:38 2.0K 
[ ]sin_cos7__t49_sin_cos7.vout2021-07-25 16:25 2.0K 
[ ]sin_cos7__t58_sin_cos7.vout2021-07-25 16:23 2.0K 
[ ]sin_cos7__t59_sin_cos7.vout2021-07-25 17:27 2.0K 
[ ]sin_cos7__t60_sin_cos7.vout2021-07-25 17:02 2.0K 
[ ]sin_cos7__l21_sin_cos7.vout2021-07-25 16:53 2.0K 
[ ]sin_cos7__t31_sin_cos7.vout2021-07-25 18:08 2.0K 
[ ]sin_cos7__t43_sin_cos7.vout2021-07-25 15:11 2.0K 
[ ]sin_cos7__t45_sin_cos7.vout2021-07-25 16:31 2.0K 
[ ]sin_cos7__l53_sin_cos7.vout2021-07-25 19:24 2.0K 
[ ]sin_cos7__t25_sin_cos7.vout2021-07-25 19:11 2.0K 
[ ]sin_cos7__t48_sin_cos7.vout2021-07-25 16:52 2.0K 
[ ]sin_cos7__t57_sin_cos7.vout2021-07-25 18:08 2.0K 
[ ]sin_cos7__t27_sin_cos7.vout2021-07-25 15:15 2.0K 
[ ]sin_cos7__t28_sin_cos7.vout2021-07-25 18:07 2.0K 
[ ]sin_cos7__t71_sin_cos7.vout2021-07-25 20:44 2.0K 
[ ]sin_cos7__t46_sin_cos7.vout2021-07-25 18:31 2.0K 
[ ]sin_cos7__l39_sin_cos7.vout2021-07-25 15:49 2.0K 
[ ]sin_cos7__t61_sin_cos7.vout2021-07-25 17:39 2.0K 
[ ]sin_cos7__t72_sin_cos7.vout2021-07-25 19:49 2.0K 
[ ]sin_cos7__t73_sin_cos7.vout2021-07-25 19:04 2.0K 
[ ]sin_cos7__t62_sin_cos7.vout2021-07-25 18:06 2.0K 
[ ]sin_cos7__t70_sin_cos7.vout2021-07-25 17:06 2.0K 
[ ]sin_cos7__l1_sin_cos7.vmin1out2021-07-25 20:58 2.1K 
[ ]sin_cos7__t6_sin_cos7.vmin12021-07-25 20:57 2.1K 
[ ]sin_cos7__l36_sin_cos7.vmin12021-07-25 20:57 2.3K 
[ ]sin_cos7__t9_sin_cos7.vmin12021-07-25 20:57 2.3K 
[ ]sin_cos7__t8_sin_cos7.vmin12021-07-25 20:57 2.4K 
[ ]sin_cos7__t4_sin_cos7.vmin12021-07-25 20:57 2.4K 
[ ]sin_cos7__l42_sin_cos7.vmin12021-07-25 20:57 3.0K 
[ ]sin_cos7__t23_sin_cos7.vmin12021-07-25 20:57 3.0K 
[ ]sin_cos7__t24_sin_cos7.vmin12021-07-25 20:57 3.6K 
[ ]sin_cos7__l15_sin_cos7.vmin12021-07-25 20:57 3.9K 
[ ]sin_cos7__l45_sin_cos7.vmin12021-07-25 20:57 4.5K 
[ ]sin_cos7__l44_sin_cos7.vout2021-07-25 16:23 4.7K 
[ ]sin_cos7__l52_sin_cos7.vout2021-07-25 20:02 4.7K 
[ ]sin_cos7__t1_sin_cos7.vmin1out2021-07-25 20:58 6.0K 
[ ]sin_cos7__t1_sin_cos7.vout2021-07-25 20:10 6.1K 
[ ]sin_cos7__t63_sin_cos7.vout2021-07-25 16:07 6.8K 
[ ]sin_cos7__t64_sin_cos7.vout2021-07-25 17:00 6.8K 
[ ]sin_cos7__t66_sin_cos7.vout2021-07-25 17:16 6.8K 
[ ]sin_cos7__t67_sin_cos7.vout2021-07-25 16:04 6.8K 
[ ]sin_cos7__t68_sin_cos7.vout2021-07-25 20:03 6.8K 
[ ]sin_cos7__t65_sin_cos7.vout2021-07-25 20:30 6.8K 
[ ]sin_cos7__l41_sin_cos7.vout2021-07-25 15:36 7.3K 
[ ]sin_cos7__t2_sin_cos7.vout2021-07-25 15:48 7.3K 
[ ]sin_cos7__t37_sin_cos7.vout2021-07-25 15:38 7.3K 
[ ]sin_cos7__t53_sin_cos7.vout2021-07-25 15:37 7.3K 
[ ]sin_cos7__t38_sin_cos7.vout2021-07-25 19:46 7.3K 
[ ]sin_cos7__t33_sin_cos7.vout2021-07-25 17:02 7.3K 
[ ]sin_cos7__t40_sin_cos7.vout2021-07-25 20:02 7.3K 
[ ]sin_cos7__t42_sin_cos7.vout2021-07-25 17:10 7.3K 
[ ]sin_cos7__t30_sin_cos7.vout2021-07-25 19:15 7.3K 
[ ]sin_cos7__t36_sin_cos7.vout2021-07-25 19:24 7.3K 
[ ]sin_cos7__t41_sin_cos7.vout2021-07-25 18:06 7.3K 
[ ]sin_cos7__t50_sin_cos7.vout2021-07-25 20:31 7.3K 
[ ]sin_cos7__t51_sin_cos7.vout2021-07-25 18:01 7.3K 
[ ]sin_cos7__t52_sin_cos7.vout2021-07-25 18:01 7.3K 
[ ]sin_cos7__t54_sin_cos7.vout2021-07-25 20:37 7.3K 
[ ]sin_cos7__t39_sin_cos7.vout2021-07-25 16:35 7.3K 
[ ]sin_cos7__t55_sin_cos7.vout2021-07-25 20:45 7.3K 
[ ]sin_cos7__t34_sin_cos7.vout2021-07-25 17:43 7.4K 
[ ]sin_cos7__t12_sin_cos7.vout2021-07-25 16:03 7.9K 
[ ]sin_cos7__t16_sin_cos7.vout2021-07-25 16:31 8.3K 
[ ]sin_cos7__l1_sin_cos72021-07-18 05:48 8.7K 
[ ]sin_cos7__t29_sin_cos72021-07-18 05:53 9.9K 
[ ]sin_cos7__t16_sin_cos7.vmin1out2021-07-25 21:00 10K 
[ ]sin_cos7__t11_sin_cos7.vout2021-07-25 16:41 11K 
[ ]sin_cos7__t11_sin_cos7.vmin1out2021-07-25 20:57 12K 
[ ]sin_cos7__t29_sin_cos7.vmin1out2021-07-25 21:02 15K 
[ ]sin_cos7__t1_sin_cos72021-07-18 05:49 16K 
[ ]sin_cos7__t29_sin_cos7.vout2021-07-25 16:45 17K 
[ ]sin_cos7__t6_sin_cos7.vout2021-07-25 19:48 17K 
[ ]sin_cos7__t28_sin_cos72021-07-18 05:53 18K 
[ ]sin_cos7__l36_sin_cos72021-07-18 06:04 18K 
[ ]sin_cos7__t4_sin_cos72021-07-18 05:49 18K 
[ ]sin_cos7__l36_sin_cos7.vmin1out2021-07-25 20:58 19K 
[ ]sin_cos7__l36_sin_cos7.vout2021-07-25 19:31 19K 
[ ]sin_cos7__t8_sin_cos7.vout2021-07-25 18:49 19K 
[ ]sin_cos7__t9_sin_cos7.vout2021-07-25 18:37 20K 
[ ]sin_cos7__t8_sin_cos72021-07-18 05:50 20K 
[ ]sin_cos7__t6_sin_cos7.vmin1out2021-07-25 20:59 20K 
[ ]sin_cos7__t4_sin_cos7.vout2021-07-25 19:14 20K 
[ ]sin_cos7__t8_sin_cos7.vmin1out2021-07-25 21:02 20K 
[ ]sin_cos7__t4_sin_cos7.vmin1out2021-07-25 20:59 21K 
[ ]sin_cos7__t6_sin_cos72021-07-18 05:48 21K 
[ ]sin_cos7__t16_sin_cos72021-07-18 05:51 22K 
[ ]sin_cos7__t27_sin_cos72021-07-18 05:53 22K 
[ ]sin_cos7__l53_sin_cos72021-07-18 06:07 22K 
[ ]sin_cos7__l2_sin_cos72021-07-18 06:03 22K 
[ ]sin_cos7__t21_sin_cos72021-07-18 05:52 22K 
[ ]sin_cos7__t9_sin_cos7.vmin1out2021-07-25 21:01 22K 
[ ]sin_cos7__l40_sin_cos72021-07-18 06:05 22K 
[ ]sin_cos7__t49_sin_cos72021-07-18 05:58 23K 
[ ]sin_cos7__l42_sin_cos7.vout2021-07-25 17:08 26K 
[ ]sin_cos7__t23_sin_cos7.vout2021-07-25 14:43 26K 
[ ]sin_cos7__t12_sin_cos72021-07-18 05:50 28K 
[ ]sin_cos7__t23_sin_cos7.vmin1out2021-07-25 20:58 29K 
[ ]sin_cos7__l42_sin_cos7.vmin1out2021-07-25 21:02 29K 
[ ]sin_cos7__l15_sin_cos7.vmin1out2021-07-25 21:02 32K 
[ ]sin_cos7__t7_sin_cos72021-07-18 05:49 33K 
[ ]sin_cos7__t32_sin_cos72021-07-18 05:54 33K 
[ ]sin_cos7__l45_sin_cos72021-07-18 05:48 33K 
[ ]sin_cos7__t9_sin_cos72021-07-18 05:50 33K 
[ ]sin_cos7__l15_sin_cos72021-07-18 06:04 33K 
[ ]sin_cos7__l39_sin_cos72021-07-18 06:04 33K 
[ ]sin_cos7__t71_sin_cos72021-07-18 06:03 33K 
[ ]sin_cos7__t13_sin_cos72021-07-18 05:51 33K 
[ ]sin_cos7__l51_sin_cos72021-07-18 06:06 33K 
[ ]sin_cos7__l8_sin_cos72021-07-18 06:04 33K 
[ ]sin_cos7__l42_sin_cos72021-07-18 06:05 33K 
[ ]sin_cos7__t23_sin_cos72021-07-18 05:52 33K 
[ ]sin_cos7__t30_sin_cos72021-07-18 05:54 33K 
[ ]sin_cos7__t10_sin_cos72021-07-18 05:50 33K 
[ ]sin_cos7__l48_sin_cos72021-07-18 06:06 33K 
[ ]sin_cos7__t11_sin_cos72021-07-18 05:50 33K 
[ ]sin_cos7__t24_sin_cos72021-07-18 05:53 33K 
[ ]sin_cos7__l50_sin_cos72021-07-18 06:06 33K 
[ ]sin_cos7__l21_sin_cos72021-07-18 06:04 33K 
[ ]sin_cos7__t15_sin_cos72021-07-18 05:51 33K 
[ ]sin_cos7__t22_sin_cos72021-07-18 05:52 34K 
[ ]sin_cos7__t18_sin_cos72021-07-18 05:51 34K 
[ ]sin_cos7__l47_sin_cos72021-07-18 06:06 34K 
[ ]sin_cos7__t20_sin_cos72021-07-18 05:52 34K 
[ ]sin_cos7__t5_sin_cos72021-07-18 05:49 34K 
[ ]sin_cos7__t33_sin_cos72021-07-18 05:54 34K 
[ ]sin_cos7__t36_sin_cos72021-07-18 05:55 34K 
[ ]sin_cos7__t17_sin_cos72021-07-18 05:51 34K 
[ ]sin_cos7__t2_sin_cos72021-07-18 05:49 34K 
[ ]sin_cos7__l41_sin_cos72021-07-18 06:05 34K 
[ ]sin_cos7__t25_sin_cos72021-07-18 05:53 34K 
[ ]sin_cos7__t47_sin_cos72021-07-18 05:57 35K 
[ ]sin_cos7__t48_sin_cos72021-07-18 05:57 35K 
[ ]sin_cos7__l44_sin_cos72021-07-18 06:05 35K 
[ ]sin_cos7__t26_sin_cos72021-07-18 05:53 35K 
[ ]sin_cos7__t24_sin_cos7.vmin1out2021-07-25 21:02 36K 
[ ]sin_cos7__t24_sin_cos7.vout2021-07-25 20:20 37K 
[ ]sin_cos7__l15_sin_cos7.vout2021-07-25 15:01 41K 
[ ]sin_cos7__l45_sin_cos7.vmin1out2021-07-25 21:00 46K 
[ ]sin_cos7__t50_sin_cos72021-07-18 05:58 51K 
[ ]sin_cos7__l45_sin_cos7.vout2021-07-25 19:22 55K 
[ ]sin_cos7__t70_sin_cos72021-07-18 06:02 64K 
[ ]sin_cos7__t19_sin_cos72021-07-18 05:52 74K 
[ ]sin_cos7__t31_sin_cos72021-07-18 05:54 74K 
[ ]sin_cos7__l43_sin_cos72021-07-18 06:05 74K 
[ ]sin_cos7__t58_sin_cos72021-07-18 06:00 75K 
[ ]sin_cos7__t3_sin_cos72021-07-18 05:49 75K 
[ ]sin_cos7__l52_sin_cos72021-07-18 06:07 75K 
[ ]sin_cos7__t46_sin_cos72021-07-18 05:57 75K 
[ ]sin_cos7__t59_sin_cos72021-07-18 06:00 76K 
[ ]sin_cos7__t34_sin_cos72021-07-18 05:54 76K 
[ ]sin_cos7__t52_sin_cos72021-07-18 05:58 76K 
[ ]sin_cos7__t53_sin_cos72021-07-18 05:59 76K 
[ ]sin_cos7__t57_sin_cos72021-07-18 05:59 76K 
[ ]sin_cos7__t56_sin_cos72021-07-18 05:59 76K 
[ ]sin_cos7__t35_sin_cos72021-07-18 05:55 77K 
[ ]sin_cos7__t37_sin_cos72021-07-18 05:55 77K 
[ ]sin_cos7__t65_sin_cos72021-07-18 06:01 77K 
[ ]sin_cos7__t66_sin_cos72021-07-18 06:01 77K 
[ ]sin_cos7__t42_sin_cos72021-07-18 05:56 77K 
[ ]sin_cos7__t69_sin_cos72021-07-18 06:02 93K 
[ ]sin_cos7__l46_sin_cos72021-07-18 06:05 127K 
[ ]sin_cos7__t51_sin_cos72021-07-18 05:58 129K 
[ ]sin_cos7__t54_sin_cos72021-07-18 05:59 129K 
[ ]sin_cos7__t55_sin_cos72021-07-18 05:59 129K 
[ ]sin_cos7__t41_sin_cos72021-07-18 05:56 130K 
[ ]sin_cos7__t62_sin_cos72021-07-18 06:00 222K 
[ ]sin_cos7__t60_sin_cos72021-07-18 06:00 223K 
[ ]sin_cos7__t61_sin_cos72021-07-18 06:00 223K 
[ ]sin_cos7__t14_sin_cos72021-07-18 05:51 235K 
[ ]sin_cos7__l49_sin_cos72021-07-18 06:06 235K 
[ ]sin_cos7__t45_sin_cos72021-07-18 05:57 236K 
[ ]sin_cos7__t43_sin_cos72021-07-18 05:56 281K 
[ ]sin_cos7__t44_sin_cos72021-07-18 05:57 289K 
[ ]sin_cos7__t67_sin_cos72021-07-18 06:02 292K 
[ ]sin_cos7__t38_sin_cos72021-07-18 05:55 301K 
[ ]sin_cos7__t39_sin_cos72021-07-18 05:56 301K 
[ ]sin_cos7__t40_sin_cos72021-07-18 05:56 301K 
[ ]sin_cos7__t68_sin_cos72021-07-18 06:02 323K 
[ ]sin_cos7__t63_sin_cos72021-07-18 06:01 345K 
[ ]sin_cos7__t72_sin_cos72021-07-18 06:03 422K 
[ ]sin_cos7__t64_sin_cos72021-07-18 06:01 428K 
[ ]sin_cos7__t73_sin_cos72021-07-18 06:03 699K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80