diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-03 22:15:56 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-03 22:15:56 +0000 |
commit | 5398949e802fc11a76776373870f47261555cc7d (patch) | |
tree | 6248011fda50db20cf8a3c413137a6db5544b28f /report/prune_results | |
parent | 6844944db5b0c62d7c01022270a5d0fc3b9fcdb0 (diff) |
graph
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@472 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'report/prune_results')
-rw-r--r-- | report/prune_results/compare.1stpass.tune.pdf | bin | 4925 -> 4901 bytes | |||
-rw-r--r-- | report/prune_results/compare.1stpass.tune.png | bin | 4269 -> 4327 bytes | |||
-rw-r--r-- | report/prune_results/compare.1stpass.tune.ps | 842 | ||||
-rwxr-xr-x | report/prune_results/do.sh | 3 | ||||
-rwxr-xr-x | report/prune_results/graph.sh | 50 | ||||
-rwxr-xr-x | report/prune_results/lib.sh | 89 |
6 files changed, 519 insertions, 465 deletions
diff --git a/report/prune_results/compare.1stpass.tune.pdf b/report/prune_results/compare.1stpass.tune.pdf Binary files differindex 28663f76..c6d9de34 100644 --- a/report/prune_results/compare.1stpass.tune.pdf +++ b/report/prune_results/compare.1stpass.tune.pdf diff --git a/report/prune_results/compare.1stpass.tune.png b/report/prune_results/compare.1stpass.tune.png Binary files differindex cafaf58b..5a251b7c 100644 --- a/report/prune_results/compare.1stpass.tune.png +++ b/report/prune_results/compare.1stpass.tune.png diff --git a/report/prune_results/compare.1stpass.tune.ps b/report/prune_results/compare.1stpass.tune.ps index e6fe41a8..2359a23d 100644 --- a/report/prune_results/compare.1stpass.tune.ps +++ b/report/prune_results/compare.1stpass.tune.ps @@ -134,45 +134,45 @@ st /Helvetica reencodeISO 8 scalefont setfont --764.32 206.24 mv 864.00 (2) rjust -(2) sh +-764.32 206.24 mv 864.00 (0) rjust +(0) sh 0.7 setlinewidth [] 0 setdash np 107.74 209.60 mv 114.80 209.60 ln st --764.32 252.06 mv 864.00 (7) rjust -(7) sh +-764.32 254.24 mv 864.00 (5) rjust +(5) sh 0.7 setlinewidth [] 0 setdash np -107.74 255.42 mv -114.80 255.42 ln +107.74 257.60 mv +114.80 257.60 ln st --764.32 297.88 mv 864.00 (12) rjust -(12) sh +-764.32 302.24 mv 864.00 (10) rjust +(10) sh 0.7 setlinewidth [] 0 setdash np -107.74 301.24 mv -114.80 301.24 ln +107.74 305.60 mv +114.80 305.60 ln st --764.32 343.69 mv 864.00 (17) rjust -(17) sh +-764.32 350.24 mv 864.00 (15) rjust +(15) sh 0.7 setlinewidth [] 0 setdash np -107.74 347.05 mv -114.80 347.05 ln +107.74 353.60 mv +114.80 353.60 ln st --764.32 389.51 mv 864.00 (22) rjust -(22) sh +-764.32 398.24 mv 864.00 (20) rjust +(20) sh 0.7 setlinewidth [] 0 setdash np -107.74 392.87 mv -114.80 392.87 ln +107.74 401.60 mv +114.80 401.60 ln st 0.7 setlinewidth [] 0 setdash @@ -189,768 +189,768 @@ setfont [] 0 setdash 1 0 0 setrgbcolor np -120.52 241.21 mv -121.76 252.85 ln -125.36 272.74 ln -134.94 296.75 ln -156.21 323.60 ln -206.26 348.06 ln -250.24 367.86 ln -320.32 376.38 ln -424.03 380.78 ln -484.32 379.40 ln -515.81 378.12 ln -563.03 379.22 ln -567.50 378.03 ln +120.52 261.92 mv +121.76 274.11 ln +125.36 294.94 ln +134.94 320.10 ln +156.21 348.22 ln +206.26 373.86 ln +250.24 394.59 ln +320.32 403.52 ln +424.03 408.13 ln +484.32 406.69 ln +515.81 405.34 ln +563.03 406.50 ln +567.50 405.25 ln st 0.7 setlinewidth [] 0 setdash np -124.09 244.78 mv -116.96 244.78 ln -116.96 237.65 ln -124.09 237.65 ln +124.09 265.48 mv +116.96 265.48 ln +116.96 258.36 ln +124.09 258.36 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -124.09 244.78 mv -116.96 244.78 ln -116.96 237.65 ln -124.09 237.65 ln -124.09 244.78 ln -116.96 244.78 ln +124.09 265.48 mv +116.96 265.48 ln +116.96 258.36 ln +124.09 258.36 ln +124.09 265.48 ln +116.96 265.48 ln st 0.7 setlinewidth [] 0 setdash np -125.33 256.42 mv -118.20 256.42 ln -118.20 249.29 ln -125.33 249.29 ln +125.33 277.68 mv +118.20 277.68 ln +118.20 270.55 ln +125.33 270.55 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -125.33 256.42 mv -118.20 256.42 ln -118.20 249.29 ln -125.33 249.29 ln -125.33 256.42 ln -118.20 256.42 ln +125.33 277.68 mv +118.20 277.68 ln +118.20 270.55 ln +125.33 270.55 ln +125.33 277.68 ln +118.20 277.68 ln st 0.7 setlinewidth [] 0 setdash np -128.92 276.30 mv -121.80 276.30 ln -121.80 269.17 ln -128.92 269.17 ln +128.92 298.51 mv +121.80 298.51 ln +121.80 291.38 ln +128.92 291.38 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -128.92 276.30 mv -121.80 276.30 ln -121.80 269.17 ln -128.92 269.17 ln -128.92 276.30 ln -121.80 276.30 ln +128.92 298.51 mv +121.80 298.51 ln +121.80 291.38 ln +128.92 291.38 ln +128.92 298.51 ln +121.80 298.51 ln st 0.7 setlinewidth [] 0 setdash np -138.51 300.31 mv -131.38 300.31 ln -131.38 293.18 ln -138.51 293.18 ln +138.51 323.66 mv +131.38 323.66 ln +131.38 316.53 ln +138.51 316.53 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -138.51 300.31 mv -131.38 300.31 ln -131.38 293.18 ln -138.51 293.18 ln -138.51 300.31 ln -131.38 300.31 ln +138.51 323.66 mv +131.38 323.66 ln +131.38 316.53 ln +138.51 316.53 ln +138.51 323.66 ln +131.38 323.66 ln st 0.7 setlinewidth [] 0 setdash np -159.77 327.16 mv -152.65 327.16 ln -152.65 320.03 ln -159.77 320.03 ln +159.77 351.79 mv +152.65 351.79 ln +152.65 344.66 ln +159.77 344.66 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -159.77 327.16 mv -152.65 327.16 ln -152.65 320.03 ln -159.77 320.03 ln -159.77 327.16 ln -152.65 327.16 ln +159.77 351.79 mv +152.65 351.79 ln +152.65 344.66 ln +159.77 344.66 ln +159.77 351.79 ln +152.65 351.79 ln st 0.7 setlinewidth [] 0 setdash np -209.82 351.63 mv -202.70 351.63 ln -202.70 344.50 ln -209.82 344.50 ln +209.82 377.42 mv +202.70 377.42 ln +202.70 370.29 ln +209.82 370.29 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -209.82 351.63 mv -202.70 351.63 ln -202.70 344.50 ln -209.82 344.50 ln -209.82 351.63 ln -202.70 351.63 ln +209.82 377.42 mv +202.70 377.42 ln +202.70 370.29 ln +209.82 370.29 ln +209.82 377.42 ln +202.70 377.42 ln st 0.7 setlinewidth [] 0 setdash np -253.80 371.42 mv -246.67 371.42 ln -246.67 364.29 ln -253.80 364.29 ln +253.80 398.16 mv +246.67 398.16 ln +246.67 391.03 ln +253.80 391.03 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -253.80 371.42 mv -246.67 371.42 ln -246.67 364.29 ln -253.80 364.29 ln -253.80 371.42 ln -246.67 371.42 ln +253.80 398.16 mv +246.67 398.16 ln +246.67 391.03 ln +253.80 391.03 ln +253.80 398.16 ln +246.67 398.16 ln st 0.7 setlinewidth [] 0 setdash np -323.88 379.94 mv -316.76 379.94 ln -316.76 372.81 ln -323.88 372.81 ln +323.88 407.08 mv +316.76 407.08 ln +316.76 399.96 ln +323.88 399.96 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -323.88 379.94 mv -316.76 379.94 ln -316.76 372.81 ln -323.88 372.81 ln -323.88 379.94 ln -316.76 379.94 ln +323.88 407.08 mv +316.76 407.08 ln +316.76 399.96 ln +323.88 399.96 ln +323.88 407.08 ln +316.76 407.08 ln st 0.7 setlinewidth [] 0 setdash np -427.59 384.34 mv -420.46 384.34 ln -420.46 377.21 ln -427.59 377.21 ln +427.59 411.69 mv +420.46 411.69 ln +420.46 404.56 ln +427.59 404.56 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -427.59 384.34 mv -420.46 384.34 ln -420.46 377.21 ln -427.59 377.21 ln -427.59 384.34 ln -420.46 384.34 ln +427.59 411.69 mv +420.46 411.69 ln +420.46 404.56 ln +427.59 404.56 ln +427.59 411.69 ln +420.46 411.69 ln st 0.7 setlinewidth [] 0 setdash np -487.88 382.97 mv -480.75 382.97 ln -480.75 375.84 ln -487.88 375.84 ln +487.88 410.25 mv +480.75 410.25 ln +480.75 403.12 ln +487.88 403.12 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -487.88 382.97 mv -480.75 382.97 ln -480.75 375.84 ln -487.88 375.84 ln -487.88 382.97 ln -480.75 382.97 ln +487.88 410.25 mv +480.75 410.25 ln +480.75 403.12 ln +487.88 403.12 ln +487.88 410.25 ln +480.75 410.25 ln st 0.7 setlinewidth [] 0 setdash np -519.37 381.68 mv -512.25 381.68 ln -512.25 374.56 ln -519.37 374.56 ln +519.37 408.91 mv +512.25 408.91 ln +512.25 401.78 ln +519.37 401.78 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -519.37 381.68 mv -512.25 381.68 ln -512.25 374.56 ln -519.37 374.56 ln -519.37 381.68 ln -512.25 381.68 ln +519.37 408.91 mv +512.25 408.91 ln +512.25 401.78 ln +519.37 401.78 ln +519.37 408.91 ln +512.25 408.91 ln st 0.7 setlinewidth [] 0 setdash np -566.60 382.78 mv -559.47 382.78 ln -559.47 375.66 ln -566.60 375.65 ln +566.60 410.06 mv +559.47 410.06 ln +559.47 402.93 ln +566.60 402.93 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -566.60 382.78 mv -559.47 382.78 ln -559.47 375.66 ln -566.60 375.65 ln -566.60 382.78 ln -559.47 382.78 ln +566.60 410.06 mv +559.47 410.06 ln +559.47 402.93 ln +566.60 402.93 ln +566.60 410.06 ln +559.47 410.06 ln st 0.7 setlinewidth [] 0 setdash np -571.06 381.59 mv -563.93 381.59 ln -563.93 374.46 ln -571.06 374.46 ln +571.06 408.81 mv +563.93 408.81 ln +563.93 401.68 ln +571.06 401.68 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -571.06 381.59 mv -563.93 381.59 ln -563.93 374.46 ln -571.06 374.46 ln -571.06 381.59 ln -563.93 381.59 ln +571.06 408.81 mv +563.93 408.81 ln +563.93 401.68 ln +571.06 401.68 ln +571.06 408.81 ln +563.93 408.81 ln st 1.4 setlinewidth [1.4 1.4 ] 0 setdash np -124.83 233.24 mv -135.26 252.49 ln -164.92 284.65 ln -222.07 318.37 ln -297.16 344.86 ln -394.51 370.15 ln -438.13 373.72 ln -495.55 377.94 ln -544.18 378.12 ln -559.84 378.76 ln -565.09 378.12 ln -568.05 378.30 ln -568.40 378.49 ln +124.83 253.57 mv +135.26 273.73 ln +164.92 307.42 ln +222.07 342.75 ln +297.16 370.50 ln +394.51 396.99 ln +438.13 400.74 ln +495.55 405.15 ln +544.18 405.34 ln +559.84 406.02 ln +565.09 405.34 ln +568.05 405.54 ln +568.40 405.73 ln st 0.7 setlinewidth [] 0 setdash np -124.83 238.28 mv -120.47 230.72 ln -129.20 230.72 ln +124.83 258.61 mv +120.47 251.05 ln +129.20 251.05 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -124.83 238.28 mv -120.47 230.72 ln -129.20 230.72 ln -124.83 238.28 ln -120.47 230.72 ln +124.83 258.61 mv +120.47 251.05 ln +129.20 251.05 ln +124.83 258.61 ln +120.47 251.05 ln st 0.7 setlinewidth [] 0 setdash np -135.26 257.53 mv -130.90 249.97 ln -139.63 249.97 ln +135.26 278.77 mv +130.90 271.21 ln +139.63 271.21 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -135.26 257.53 mv -130.90 249.97 ln -139.63 249.97 ln -135.26 257.53 ln -130.90 249.97 ln +135.26 278.77 mv +130.90 271.21 ln +139.63 271.21 ln +135.26 278.77 ln +130.90 271.21 ln st 0.7 setlinewidth [] 0 setdash np -164.92 289.69 mv -160.56 282.13 ln -169.29 282.13 ln +164.92 312.46 mv +160.56 304.90 ln +169.29 304.90 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -164.92 289.69 mv -160.56 282.13 ln -169.29 282.13 ln -164.92 289.69 ln -160.56 282.13 ln +164.92 312.46 mv +160.56 304.90 ln +169.29 304.90 ln +164.92 312.46 ln +160.56 304.90 ln st 0.7 setlinewidth [] 0 setdash np -222.07 323.41 mv -217.70 315.85 ln -226.43 315.85 ln +222.07 347.79 mv +217.70 340.23 ln +226.43 340.23 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -222.07 323.41 mv -217.70 315.85 ln -226.43 315.85 ln -222.07 323.41 ln -217.70 315.85 ln +222.07 347.79 mv +217.70 340.23 ln +226.43 340.23 ln +222.07 347.79 ln +217.70 340.23 ln st 0.7 setlinewidth [] 0 setdash np -297.16 349.90 mv -292.79 342.34 ln -301.52 342.34 ln +297.16 375.54 mv +292.79 367.98 ln +301.52 367.98 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -297.16 349.90 mv -292.79 342.34 ln -301.52 342.34 ln -297.16 349.90 ln -292.79 342.34 ln +297.16 375.54 mv +292.79 367.98 ln +301.52 367.98 ln +297.16 375.54 ln +292.79 367.98 ln st 0.7 setlinewidth [] 0 setdash np -394.51 375.19 mv -390.14 367.63 ln -398.87 367.63 ln +394.51 402.03 mv +390.14 394.47 ln +398.87 394.47 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -394.51 375.19 mv -390.14 367.63 ln -398.87 367.63 ln -394.51 375.19 ln -390.14 367.63 ln +394.51 402.03 mv +390.14 394.47 ln +398.87 394.47 ln +394.51 402.03 ln +390.14 394.47 ln st 0.7 setlinewidth [] 0 setdash np -438.13 378.76 mv -433.77 371.20 ln -442.50 371.20 ln +438.13 405.78 mv +433.77 398.22 ln +442.50 398.22 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -438.13 378.76 mv -433.77 371.20 ln -442.50 371.20 ln -438.13 378.76 ln -433.77 371.20 ln +438.13 405.78 mv +433.77 398.22 ln +442.50 398.22 ln +438.13 405.78 ln +433.77 398.22 ln st 0.7 setlinewidth [] 0 setdash np -495.55 382.98 mv -491.19 375.42 ln -499.92 375.42 ln +495.55 410.19 mv +491.19 402.63 ln +499.92 402.63 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -495.55 382.98 mv -491.19 375.42 ln -499.92 375.42 ln -495.55 382.98 ln -491.19 375.42 ln +495.55 410.19 mv +491.19 402.63 ln +499.92 402.63 ln +495.55 410.19 ln +491.19 402.63 ln st 0.7 setlinewidth [] 0 setdash np -544.18 383.16 mv -539.81 375.60 ln -548.54 375.60 ln +544.18 410.38 mv +539.81 402.82 ln +548.54 402.82 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -544.18 383.16 mv -539.81 375.60 ln -548.54 375.60 ln -544.18 383.16 ln -539.81 375.60 ln +544.18 410.38 mv +539.81 402.82 ln +548.54 402.82 ln +544.18 410.38 ln +539.81 402.82 ln st 0.7 setlinewidth [] 0 setdash np -559.84 383.80 mv -555.48 376.24 ln -564.20 376.24 ln +559.84 411.06 mv +555.48 403.50 ln +564.20 403.50 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -559.84 383.80 mv -555.48 376.24 ln -564.20 376.24 ln -559.84 383.80 ln -555.48 376.24 ln +559.84 411.06 mv +555.48 403.50 ln +564.20 403.50 ln +559.84 411.06 ln +555.48 403.50 ln st 0.7 setlinewidth [] 0 setdash np -565.09 383.16 mv -560.72 375.60 ln -569.45 375.60 ln +565.09 410.38 mv +560.72 402.82 ln +569.45 402.82 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -565.09 383.16 mv -560.72 375.60 ln -569.45 375.60 ln -565.09 383.16 ln -560.72 375.60 ln +565.09 410.38 mv +560.72 402.82 ln +569.45 402.82 ln +565.09 410.38 ln +560.72 402.82 ln st 0.7 setlinewidth [] 0 setdash np -568.05 383.34 mv -563.69 375.78 ln -572.42 375.78 ln +568.05 410.58 mv +563.69 403.02 ln +572.42 403.02 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -568.05 383.34 mv -563.69 375.78 ln -572.42 375.78 ln -568.05 383.34 ln -563.69 375.78 ln +568.05 410.58 mv +563.69 403.02 ln +572.42 403.02 ln +568.05 410.58 ln +563.69 403.02 ln st 0.7 setlinewidth [] 0 setdash np -568.40 383.53 mv -564.04 375.97 ln -572.76 375.97 ln +568.40 410.77 mv +564.04 403.21 ln +572.76 403.21 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -568.40 383.53 mv -564.04 375.97 ln -572.76 375.97 ln -568.40 383.53 ln -564.04 375.97 ln +568.40 410.77 mv +564.04 403.21 ln +572.76 403.21 ln +568.40 410.77 ln +564.04 403.21 ln st 1.4 setlinewidth [7.0 1.4 ] 0 setdash np -119.43 302.06 mv -119.75 307.83 ln -120.33 316.26 ln -121.36 328.18 ln -123.26 337.25 ln -128.17 346.05 ln -132.63 352.55 ln -144.75 364.47 ln -180.16 370.79 ln -223.78 373.35 ln -268.77 374.82 ln -434.44 377.57 ln -508.42 378.49 ln +119.43 325.66 mv +119.75 331.71 ln +120.33 340.54 ln +121.36 353.02 ln +123.26 362.53 ln +128.17 371.74 ln +132.63 378.56 ln +144.75 391.04 ln +180.16 397.66 ln +223.78 400.35 ln +268.77 401.89 ln +434.44 404.77 ln +508.42 405.73 ln st 0.7 setlinewidth [] 0 setdash np -124.47 302.06 mv -119.43 307.10 ln -114.39 302.06 ln -119.43 297.02 ln +124.47 325.66 mv +119.43 330.70 ln +114.39 325.66 ln +119.43 320.62 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -124.47 302.06 mv -119.43 307.10 ln -114.39 302.06 ln -119.43 297.02 ln -124.47 302.06 ln -119.43 307.10 ln +124.47 325.66 mv +119.43 330.70 ln +114.39 325.66 ln +119.43 320.62 ln +124.47 325.66 ln +119.43 330.70 ln st 0.7 setlinewidth [] 0 setdash np -124.79 307.83 mv -119.75 312.87 ln -114.71 307.83 ln -119.75 302.79 ln +124.79 331.71 mv +119.75 336.75 ln +114.71 331.71 ln +119.75 326.67 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -124.79 307.83 mv -119.75 312.87 ln -114.71 307.83 ln -119.75 302.79 ln -124.79 307.83 ln -119.75 312.87 ln +124.79 331.71 mv +119.75 336.75 ln +114.71 331.71 ln +119.75 326.67 ln +124.79 331.71 ln +119.75 336.75 ln st 0.7 setlinewidth [] 0 setdash np -125.37 316.26 mv -120.33 321.30 ln -115.29 316.26 ln -120.33 311.22 ln +125.37 340.54 mv +120.33 345.58 ln +115.29 340.54 ln +120.33 335.50 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -125.37 316.26 mv -120.33 321.30 ln -115.29 316.26 ln -120.33 311.22 ln -125.37 316.26 ln -120.33 321.30 ln +125.37 340.54 mv +120.33 345.58 ln +115.29 340.54 ln +120.33 335.50 ln +125.37 340.54 ln +120.33 345.58 ln st 0.7 setlinewidth [] 0 setdash np -126.40 328.18 mv -121.36 333.22 ln -116.32 328.18 ln -121.36 323.14 ln +126.40 353.02 mv +121.36 358.06 ln +116.32 353.02 ln +121.36 347.98 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -126.40 328.18 mv -121.36 333.22 ln -116.32 328.18 ln -121.36 323.14 ln -126.40 328.18 ln -121.36 333.22 ln +126.40 353.02 mv +121.36 358.06 ln +116.32 353.02 ln +121.36 347.98 ln +126.40 353.02 ln +121.36 358.06 ln st 0.7 setlinewidth [] 0 setdash np -128.30 337.25 mv -123.26 342.29 ln -118.22 337.25 ln -123.26 332.21 ln +128.30 362.53 mv +123.26 367.57 ln +118.22 362.53 ln +123.26 357.49 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -128.30 337.25 mv -123.26 342.29 ln -118.22 337.25 ln -123.26 332.21 ln -128.30 337.25 ln -123.26 342.29 ln +128.30 362.53 mv +123.26 367.57 ln +118.22 362.53 ln +123.26 357.49 ln +128.30 362.53 ln +123.26 367.57 ln st 0.7 setlinewidth [] 0 setdash np -133.21 346.05 mv -128.17 351.09 ln -123.13 346.05 ln -128.17 341.01 ln +133.21 371.74 mv +128.17 376.78 ln +123.13 371.74 ln +128.17 366.70 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -133.21 346.05 mv -128.17 351.09 ln -123.13 346.05 ln -128.17 341.01 ln -133.21 346.05 ln -128.17 351.09 ln +133.21 371.74 mv +128.17 376.78 ln +123.13 371.74 ln +128.17 366.70 ln +133.21 371.74 ln +128.17 376.78 ln st 0.7 setlinewidth [] 0 setdash np -137.67 352.55 mv -132.63 357.59 ln -127.59 352.55 ln -132.63 347.51 ln +137.67 378.56 mv +132.63 383.60 ln +127.59 378.56 ln +132.63 373.52 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -137.67 352.55 mv -132.63 357.59 ln -127.59 352.55 ln -132.63 347.51 ln -137.67 352.55 ln -132.63 357.59 ln +137.67 378.56 mv +132.63 383.60 ln +127.59 378.56 ln +132.63 373.52 ln +137.67 378.56 ln +132.63 383.60 ln st 0.7 setlinewidth [] 0 setdash np -149.79 364.47 mv -144.75 369.51 ln -139.71 364.47 ln -144.75 359.43 ln +149.79 391.04 mv +144.75 396.08 ln +139.71 391.04 ln +144.75 386.00 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -149.79 364.47 mv -144.75 369.51 ln -139.71 364.47 ln -144.75 359.43 ln -149.79 364.47 ln -144.75 369.51 ln +149.79 391.04 mv +144.75 396.08 ln +139.71 391.04 ln +144.75 386.00 ln +149.79 391.04 ln +144.75 396.08 ln st 0.7 setlinewidth [] 0 setdash np -185.20 370.79 mv -180.16 375.83 ln -175.12 370.79 ln -180.16 365.75 ln +185.20 397.66 mv +180.16 402.70 ln +175.12 397.66 ln +180.16 392.62 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -185.20 370.79 mv -180.16 375.83 ln -175.12 370.79 ln -180.16 365.75 ln -185.20 370.79 ln -180.16 375.83 ln +185.20 397.66 mv +180.16 402.70 ln +175.12 397.66 ln +180.16 392.62 ln +185.20 397.66 ln +180.16 402.70 ln st 0.7 setlinewidth [] 0 setdash np -228.82 373.35 mv -223.78 378.39 ln -218.74 373.35 ln -223.78 368.31 ln +228.82 400.35 mv +223.78 405.39 ln +218.74 400.35 ln +223.78 395.31 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -228.82 373.35 mv -223.78 378.39 ln -218.74 373.35 ln -223.78 368.31 ln -228.82 373.35 ln -223.78 378.39 ln +228.82 400.35 mv +223.78 405.39 ln +218.74 400.35 ln +223.78 395.31 ln +228.82 400.35 ln +223.78 405.39 ln st 0.7 setlinewidth [] 0 setdash np -273.81 374.82 mv -268.77 379.86 ln -263.73 374.82 ln -268.77 369.78 ln +273.81 401.89 mv +268.77 406.93 ln +263.73 401.89 ln +268.77 396.85 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -273.81 374.82 mv -268.77 379.86 ln -263.73 374.82 ln -268.77 369.78 ln -273.81 374.82 ln -268.77 379.86 ln +273.81 401.89 mv +268.77 406.93 ln +263.73 401.89 ln +268.77 396.85 ln +273.81 401.89 ln +268.77 406.93 ln st 0.7 setlinewidth [] 0 setdash np -439.48 377.57 mv -434.44 382.61 ln -429.40 377.57 ln -434.44 372.53 ln +439.48 404.77 mv +434.44 409.81 ln +429.40 404.77 ln +434.44 399.73 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -439.48 377.57 mv -434.44 382.61 ln -429.40 377.57 ln -434.44 372.53 ln -439.48 377.57 ln -434.44 382.61 ln +439.48 404.77 mv +434.44 409.81 ln +429.40 404.77 ln +434.44 399.73 ln +439.48 404.77 ln +434.44 409.81 ln st 0.7 setlinewidth [] 0 setdash np -513.46 378.49 mv -508.42 383.53 ln -503.38 378.49 ln -508.42 373.45 ln +513.46 405.73 mv +508.42 410.77 ln +503.38 405.73 ln +508.42 400.69 ln 1 1 1 setrgbcolor closepath fill 0 0 0 setrgbcolor np -513.46 378.49 mv -508.42 383.53 ln -503.38 378.49 ln -508.42 373.45 ln -513.46 378.49 ln -508.42 383.53 ln +513.46 405.73 mv +508.42 410.77 ln +503.38 405.73 ln +508.42 400.69 ln +513.46 405.73 ln +508.42 410.77 ln st /Helvetica reencodeISO 11 scalefont diff --git a/report/prune_results/do.sh b/report/prune_results/do.sh index d541ee93..afd85c57 100755 --- a/report/prune_results/do.sh +++ b/report/prune_results/do.sh @@ -1,7 +1,8 @@ title="In multipass (TM -> TM+3gram), tuning for 1st pass -> BLEU (y) lost to pruning (x)." \ n4="tuned_unigram" \ - n3="tuned_without_lm" \ n2="2ndpass_weights_without_lm" \ + n3="tuned_without_lm" \ xlbl="post-pruning fraction of edges kept" \ obase=compare.1stpass.tune \ + ymin=0 ymax=21 \ ./graph.sh space.2pass- hdt hdt0 hdt1 diff --git a/report/prune_results/graph.sh b/report/prune_results/graph.sh index ffd1dec8..8aa6e228 100755 --- a/report/prune_results/graph.sh +++ b/report/prune_results/graph.sh @@ -1,12 +1,15 @@ # see do.sh for usage d=$(dirname `readlink -f $0`) +. $d/lib.sh plboth() { local o=$1 local oarg="-landscape" [ "$portrait" ] && oarg= shift + set -x pl -png -o $o.png "$@" +set +x pl -ps -o $o.ps $oarg "$@" ps2pdf $o.ps $o.pdf } @@ -24,12 +27,15 @@ graph3() { local of=$obase.png local ops=$obase.ps #yrange=0 + local yrange_arg + [ "$ymin" ] && yrange_arg="yrange=$ymin $ymax" #pointsym=none pointsym2=none title=${title:-$ylbl $ylbl2 $ylbl3 vs. $xlbl} xlbl=${xlbl:=x} showvars_required obase xlbl ylbl ylbl2 ylbl3 + showvars_optional yrange yrange_arg require_files $data - plboth $obase -prefab lines data=$data x=1 y=$y name="$ylbl" y2=$y2 name2="$ylbl2" y3=$y3 name3="$ylbl3" ylbldistance=$ylbldistance xlbl="$xlbl" title="$title" ystubfmt '%4g' ystubdet="size=6" linedet2="style=1" linedet3="style=3" -scale ${scale:-1.4} + plboth $obase -prefab lines data=$data x=1 "$yrange_arg" y=$y name="$ylbl" y2=$y2 name2="$ylbl2" y3=$y3 name3="$ylbl3" ylbldistance=$ylbldistance xlbl="$xlbl" title="$title" ystubfmt '%4g' ystubdet="size=6" linedet2="style=1" linedet3="style=3" -scale ${scale:-1.4} echo $of } @@ -54,48 +60,6 @@ main() { exit } -echo2() { - echo "$@" 1>&2 -} - -errorq() { - echo2 ERROR: "$@" -} - -error() { - errorq "$@" - return 2 -} - -showvars_required() { - echo2 $0 RUNNING WITH REQUIRED VARIABLES: - local k - for k in "$@"; do - eval local v=\$$k - echo2 $k=$v - if [ -z "$v" ] ; then - errorq "required (environment or shell) variable $k not defined!" - return 1 - fi - done - echo2 -} - -require_files() { - local f - [ "$*" ] || error "require_files called with empty args list" - for f in "$@"; do - if ! have_file "$f" ; then - error "missing required file: $f" - return 1 - fi - done - return 0 -} - -have_file() { - [ "$1" -a -f "$1" -a \( -z "$2" -o "$1" -nt "$2" \) -a \( -z "$require_nonempty" -o -s "$1" \) ] -} if ! [ "$nomain" ] ; then main "$@";exit diff --git a/report/prune_results/lib.sh b/report/prune_results/lib.sh new file mode 100755 index 00000000..ff951c64 --- /dev/null +++ b/report/prune_results/lib.sh @@ -0,0 +1,89 @@ +echo2() { + echo "$@" 1>&2 +} + +errorq() { + echo2 ERROR: "$@" +} + +error() { + errorq "$@" + return 2 +} + +showvars_required() { + echo2 $0 RUNNING WITH REQUIRED VARIABLES: + local k + for k in "$@"; do + eval local v=\$$k + echo2 $k=$v + if [ -z "$v" ] ; then + errorq "required (environment or shell) variable $k not defined!" + return 1 + fi + done + echo2 +} + +showvars_optional() { + echo2 RUNNING WITH OPTIONAL VARIABLES: + local k + for k in "$@"; do + if isset $k ; then + eval local v=\$$k + echo2 $k=$v + else + echo2 UNSET: $k + fi + done + echo2 +} + +require_files() { + local f + [ "$*" ] || error "require_files called with empty args list" + for f in "$@"; do + if ! have_file "$f" ; then + error "missing required file: $f" + return 1 + fi + done + return 0 +} + +have_file() { + [ "$1" -a -f "$1" -a \( -z "$2" -o "$1" -nt "$2" \) -a \( -z "$require_nonempty" -o -s "$1" \) ] +} + +filename_from() { + perl -e ' +sub superchomp { + my ($ref)=@_; + if ($$ref) { + $$ref =~ s|^\s+||; + $$ref =~ s|\s+$||; + $$ref =~ s|\s+| |g; + } +} + +sub filename_from { + my ($fname)=@_; + &superchomp(\$fname); + $fname =~ s|[^a-zA-Z0-9_-]+|.|g; + $fname =~ s|^\.|_|; + return $fname; +} + +$"=" ";print filename_from("@ARGV"),"\n" +' -- "$@" +} + +preview() { + tailn=${tailn:-20} + head -v -n $tailn "$@" +} + +isset() { + eval local v=\${$1+set} + [ "$v" = set ] +} |