Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/ein16/synth/d2/stash/results_ty.txt
ViewVC logotype

View of /branches/ein16/synth/d2/stash/results_ty.txt

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4483 - (download) (annotate)
Fri Sep 2 05:07:01 2016 UTC (2 years, 8 months ago) by cchiw
File size: 9662 byte(s)
shape based iteration

 norm_multiplication |22_1
	-T_s,T_s|
	-T_s,F_s_d1|
	-T_s,F_s_d2|
	-T_s,F_s_d3|
	-F_s_d1,T_s|
	-F_s_d1,F_s_d1|
	-F_s_d2,T_s|
	-F_s_d2,F_s_d2|
	-F_s_d3,T_s|
	-F_s_d3,F_s_d3|
	-T_s,T_v2|
	-T_s,F_v2_d1|
	-T_s,F_v2_d2|
	-T_s,F_v2_d3|
	-F_s_d1,T_v2|
	-F_s_d1,F_v2_d1|
	-F_s_d2,T_v2|
	-F_s_d2,F_v2_d2|
	-F_s_d3,T_v2|
	-F_s_d3,F_v2_d3|
	-T_s,T_v3|
	-T_s,F_v3_d1|
	-T_s,F_v3_d2|
	-T_s,F_v3_d3|
	-F_s_d1,T_v3|
	-F_s_d1,F_v3_d1|
	-F_s_d2,T_v3|
	-F_s_d2,F_v3_d2|
	-F_s_d3,T_v3|
	-F_s_d3,F_v3_d3|
	-T_s,T_v4|
	-T_s,F_v4_d1|
	-T_s,F_v4_d2|
	-T_s,F_v4_d3|
	-F_s_d1,T_v4|
	-F_s_d1,F_v4_d1|
	-F_s_d2,T_v4|
	-F_s_d2,F_v4_d2|
	-F_s_d3,T_v4|
	-F_s_d3,F_v4_d3|
	-T_s,T_m2x2|
	-T_s,F_m2x2_d1|
	-T_s,F_m2x2_d2|
	-T_s,F_m2x2_d3|
	-F_s_d1,T_m2x2|
	-F_s_d1,F_m2x2_d1|
	-F_s_d2,T_m2x2|
	-F_s_d2,F_m2x2_d2|
	-F_s_d3,T_m2x2|
	-F_s_d3,F_m2x2_d3|
	-T_s,T_m2x3|
	-F_s_d1,T_m2x3|
	-F_s_d2,T_m2x3|
	-F_s_d3,T_m2x3|
	-T_s,T_m2x4|
	-F_s_d1,T_m2x4|
	-F_s_d2,T_m2x4|
	-F_s_d3,T_m2x4|
	-T_s,T_m3x2|
	-F_s_d1,T_m3x2|
	-F_s_d2,T_m3x2|
	-F_s_d3,T_m3x2|
	-T_s,T_m3x3|
	-T_s,F_m3x3_d1|
	-T_s,F_m3x3_d2|
	-T_s,F_m3x3_d3|
	-F_s_d1,T_m3x3|
	-F_s_d1,F_m3x3_d1|
	-F_s_d2,T_m3x3|
	-F_s_d2,F_m3x3_d2|
	-F_s_d3,T_m3x3|
	-F_s_d3,F_m3x3_d3|
	-T_s,T_m3x4|
	-F_s_d1,T_m3x4|
	-F_s_d2,T_m3x4|
	-F_s_d3,T_m3x4|
	-T_s,T_m4x2|
	-F_s_d1,T_m4x2|
	-F_s_d2,T_m4x2|
	-F_s_d3,T_m4x2|
	-T_s,T_m4x3|
	-F_s_d1,T_m4x3|
	-F_s_d2,T_m4x3|
	-F_s_d3,T_m4x3|
	-T_s,T_m4x4|
	-F_s_d1,T_m4x4|
	-F_s_d2,T_m4x4|
	-F_s_d3,T_m4x4|
	-T_s,T_t2x2x2|
	-F_s_d1,T_t2x2x2|
	-F_s_d2,T_t2x2x2|
	-F_s_d3,T_t2x2x2|
	-T_s,T_t2x2x3|
	-F_s_d1,T_t2x2x3|
	-F_s_d2,T_t2x2x3|
	-F_s_d3,T_t2x2x3|
	-T_s,T_t2x2x4|
	-F_s_d1,T_t2x2x4|
	-F_s_d2,T_t2x2x4|
	-F_s_d3,T_t2x2x4|
	-T_s,T_t2x3x2|
	-F_s_d1,T_t2x3x2|
	-F_s_d2,T_t2x3x2|
	-F_s_d3,T_t2x3x2|
	-T_s,T_t2x3x3|
	-F_s_d1,T_t2x3x3|
	-F_s_d2,T_t2x3x3|
	-F_s_d3,T_t2x3x3|
	-T_s,T_t2x3x4|
	-F_s_d1,T_t2x3x4|
	-F_s_d2,T_t2x3x4|
	-F_s_d3,T_t2x3x4|
	-T_s,T_t2x4x2|
	-F_s_d1,T_t2x4x2|
	-F_s_d2,T_t2x4x2|
	-F_s_d3,T_t2x4x2|
	-T_s,T_t2x4x3|
	-F_s_d1,T_t2x4x3|
	-F_s_d2,T_t2x4x3|
	-F_s_d3,T_t2x4x3|
	-T_s,T_t2x4x4|
	-F_s_d1,T_t2x4x4|
	-F_s_d2,T_t2x4x4|
	-F_s_d3,T_t2x4x4|
	-T_s,T_t3x2x2|
	-F_s_d1,T_t3x2x2|
	-F_s_d2,T_t3x2x2|
	-F_s_d3,T_t3x2x2|
	-T_s,T_t3x2x3|
	-F_s_d1,T_t3x2x3|
	-F_s_d2,T_t3x2x3|
	-F_s_d3,T_t3x2x3|
	-T_s,T_t3x2x4|
	-F_s_d1,T_t3x2x4|
	-F_s_d2,T_t3x2x4|
	-F_s_d3,T_t3x2x4|
	-T_s,T_t3x3x2|
	-F_s_d1,T_t3x3x2|
	-F_s_d2,T_t3x3x2|
	-F_s_d3,T_t3x3x2|
	-T_s,T_t3x3x3|
	-F_s_d1,T_t3x3x3|
	-F_s_d2,T_t3x3x3|
	-F_s_d3,T_t3x3x3|
	-T_s,T_t3x3x4|
	-F_s_d1,T_t3x3x4|
	-F_s_d2,T_t3x3x4|
	-F_s_d3,T_t3x3x4|
	-T_s,T_t3x4x2|
	-F_s_d1,T_t3x4x2|
	-F_s_d2,T_t3x4x2|
	-F_s_d3,T_t3x4x2|
	-T_s,T_t3x4x3|
	-F_s_d1,T_t3x4x3|
	-F_s_d2,T_t3x4x3|
	-F_s_d3,T_t3x4x3|
	-T_s,T_t3x4x4|
	-F_s_d1,T_t3x4x4|
	-F_s_d2,T_t3x4x4|
	-F_s_d3,T_t3x4x4|
	-T_s,T_t4x2x2|
	-F_s_d1,T_t4x2x2|
	-F_s_d2,T_t4x2x2|
	-F_s_d3,T_t4x2x2|
	-T_s,T_t4x2x3|
	-F_s_d1,T_t4x2x3|
	-F_s_d2,T_t4x2x3|
	-F_s_d3,T_t4x2x3|
	-T_s,T_t4x2x4|
	-F_s_d1,T_t4x2x4|
	-F_s_d2,T_t4x2x4|
	-F_s_d3,T_t4x2x4|
	-T_s,T_t4x3x2|
	-F_s_d1,T_t4x3x2|
	-F_s_d2,T_t4x3x2|
	-F_s_d3,T_t4x3x2|
	-T_s,T_t4x3x3|
	-F_s_d1,T_t4x3x3|
	-F_s_d2,T_t4x3x3|
	-F_s_d3,T_t4x3x3|
	-T_s,T_t4x3x4|
	-F_s_d1,T_t4x3x4|
	-F_s_d2,T_t4x3x4|
	-F_s_d3,T_t4x3x4|
	-T_s,T_t4x4x2|
	-F_s_d1,T_t4x4x2|
	-F_s_d2,T_t4x4x2|
	-F_s_d3,T_t4x4x2|
	-T_s,T_t4x4x3|
	-F_s_d1,T_t4x4x3|
	-F_s_d2,T_t4x4x3|
	-F_s_d3,T_t4x4x3|
	-T_s,T_t4x4x4|
	-F_s_d1,T_t4x4x4|
	-F_s_d2,T_t4x4x4|
	-F_s_d3,T_t4x4x4|
	-T_v2,T_s|
	-T_v2,F_s_d1|
	-T_v2,F_s_d2|
	-T_v2,F_s_d3|
	-F_v2_d1,T_s|
	-F_v2_d1,F_s_d1|
	-F_v2_d2,T_s|
	-F_v2_d2,F_s_d2|
	-F_v2_d3,T_s|
	-F_v2_d3,F_s_d3|
	-T_v3,T_s|
	-T_v3,F_s_d1|
	-T_v3,F_s_d2|
	-T_v3,F_s_d3|
	-F_v3_d1,T_s|
	-F_v3_d1,F_s_d1|
	-F_v3_d2,T_s|
	-F_v3_d2,F_s_d2|
	-F_v3_d3,T_s|
	-F_v3_d3,F_s_d3|
	-T_v4,T_s|
	-T_v4,F_s_d1|
	-T_v4,F_s_d2|
	-T_v4,F_s_d3|
	-F_v4_d1,T_s|
	-F_v4_d1,F_s_d1|
	-F_v4_d2,T_s|
	-F_v4_d2,F_s_d2|
	-F_v4_d3,T_s|
	-F_v4_d3,F_s_d3|
	-T_m2x2,T_s|
	-T_m2x2,F_s_d1|
	-T_m2x2,F_s_d2|
	-T_m2x2,F_s_d3|
	-F_m2x2_d1,T_s|
	-F_m2x2_d1,F_s_d1|
	-F_m2x2_d2,T_s|
	-F_m2x2_d2,F_s_d2|
	-F_m2x2_d3,T_s|
	-F_m2x2_d3,F_s_d3|
	-T_m2x3,T_s|
	-T_m2x3,F_s_d1|
	-T_m2x3,F_s_d2|
	-T_m2x3,F_s_d3|
	-T_m2x4,T_s|
	-T_m2x4,F_s_d1|
	-T_m2x4,F_s_d2|
	-T_m2x4,F_s_d3|
	-T_m3x2,T_s|
	-T_m3x2,F_s_d1|
	-T_m3x2,F_s_d2|
	-T_m3x2,F_s_d3|
	-T_m3x3,T_s|
	-T_m3x3,F_s_d1|
	-T_m3x3,F_s_d2|
	-T_m3x3,F_s_d3|
	-F_m3x3_d1,T_s|
	-F_m3x3_d1,F_s_d1|
	-F_m3x3_d2,T_s|
	-F_m3x3_d2,F_s_d2|
	-F_m3x3_d3,T_s|
	-F_m3x3_d3,F_s_d3|
	-T_m3x4,T_s|
	-T_m3x4,F_s_d1|
	-T_m3x4,F_s_d2|
	-T_m3x4,F_s_d3|
	-T_m4x2,T_s|
	-T_m4x2,F_s_d1|
	-T_m4x2,F_s_d2|
	-T_m4x2,F_s_d3|
	-T_m4x3,T_s|
	-T_m4x3,F_s_d1|
	-T_m4x3,F_s_d2|
	-T_m4x3,F_s_d3|
	-T_m4x4,T_s|
	-T_m4x4,F_s_d1|
	-T_m4x4,F_s_d2|
	-T_m4x4,F_s_d3|
	-T_t2x2x2,T_s|
	-T_t2x2x2,F_s_d1|
	-T_t2x2x2,F_s_d2|
	-T_t2x2x2,F_s_d3|
	-T_t2x2x3,T_s|
	-T_t2x2x3,F_s_d1|
	-T_t2x2x3,F_s_d2|
	-T_t2x2x3,F_s_d3|
	-T_t2x2x4,T_s|
	-T_t2x2x4,F_s_d1|
	-T_t2x2x4,F_s_d2|
	-T_t2x2x4,F_s_d3|
	-T_t2x3x2,T_s|
	-T_t2x3x2,F_s_d1|
	-T_t2x3x2,F_s_d2|
	-T_t2x3x2,F_s_d3|
	-T_t2x3x3,T_s|
	-T_t2x3x3,F_s_d1|
	-T_t2x3x3,F_s_d2|
	-T_t2x3x3,F_s_d3|
	-T_t2x3x4,T_s|
	-T_t2x3x4,F_s_d1|
	-T_t2x3x4,F_s_d2|
	-T_t2x3x4,F_s_d3|
	-T_t2x4x2,T_s|
	-T_t2x4x2,F_s_d1|
	-T_t2x4x2,F_s_d2|
	-T_t2x4x2,F_s_d3|
	-T_t2x4x3,T_s|
	-T_t2x4x3,F_s_d1|
	-T_t2x4x3,F_s_d2|
	-T_t2x4x3,F_s_d3|
	-T_t2x4x4,T_s|
	-T_t2x4x4,F_s_d1|
	-T_t2x4x4,F_s_d2|
	-T_t2x4x4,F_s_d3|
	-T_t3x2x2,T_s|
	-T_t3x2x2,F_s_d1|
	-T_t3x2x2,F_s_d2|
	-T_t3x2x2,F_s_d3|
	-T_t3x2x3,T_s|
	-T_t3x2x3,F_s_d1|
	-T_t3x2x3,F_s_d2|
	-T_t3x2x3,F_s_d3|
	-T_t3x2x4,T_s|
	-T_t3x2x4,F_s_d1|
	-T_t3x2x4,F_s_d2|
	-T_t3x2x4,F_s_d3|
	-T_t3x3x2,T_s|
	-T_t3x3x2,F_s_d1|
	-T_t3x3x2,F_s_d2|
	-T_t3x3x2,F_s_d3|
	-T_t3x3x3,T_s|
	-T_t3x3x3,F_s_d1|
	-T_t3x3x3,F_s_d2|
	-T_t3x3x3,F_s_d3|
	-T_t3x3x4,T_s|
	-T_t3x3x4,F_s_d1|
	-T_t3x3x4,F_s_d2|
	-T_t3x3x4,F_s_d3|
	-T_t3x4x2,T_s|
	-T_t3x4x2,F_s_d1|
	-T_t3x4x2,F_s_d2|
	-T_t3x4x2,F_s_d3|
	-T_t3x4x3,T_s|
	-T_t3x4x3,F_s_d1|
	-T_t3x4x3,F_s_d2|
	-T_t3x4x3,F_s_d3|
	-T_t3x4x4,T_s|
	-T_t3x4x4,F_s_d1|
	-T_t3x4x4,F_s_d2|
	-T_t3x4x4,F_s_d3|
	-T_t4x2x2,T_s|
	-T_t4x2x2,F_s_d1|
	-T_t4x2x2,F_s_d2|
	-T_t4x2x2,F_s_d3|
	-T_t4x2x3,T_s|
	-T_t4x2x3,F_s_d1|
	-T_t4x2x3,F_s_d2|
	-T_t4x2x3,F_s_d3|
	-T_t4x2x4,T_s|
	-T_t4x2x4,F_s_d1|
	-T_t4x2x4,F_s_d2|
	-T_t4x2x4,F_s_d3|
	-T_t4x3x2,T_s|
	-T_t4x3x2,F_s_d1|
	-T_t4x3x2,F_s_d2|
	-T_t4x3x2,F_s_d3|
	-T_t4x3x3,T_s|
	-T_t4x3x3,F_s_d1|
	-T_t4x3x3,F_s_d2|
	-T_t4x3x3,F_s_d3|
	-T_t4x3x4,T_s|
	-T_t4x3x4,F_s_d1|
	-T_t4x3x4,F_s_d2|
	-T_t4x3x4,F_s_d3|
	-T_t4x4x2,T_s|
	-T_t4x4x2,F_s_d1|
	-T_t4x4x2,F_s_d2|
	-T_t4x4x2,F_s_d3|
	-T_t4x4x3,T_s|
	-T_t4x4x3,F_s_d1|
	-T_t4x4x3,F_s_d2|
	-T_t4x4x3,F_s_d3|
	-T_t4x4x4,T_s|
	-T_t4x4x4,F_s_d1|
	-T_t4x4x4,F_s_d2|
	-T_t4x4x4,F_s_d3|

 norm_multiplication |22_1
	-T_s,T_s|

 addition_cross product |19_17
	-T_v2,T_v2,T_s|

 addition_outer product |20_17
	-T_v2,T_v2,T_m2x2|
	-T_v2,T_v2,F_m2x2_d1|
	-T_v2,T_v2,F_m2x2_d2|
	-T_v2,T_v2,F_m2x2_d3|
	-T_v2,F_v2_d1,T_m2x2|
	-T_v2,F_v2_d1,F_m2x2_d1|
	-T_v2,F_v2_d2,T_m2x2|
	-T_v2,F_v2_d2,F_m2x2_d2|
	-T_v2,F_v2_d3,T_m2x2|
	-T_v2,F_v2_d3,F_m2x2_d3|
	-F_v2_d1,T_v2,T_m2x2|
	-F_v2_d1,T_v2,F_m2x2_d1|
	-F_v2_d1,F_v2_d1,T_m2x2|
	-F_v2_d1,F_v2_d1,F_m2x2_d1|
	-F_v2_d2,T_v2,T_m2x2|
	-F_v2_d2,T_v2,F_m2x2_d2|
	-F_v2_d2,F_v2_d2,T_m2x2|
	-F_v2_d2,F_v2_d2,F_m2x2_d2|
	-F_v2_d3,T_v2,T_m2x2|
	-F_v2_d3,T_v2,F_m2x2_d3|
	-F_v2_d3,F_v2_d3,T_m2x2|
	-F_v2_d3,F_v2_d3,F_m2x2_d3|
	-T_v2,T_v3,T_m2x3|
	-T_v2,F_v3_d1,T_m2x3|
	-T_v2,F_v3_d2,T_m2x3|
	-T_v2,F_v3_d3,T_m2x3|
	-F_v2_d1,T_v3,T_m2x3|
	-F_v2_d1,F_v3_d1,T_m2x3|
	-F_v2_d2,T_v3,T_m2x3|
	-F_v2_d2,F_v3_d2,T_m2x3|
	-F_v2_d3,T_v3,T_m2x3|
	-F_v2_d3,F_v3_d3,T_m2x3|
	-T_v2,T_v4,T_m2x4|
	-T_v2,F_v4_d1,T_m2x4|
	-T_v2,F_v4_d2,T_m2x4|
	-T_v2,F_v4_d3,T_m2x4|
	-F_v2_d1,T_v4,T_m2x4|
	-F_v2_d1,F_v4_d1,T_m2x4|
	-F_v2_d2,T_v4,T_m2x4|
	-F_v2_d2,F_v4_d2,T_m2x4|
	-F_v2_d3,T_v4,T_m2x4|
	-F_v2_d3,F_v4_d3,T_m2x4|
	-T_v2,T_m2x2,T_t2x2x2|
	-T_v2,F_m2x2_d1,T_t2x2x2|
	-T_v2,F_m2x2_d2,T_t2x2x2|
	-T_v2,F_m2x2_d3,T_t2x2x2|
	-F_v2_d1,T_m2x2,T_t2x2x2|
	-F_v2_d1,F_m2x2_d1,T_t2x2x2|
	-F_v2_d2,T_m2x2,T_t2x2x2|
	-F_v2_d2,F_m2x2_d2,T_t2x2x2|
	-F_v2_d3,T_m2x2,T_t2x2x2|
	-F_v2_d3,F_m2x2_d3,T_t2x2x2|
	-T_v2,T_m2x3,T_t2x2x3|
	-F_v2_d1,T_m2x3,T_t2x2x3|
	-F_v2_d2,T_m2x3,T_t2x2x3|
	-F_v2_d3,T_m2x3,T_t2x2x3|
	-T_v2,T_m2x4,T_t2x2x4|
	-F_v2_d1,T_m2x4,T_t2x2x4|
	-F_v2_d2,T_m2x4,T_t2x2x4|
	-F_v2_d3,T_m2x4,T_t2x2x4|
	-T_v2,T_m3x2,T_t2x3x2|
	-F_v2_d1,T_m3x2,T_t2x3x2|
	-F_v2_d2,T_m3x2,T_t2x3x2|
	-F_v2_d3,T_m3x2,T_t2x3x2|
	-T_v2,T_m3x3,T_t2x3x3|
	-T_v2,F_m3x3_d1,T_t2x3x3|
	-T_v2,F_m3x3_d2,T_t2x3x3|
	-T_v2,F_m3x3_d3,T_t2x3x3|

 addition_outer product |20_17
	-T_v2,T_v2,T_m2x2|
	-T_v2,T_v2,F_m2x2_d1|
	-T_v2,T_v2,F_m2x2_d2|
	-T_v2,T_v2,F_m2x2_d3|
	-T_v2,F_v2_d1,T_m2x2|
	-T_v2,F_v2_d1,F_m2x2_d1|
	-T_v2,F_v2_d2,T_m2x2|
	-T_v2,F_v2_d2,F_m2x2_d2|
	-T_v2,F_v2_d3,T_m2x2|
	-T_v2,F_v2_d3,F_m2x2_d3|
	-F_v2_d1,T_v2,T_m2x2|
	-F_v2_d1,T_v2,F_m2x2_d1|
	-F_v2_d1,F_v2_d1,T_m2x2|
	-F_v2_d1,F_v2_d1,F_m2x2_d1|
	-F_v2_d2,T_v2,T_m2x2|
	-F_v2_d2,T_v2,F_m2x2_d2|
	-F_v2_d2,F_v2_d2,T_m2x2|
	-F_v2_d2,F_v2_d2,F_m2x2_d2|
	-F_v2_d3,T_v2,T_m2x2|
	-F_v2_d3,T_v2,F_m2x2_d3|
	-F_v2_d3,F_v2_d3,T_m2x2|
	-F_v2_d3,F_v2_d3,F_m2x2_d3|

 addition_outer product |20_17
	-T_v2,T_v2,T_m2x2|
	-T_v2,T_v2,F_m2x2_d1|
	-T_v2,T_v2,F_m2x2_d2|
	-T_v2,T_v2,F_m2x2_d3|
	-T_v2,F_v2_d1,T_m2x2|
	-T_v2,F_v2_d1,F_m2x2_d1|
	-T_v2,F_v2_d2,T_m2x2|
	-T_v2,F_v2_d2,F_m2x2_d2|
	-T_v2,F_v2_d3,T_m2x2|
	-T_v2,F_v2_d3,F_m2x2_d3|
	-F_v2_d1,T_v2,T_m2x2|
	-F_v2_d1,T_v2,F_m2x2_d1|
	-F_v2_d1,F_v2_d1,T_m2x2|
	-F_v2_d1,F_v2_d1,F_m2x2_d1|
	-F_v2_d2,T_v2,T_m2x2|
	-F_v2_d2,T_v2,F_m2x2_d2|
	-F_v2_d2,F_v2_d2,T_m2x2|
	-F_v2_d2,F_v2_d2,F_m2x2_d2|
	-F_v2_d3,T_v2,T_m2x2|
	-F_v2_d3,T_v2,F_m2x2_d3|
	-F_v2_d3,F_v2_d3,T_m2x2|
	-F_v2_d3,F_v2_d3,F_m2x2_d3|

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0