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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos4__t1_sin_cos42024-07-27 13:23 7.8K 
[ ]sin_cos4__t1_sin_cos4.vout2024-08-03 10:18 2.0K 
[ ]sin_cos4__t2_sin_cos42024-07-27 13:24 7.8K 
[ ]sin_cos4__t2_sin_cos4.depv12024-08-03 10:19 156  
[ ]sin_cos4__t2_sin_cos4.depvmin12024-08-03 10:24 156  
[ ]sin_cos4__t2_sin_cos4.vmin12024-08-03 10:19 1.2K 
[ ]sin_cos4__t2_sin_cos4.vmin1out2024-08-03 10:22 9.9K 
[ ]sin_cos4__t2_sin_cos4.vout2024-08-03 04:39 12K 
[ ]sin_cos4__t3_sin_cos42024-07-27 13:24 7.8K 
[ ]sin_cos4__t3_sin_cos4.vout2024-08-03 04:36 2.0K 
[ ]sin_cos4__t4_sin_cos42024-07-27 13:25 12K 
[ ]sin_cos4__t4_sin_cos4.vout2024-08-03 06:39 2.0K 
[ ]sin_cos4__t5_sin_cos42024-07-27 13:25 12K 
[ ]sin_cos4__t5_sin_cos4.vout2024-08-03 08:27 2.0K 
[ ]sin_cos4__t6_sin_cos42024-07-27 13:26 8.5K 
[ ]sin_cos4__t6_sin_cos4.vout2024-08-03 04:24 2.0K 
[ ]sin_cos4__t7_sin_cos42024-07-27 13:27 15K 
[ ]sin_cos4__t7_sin_cos4.vout2024-08-03 05:09 2.0K 
[ ]sin_cos4__t8_sin_cos42024-07-27 13:27 15K 
[ ]sin_cos4__t8_sin_cos4.vout2024-08-03 04:53 2.0K 
[ ]sin_cos4__t9_sin_cos42024-07-27 13:28 15K 
[ ]sin_cos4__t9_sin_cos4.vout2024-08-03 06:46 2.0K 
[ ]sin_cos4__t10_sin_cos42024-07-27 13:29 15K 
[ ]sin_cos4__t10_sin_cos4.vout2024-08-03 05:23 2.0K 
[ ]sin_cos4__t11_sin_cos42024-07-27 13:29 14K 
[ ]sin_cos4__t11_sin_cos4.vout2024-08-03 07:29 2.0K 
[ ]sin_cos4__t12_sin_cos42024-07-27 13:30 14K 
[ ]sin_cos4__t12_sin_cos4.vout2024-08-03 06:37 2.0K 
[ ]sin_cos4__t13_sin_cos42024-07-27 13:31 16K 
[ ]sin_cos4__t13_sin_cos4.vout2024-08-03 04:17 2.0K 
[ ]sin_cos4__t14_sin_cos42024-07-27 13:32 16K 
[ ]sin_cos4__t14_sin_cos4.vout2024-08-03 08:01 2.0K 
[ ]sin_cos4__t15_sin_cos42024-07-27 13:32 18K 
[ ]sin_cos4__t15_sin_cos4.vout2024-08-03 05:58 2.0K 
[ ]sin_cos4__t16_sin_cos42024-07-27 13:33 18K 
[ ]sin_cos4__t16_sin_cos4.vout2024-08-03 06:55 2.0K 
[ ]sin_cos4__t17_sin_cos42024-07-27 13:34 23K 
[ ]sin_cos4__t17_sin_cos4.vout2024-08-03 07:19 2.0K 
[ ]sin_cos4__t18_sin_cos42024-07-27 13:34 23K 
[ ]sin_cos4__t18_sin_cos4.vout2024-08-03 09:29 2.0K 
[ ]sin_cos4__t19_sin_cos42024-07-27 13:35 12K 
[ ]sin_cos4__t19_sin_cos4.vout2024-08-03 07:29 2.0K 
[ ]sin_cos4__t20_sin_cos42024-07-27 13:35 12K 
[ ]sin_cos4__t20_sin_cos4.vout2024-08-03 04:50 2.0K 
[ ]sin_cos4__t21_sin_cos42024-07-27 13:36 14K 
[ ]sin_cos4__t21_sin_cos4.vout2024-08-03 04:29 2.0K 
[ ]sin_cos4__t22_sin_cos42024-07-27 13:37 14K 
[ ]sin_cos4__t22_sin_cos4.vout2024-08-03 09:02 2.0K 
[ ]sin_cos4__t23_sin_cos42024-07-27 13:37 12K 
[ ]sin_cos4__t23_sin_cos4.vout2024-08-03 06:18 2.1K 
[ ]sin_cos4__t24_sin_cos42024-07-27 13:38 12K 
[ ]sin_cos4__t24_sin_cos4.vout2024-08-03 09:32 2.0K 
[ ]sin_cos4__t25_sin_cos42024-07-27 13:39 15K 
[ ]sin_cos4__t25_sin_cos4.vout2024-08-03 04:13 2.0K 
[ ]sin_cos4__t26_sin_cos42024-07-27 13:39 15K 
[ ]sin_cos4__t26_sin_cos4.vout2024-08-03 06:07 2.0K 
[ ]sin_cos4__t27_sin_cos42024-07-27 13:40 15K 
[ ]sin_cos4__t27_sin_cos4.vout2024-08-03 10:13 2.0K 
[ ]sin_cos4__t28_sin_cos42024-07-27 13:41 15K 
[ ]sin_cos4__t28_sin_cos4.vout2024-08-03 04:31 2.0K 
[ ]sin_cos4__t29_sin_cos42024-07-27 13:41 23K 
[ ]sin_cos4__t29_sin_cos4.vout2024-08-03 09:42 2.0K 
[ ]sin_cos4__t30_sin_cos42024-07-27 13:42 23K 
[ ]sin_cos4__t30_sin_cos4.vout2024-08-03 09:41 2.0K 
[ ]sin_cos4__t31_sin_cos42024-07-27 13:43 23K 
[ ]sin_cos4__t31_sin_cos4.vout2024-08-03 06:23 2.0K 
[ ]sin_cos4__t32_sin_cos42024-07-27 13:43 23K 
[ ]sin_cos4__t32_sin_cos4.vout2024-08-03 06:07 2.0K 
[ ]sin_cos4__t33_sin_cos42024-07-27 13:44 214K 
[ ]sin_cos4__t33_sin_cos4.vout2024-08-03 06:09 2.0K 
[ ]sin_cos4__t34_sin_cos42024-07-27 13:45 214K 
[ ]sin_cos4__t34_sin_cos4.vout2024-08-03 05:23 2.0K 
[ ]sin_cos4__t35_sin_cos42024-07-27 13:46 214K 
[ ]sin_cos4__t35_sin_cos4.vout2024-08-03 06:46 2.0K 
[ ]sin_cos4__t36_sin_cos42024-07-27 13:46 137K 
[ ]sin_cos4__t36_sin_cos4.vout2024-08-03 07:51 2.0K 
[ ]sin_cos4__t37_sin_cos42024-07-27 13:47 13K 
[ ]sin_cos4__t37_sin_cos4.vout2024-08-03 04:52 2.0K 
[ ]sin_cos4__t38_sin_cos42024-07-27 13:47 12K 
[ ]sin_cos4__t38_sin_cos4.vout2024-08-03 09:54 2.0K 
[ ]sin_cos4__t39_sin_cos42024-07-27 13:48 13K 
[ ]sin_cos4__t39_sin_cos4.vout2024-08-03 08:43 2.0K 
[ ]sin_cos4__t40_sin_cos42024-07-27 13:49 12K 
[ ]sin_cos4__t40_sin_cos4.vout2024-08-03 05:46 2.0K 
[ ]sin_cos4__t41_sin_cos42024-07-27 13:49 13K 
[ ]sin_cos4__t41_sin_cos4.vout2024-08-03 09:15 2.0K 
[ ]sin_cos4__t42_sin_cos42024-07-27 13:50 13K 
[ ]sin_cos4__t42_sin_cos4.vout2024-08-03 09:36 2.0K 
[ ]sin_cos4__t43_sin_cos42024-07-27 13:51 15K 
[ ]sin_cos4__t43_sin_cos4.vout2024-08-03 08:05 2.0K 
[ ]sin_cos4__t44_sin_cos42024-07-27 13:51 15K 
[ ]sin_cos4__t44_sin_cos4.vout2024-08-03 10:09 2.0K 
[ ]sin_cos4__t45_sin_cos42024-07-27 13:52 19K 
[ ]sin_cos4__t45_sin_cos4.vout2024-08-03 06:12 2.0K 
[ ]sin_cos4__t46_sin_cos42024-07-27 13:53 19K 
[ ]sin_cos4__t46_sin_cos4.vout2024-08-03 09:06 2.0K 
[ ]sin_cos4__t47_sin_cos42024-07-27 13:53 19K 
[ ]sin_cos4__t47_sin_cos4.vout2024-08-03 04:08 2.0K 
[ ]sin_cos4__t48_sin_cos42024-07-27 13:54 20K 
[ ]sin_cos4__t48_sin_cos4.vout2024-08-03 07:59 2.0K 
[ ]sin_cos4__t49_sin_cos42024-07-27 13:55 20K 
[ ]sin_cos4__t49_sin_cos4.vout2024-08-03 05:47 2.0K 
[ ]sin_cos4__t50_sin_cos42024-07-27 13:55 19K 
[ ]sin_cos4__t50_sin_cos4.vout2024-08-03 04:42 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80