# ESI: The Precision Results on Goal-Independent Analysis

[Page last updated on 2001/02/19 10:29:56.]

Here are the precision results on the impact of structural information for goal-independent mode analysis. Remember, only a small part of the precision improvement obtained is captured by these numbers (here is why).

The table below has the following columns:

pairs
The total number of possible pair-sharings of argument positions in the reachable part of the program. Suppose that a program defines, among others, a predicate p/n which is not declared as dead code by the analysis. This counts as n(n-1)/2 possible pair-sharings, since each argument position may share with each other.
vars
The total number of argument positions in the reachable part of the program.
indep
The total number of argument pairs that were declared independent by the analysis (of course, indep ≤ pairs).
ground
The total number of ground argument positions in the reachable part of the program.
linear
The total number of linear argument positions in the reachable part of the program (note that ground or free variables are also linear).
free
The total number of free argument positions in the reachable part of the program.
bound
The total number of bound (or nonvar) argument positions in the reachable part of the program (note that ground variables are clearly bound).

Notice that structural information has the potential of pruning some computation paths on the ground that they cannot be followed by the program being analyzed. This explains why in some cases the columns pairs and vars in the table show a difference: in those cases the analysis with Pattern(·) discovered that some predicates could never succeed or never be called (because of a systematic failure before each of their call points).

For those looking at this page through color-enabled devices: table entries in red indicate that the integration of explicit structural information led to precision loss; green indicates improved precision; brown indicates that no such qualitative conclusion could be drawn (because one of the analyses timed out).

The symbol * appears near the name of a program in those cases where CHINA indicates possible incorrectness of the analysis' results. See the page on questions and answers if this shocks you.

 Program pairs vars indep ground linear free bound 4colors.pl 123/123 23/23 123/123 19/19 23/23 4/4 19/19 4men.pl 15/15 25/25 15/15 6/6 25/25 17/17 6/6 8puzzle.pl 21/21 20/20 11/11 7/7 16/18 4/4 14/14 LeanTaP.pl 147/147 138/138 102/102 23/23 77/77 26/26 59/59 QG5-7_mg4.pl 620/620 387/387 389/422 22/23 164/181 44/54 161/164 aaaaa.pl 9802/9802 4645/4645 4250/4305 328/330 2286/2339 631/633 1662/1666 ac_fix.pl 65/65 71/71 41/41 11/11 37/37 22/22 15/15 action.pl 80/80 90/90 36/38 1/2 48/49 22/22 15/15 aircraft.pl 628/628 792/792 581/583 209/235 774/786 259/259 482/482 ale_hpsg.pl 10986/10986 5402/5402 8402/8430 950/953 3493/3503 1554/1555 1663/1670 all_permutations.pl 21/21 16/16 10/10 0/0 12/12 5/5 7/7 altappend.pl 13/13 14/14 4/4 0/0 14/14 2/2 10/10 ann.pl 418/418 243/243 216/222 15/15 133/133 42/43 75/77 append.pl 3/3 3/3 1/1 0/0 3/3 1/1 1/1 apprevlast.pl 9/9 12/12 2/2 0/0 12/12 3/3 5/5 aqua_c.pl 18754/18754 6148/6148 12526/12629 442/442 3693/3693 1402/1410 1750/1755 arch1.pl 465/465 320/320 192/209 9/10 144/152 64/64 108/109 astar.pl 27/27 31/31 18/18 9/9 29/29 6/6 19/19 attractions.pl 35/35 33/33 14/14 1/1 29/29 18/18 12/12 attractions2.pl 15/15 21/21 3/3 1/1 17/17 2/2 13/13 autoc.pl * 66/66 82/82 22/22 21/21 54/54 13/13 36/36 back52.pl * 17262/17262 11160/11160 8748/8822 838/842 5582/5644 1653/1685 3899/3930 barnes_hut.pl 414/414 136/136 389/389 55/55 136/136 2/2 72/72 bid.pl 41/41 48/48 30/30 17/17 42/42 5/5 34/34 bigot.pl 38/38 35/35 35/35 19/19 35/35 8/8 21/21 bintrees.pl 28/28 30/30 9/9 1/1 30/30 4/4 16/16 birds.pl 18/18 45/45 7/7 5/5 18/18 1/1 9/9 bmtp.pl 3741/3741 2186/2186 1626/1698 142/143 1172/1179 321/326 705/715 bnet.pl 201/201 116/116 155/155 21/21 98/98 10/11 53/53 bnet2.pl 201/201 116/116 155/155 21/21 98/98 10/11 53/53 boyer_wamcc.pl 81/81 79/79 18/18 3/3 52/52 7/7 30/30 bp0-6.pl 264/264 115/115 215/215 31/31 90/90 21/21 44/44 browse_wamcc.pl 61/61 49/49 47/47 9/9 42/42 6/6 24/24 bryant.pl 1252/1252 330/330 1112/1112 32/32 210/210 4/4 114/114 bup-all.pl 183/183 178/178 73/75 16/16 105/109 42/42 50/50 cal_wamcc.pl 29/29 24/24 29/29 18/18 24/24 3/3 18/18 cardsol.pl 23/23 31/31 16/16 12/12 31/31 7/7 19/19 caslog.pl 13382/13382 5298/5298 6889/7111 569/585 2115/2175 390/393 1649/1651 cg_parser.pl 254/254 277/277 135/135 32/32 196/197 60/60 121/121 chartgraph.pl 206/206 228/228 151/151 72/72 162/162 40/43 100/100 chasen-all.pl 90/90 113/113 61/61 24/24 68/68 12/12 69/69 chat80.pl 3719/3719 1644/1644 2625/2657 342/342 1294/1301 308/308 721/721 chat_parser.pl 2035/2035 744/744 1387/1387 128/128 552/552 136/136 256/256 chess.pl 267/267 215/215 225/225 89/89 186/186 43/43 114/114 chillin.pl 5497/5497 1858/1858 3802/3890 190/192 1135/1145 377/389 598/604 circan.pl 14/14 24/24 7/7 7/7 14/14 4/4 14/14 classic.pl 87/87 103/103 40/40 7/7 94/94 28/28 49/49 cobweb.pl 777/777 362/362 453/488 30/33 125/140 38/40 132/134 colan-all.pl * 812/812 649/649 458/472 86/90 377/381 139/139 260/263 color.pl 12/12 16/16 10/10 5/5 10/10 3/3 12/12 compound.pl 8/8 10/10 6/6 7/7 10/10 1/1 8/8 conman.pl 21/21 40/40 8/8 5/5 19/19 2/2 14/14 crip.pl 110/110 106/106 67/67 25/25 73/73 9/9 60/63 cry_add.pl 33/33 35/35 17/17 3/3 35/35 4/4 20/20 cry_mult.pl 74/74 48/48 50/50 7/7 46/46 4/4 18/18 crypt_wamcc.pl 18/18 20/20 13/13 11/11 20/20 0/0 11/11 cs2.pl 166/166 94/94 115/119 31/35 66/71 4/4 70/70 cselcomp.pl 6304/6304 2541/2541 4231/4410 236/238 1819/1888 591/597 775/777 cugini_utilities.pl 386/386 432/432 177/190 77/80 250/257 63/63 244/250 curry2indy.pl * 763/763 747/747 419/422 101/101 556/556 228/232 307/307 curry2prolog.pl 3100/3100 2058/2058 879/897 254/260 865/877 272/273 669/672 custord.pl 15/15 20/20 12/12 14/14 15/15 0/0 14/14 cycles.pl * 65/65 59/59 29/29 5/5 42/42 7/7 26/26 dbqas.pl * 186/186 160/160 138/138 30/32 127/127 41/41 84/86 dcg1.pl 42/42 42/42 27/27 12/12 42/42 15/15 27/27 dcg_jp.pl 51/51 39/39 9/9 0/0 17/17 6/6 13/13 dcg_ok.pl 61/61 45/45 13/13 2/2 17/17 4/4 12/12 demo_fsa2.pl 4/4 8/8 4/4 4/4 8/8 0/0 7/7 dfid.pl 12/12 21/21 10/10 9/9 19/19 7/7 12/12 dfsscc.pl 68/68 80/80 27/27 9/9 54/54 16/16 34/34 dialog.pl 52/52 71/71 32/32 30/30 60/60 5/5 47/47 difflists.pl 33/33 41/41 16/16 8/9 23/33 3/3 32/36 diffsimpsv.pl 23/23 24/24 13/13 9/9 19/19 4/4 10/10 dioph.pl 40/40 28/28 34/34 9/9 28/28 7/7 14/14 disj_r.pl 45/45 58/58 25/25 24/24 46/46 4/4 37/37 dlists.pl 26/26 31/31 9/9 0/0 22/22 7/7 22/22 dposan.pl 173/173 207/207 107/107 42/44 130/131 35/37 98/99 draw.pl 307/307 134/134 267/267 31/31 122/122 12/12 59/59 eliza.pl 112/112 104/104 49/49 14/14 66/66 14/14 60/60 english.pl 37/37 30/30 29/29 13/13 30/30 10/10 19/19 esfm.pl 8/8 16/16 3/3 3/3 7/7 3/3 5/5 essln.pl * 837/837 649/649 531/558 123/123 414/423 99/99 231/231 exp.pl 6/6 12/12 0/0 0/0 12/12 6/6 4/4 ezan.pl 1758/1758 949/949 1215/1218 147/153 707/716 137/139 329/329 factors.pl 13/13 8/8 13/13 8/8 8/8 0/0 8/8 famtree_lguzik.pl 59/59 37/37 14/14 19/19 27/27 6/6 19/19 fecht.pl 193/193 33/33 85/85 1/1 33/33 10/10 7/7 fft.pl 65/65 47/47 57/57 28/28 47/47 2/2 34/34 files.pl 151/151 172/172 67/69 61/61 116/117 20/20 93/93 flatten.pl 5/5 7/7 2/2 2/2 7/7 1/1 5/5 foil.pl 520/520 303/303 409/409 38/38 209/209 83/83 105/105 fraction.pl 33/33 22/22 22/22 7/7 22/22 3/3 14/14 french.pl 48/48 33/33 37/37 13/13 33/33 13/13 18/18 fst.pl 18/18 20/20 14/14 13/13 20/20 4/4 14/14 ftfsg.pl 273/273 281/281 143/148 17/18 167/171 75/75 69/70 ftfsg2.pl 393/393 414/414 261/266 94/95 289/293 78/78 166/167 ga.pl 433/433 147/147 364/366 55/60 123/128 15/15 81/82 gauss.pl 37/37 37/37 29/29 14/14 37/37 2/2 27/27 gcd.pl 53/53 23/23 48/48 9/9 23/23 0/0 10/10 gene.pl 85/85 127/127 34/34 3/3 38/38 34/34 4/4 genlang-2.5.pl * 4747/4747 2165/2165 3717/3721 720/730 1675/1685 262/263 1055/1061 gilberto.pl 19/19 12/12 1/2 0/0 2/4 2/4 4/4 gnup-1.1.0_pl2wam.pl 1901/1901 1243/1242 1169/1177 220/222 875/879 219/219 477/479 grammar.pl 16/16 17/17 11/11 4/5 17/17 4/4 13/13 grips.pl * 136/136 152/152 70/70 14/14 76/76 23/23 38/38 gulp.pl * 52/52 99/99 21/21 13/13 55/55 18/18 36/36 gulp3.pl 105/105 119/119 32/32 11/11 60/60 18/18 44/45 ham_bshort.pl 69/69 53/53 33/33 10/10 45/45 10/10 19/19 hamiltonian.pl 16/16 22/22 10/11 12/14 22/22 3/3 18/18 hanoiapp.pl 13/13 8/8 8/8 1/1 7/7 1/1 3/3 hebtrans.pl 14/13 32/30 11/10 23/22 31/29 2/2 29/27 idt.pl 154/154 146/146 102/103 33/33 95/95 21/23 68/68 ilap.pl 100/100 78/78 85/85 19/19 53/53 6/6 34/34 ileanTAP.pl 373/373 123/123 266/266 1/1 98/98 44/44 18/20 ili.pl 456/456 294/294 34/72 6/13 54/68 15/15 87/95 ime_v2-2-1.pl 227/227 105/105 177/177 10/10 71/71 16/16 38/38 index.pl * 1187/1187 629/629 658/724 43/45 335/343 108/108 205/207 indy2curry.pl 181/181 128/128 142/142 38/38 107/107 7/7 63/63 indyv1.8.pl 1103/1103 794/794 518/519 73/73 434/434 70/70 401/401 intervals.pl 62/62 70/70 38/38 6/6 69/69 10/10 35/35 jugs.pl 33/33 32/32 21/21 5/5 28/28 8/8 19/19 kalah_r.pl 182/182 124/124 158/158 42/42 117/122 10/10 73/73 kilimanjaro-all.pl 29966/29966 14535/14535 19107/19285 1998/2047 10258/10349 3091/3125 5001/5035 kipeg.pl 19/19 20/20 16/16 12/12 20/20 2/2 16/16 knight.pl 56/56 44/44 41/41 10/10 43/43 9/9 23/23 kore-ie.pl * 1283/1283 692/692 694/719 27/32 374/383 176/176 143/151 lc.pl 53/53 56/56 17/17 2/2 42/42 15/15 28/28 ldl-all.pl 8840/8840 5491/5491 2345/2432 281/281 1648/1677 558/603 1596/1717 leantap_small.pl 22/22 18/18 13/13 0/0 13/13 9/9 1/1 lg_sys.pl 14739/14739 7203/7203 9072/9356 820/858 3378/3460 1099/1106 2080/2089 lgt20.pl * 2168/2168 1225/1225 1041/1363 77/94 526/645 326/326 155/172 life.pl 125/125 63/63 97/97 15/15 44/44 2/2 21/21 lilp.pl 275/275 239/239 168/171 11/11 147/148 83/83 86/86 linTAP.pl 453/453 152/152 247/247 2/2 108/108 40/40 34/34 lin_reg.pl 73/73 18/18 68/68 8/8 18/18 0/0 8/8 linger_old.pl * 621/621 551/551 278/290 87/88 313/319 132/132 236/239 linking1.pl 16/16 9/9 7/7 1/1 6/6 3/3 1/1 linking2.pl 19/19 13/13 2/2 0/0 5/5 2/2 5/5 linloss.pl 2/2 4/4 1/1 2/2 2/2 0/0 4/4 linsys.pl 31/31 34/34 24/24 14/14 33/33 2/2 14/14 linus.pl * 1076/1076 958/955 771/782 259/258 707/715 205/211 397/396 ljt.pl 257/257 145/145 30/30 5/5 47/47 24/24 31/33 llprover.pl 314/314 342/340 198/198 86/88 264/262 25/25 202/201 lnprolog.pl * 253/253 244/244 149/149 46/46 163/163 45/45 110/110 log_interpreter.pl 268/268 265/265 69/91 14/14 104/105 33/33 120/120 lojban.pl 713/713 476/476 281/281 51/51 220/220 79/79 180/180 lookup.pl 3/3 5/5 1/1 0/0 5/5 2/2 1/1 loops.pl 30/30 40/40 12/12 5/5 33/33 3/3 26/26 lowest.pl 2/2 5/5 0/0 0/0 1/1 0/0 3/3 lpe.pl 219/219 251/251 104/104 28/28 135/135 59/59 61/61 lptp-1.05.pl 3631/3630 2585/2580 1672/1676 247/246 1365/1369 377/381 889/890 lptp-1.06.pl 3631/3631 2587/2587 1672/1677 249/249 1366/1371 377/381 891/893 magicex.pl 1/1 3/3 1/1 0/0 3/3 3/3 0/0 map.pl * 3804/3804 3301/3300 2149/2215 414/419 1784/1799 472/479 1401/1425 maps.pl 32/32 16/16 31/31 10/10 16/16 5/5 11/11 markus.pl 758/758 496/496 556/556 74/74 407/407 152/153 171/174 mastermind.pl 36/36 47/47 31/31 19/19 41/41 6/6 37/37 math.pl 77/77 83/83 36/36 26/26 63/63 10/10 46/46 mathlib.pl 84/84 90/90 40/40 26/26 70/70 13/13 49/49 matrix.pl 40/40 34/34 33/33 7/7 34/34 0/0 21/21 maze.pl 50/50 36/36 46/46 21/21 36/36 7/7 27/27 mdgtools-1.0.pl 7291/7291 2084/2084 2775/2778 62/63 716/725 304/306 464/464 medic4.pl 47/47 60/60 28/28 15/15 49/49 8/8 29/29 medic5.pl 66/66 73/73 34/34 18/18 57/57 10/10 40/40 meta_qsort_wamcc.pl 11/11 17/17 3/3 0/0 8/8 0/0 6/6 metutor.pl 588/588 622/622 379/381 148/149 458/459 157/161 241/242 mfoil.pl 558/558 314/314 413/414 29/29 210/210 87/87 109/110 mgpl4.pl 1028/1028 621/621 782/782 86/90 455/459 236/236 224/227 mgtp-g-I-temp.pl 1010/1010 594/594 530/530 48/48 432/432 155/155 164/164 mixtus-all.pl 4056/4056 2331/2331 2482/2502 164/166 1419/1430 513/517 708/716 mm.pl 523/523 373/373 233/233 43/43 231/231 50/50 137/146 motel.pl * 7104/7098 3830/3825 3532/3567 188/196 1815/1831 1027/1042 987/991 mpuzzle.pl 22/22 20/20 15/15 4/4 20/20 6/6 8/8 mt-all.pl * 20516/20508 13751/13720 12190/12301 1755/1798 8197/8296 2045/2127 5353/5412 multagnt.pl 173/173 171/171 50/113 19/24 101/108 41/41 81/81 music.pl 10/10 11/11 5/5 2/2 9/9 2/2 8/8 nand_wamcc.pl 686/686 293/293 490/490 28/28 232/232 63/63 71/71 nani.pl 48/48 82/82 33/33 30/30 59/59 13/13 41/41 nbody.pl 297/297 170/170 263/263 64/64 160/162 8/8 104/104 ncDP.pl 75/75 60/60 39/39 9/9 46/46 9/9 15/15 negoplan.pl * 3581/3581 2929/2928 1881/1900 363/375 1230/1243 253/254 750/754 neural.pl 105/95 102/93 80/70 30/29 95/86 4/13 63/58 newexpobdd.pl 667/667 53/53 617/617 0/0 53/53 34/34 17/17 newton.pl 47/47 28/28 44/44 10/10 28/28 0/0 13/13 nladb.pl 33/33 38/38 28/28 22/22 32/33 2/3 29/29 noughts_and_crosses.pl 29/29 44/44 22/22 9/9 44/44 23/23 20/20 npuzzle.pl 60/60 47/47 53/53 30/30 47/47 6/6 35/35 occ.pl 4/4 6/6 1/1 0/0 5/5 1/1 4/4 ocheck0.pl 1/1 3/3 0/0 0/1 2/3 1/1 2/2 ocheck1.pl 7/1 10/4 0/1 0/4 0/4 0/0 4/4 ocheck2.pl 12/12 8/8 12/12 8/8 8/8 0/0 8/8 ocheck3.pl 45/45 18/18 33/33 3/3 18/18 9/9 3/3 ocheck4.pl 6/6 12/12 0/3 0/0 8/10 2/10 2/2 ocheck5.pl 2/2 5/5 0/0 0/0 2/3 2/2 1/1 ochecklin.pl 1/1 3/3 0/0 0/0 3/3 3/3 0/0 oldchina.pl 3584/3584 2188/2188 2290/2308 295/295 1470/1475 297/297 936/939 ordsets.pl 53/53 25/25 27/27 1/1 25/25 4/4 8/8 othello.pl 80/80 78/78 54/54 31/31 64/64 7/7 41/41 pairs.pl 7/7 8/8 2/2 0/0 6/6 1/1 5/5 palindrome.pl 14/14 14/14 6/6 0/0 10/10 0/0 11/11 pappiall.pl 1907/1907 2354/2354 678/678 141/141 578/579 325/326 313/313 pappienglishall.pl 436/436 507/507 163/163 63/63 152/152 59/59 91/91 parser_dcg.pl 218/218 183/183 117/117 28/28 149/183 62/62 88/88 path.pl 23/23 32/32 14/14 8/8 23/23 8/8 9/9 peephole1.pl 329/329 207/207 178/178 22/22 182/182 72/72 67/67 peg.pl 41/41 27/27 32/32 16/16 27/27 2/2 19/19 pentomino.pl 199/199 139/139 154/154 41/41 80/80 5/5 84/84 permute.pl 20/20 23/23 10/10 1/1 23/23 1/1 16/16 petsan.pl 3839/3839 1467/1467 2604/2604 278/278 940/940 223/225 498/498 peval.pl 1079/1079 629/629 606/606 45/45 379/379 124/124 203/203 pg.pl 39/39 31/31 15/15 6/6 24/24 5/5 16/16 pillow-1.1.pl 755/755 667/667 438/438 158/158 586/586 162/162 361/361 piza-0.9.22.pl * 12414/12411 9544/9537 7287/7314 1370/1373 4800/4831 1404/1427 3201/3207 pl2wam.pl 1926/1926 1238/1237 1182/1190 210/212 864/868 223/223 465/467 plaiclp.pl 3032/3032 1611/1611 1728/1728 178/179 956/962 213/216 503/505 plcafe_lib.pl 316/316 254/254 228/228 46/46 151/151 25/25 105/106 pljava.pl 706/706 482/482 379/382 75/76 312/313 81/84 203/203 pmatch.pl 996/996 350/350 708/708 51/51 256/256 75/75 118/118 poly10.pl 25/25 26/26 3/3 3/3 12/12 0/0 12/12 powers.pl 25/25 16/16 23/23 7/7 16/16 0/0 7/7 powerset.pl 7/7 8/8 2/2 0/0 5/5 1/1 5/5 press.pl 147/147 133/133 70/70 24/24 71/71 12/12 72/72 primefactors.pl 10/10 11/11 10/10 11/11 11/11 0/0 11/11 primes.pl 34/34 20/20 31/31 6/6 20/20 0/0 6/6 primes2.pl 10/10 12/12 6/6 2/2 12/12 1/1 4/4 primes3.pl 9/9 12/12 8/8 5/5 12/12 0/0 8/8 prism-1.1.pl * 2220/2220 1726/1726 1741/1814 370/378 1275/1295 421/433 702/707 prointrp.pl 10/10 14/14 3/3 1/2 12/13 5/5 3/4 prolog.pl 7/7 23/23 6/6 4/4 13/13 1/1 6/6 protein.pl * 1827/1827 1365/1365 1144/1146 171/172 820/821 250/250 379/381 puzzle.pl 18/18 28/28 2/3 0/3 28/28 12/12 12/12 pythagoras.pl 8/8 10/10 6/6 1/1 9/9 3/3 2/2 q8.pl 15/15 15/15 3/3 0/0 9/9 4/4 8/8 qdjanus.pl * 3710/3710 2449/2449 2577/2580 421/422 1296/1297 240/240 907/909 qmlattice.pl * 743/743 889/889 441/441 197/197 752/752 185/185 449/449 qplan.pl 224/224 155/155 155/155 27/27 121/121 24/24 68/68 queens.pl 23/23 16/16 17/17 5/5 16/16 2/2 7/7 queens8_wamcc.pl 11/11 16/16 5/5 3/3 15/15 1/1 12/12 queens_wamcc.pl 14/14 16/16 7/7 4/4 16/16 1/1 7/7 quotan.pl 564/564 409/409 293/294 38/40 209/212 57/57 163/163 raytrace.pl 741/741 383/383 684/684 162/162 376/376 19/19 208/208 raytrace2.pl 760/760 391/391 703/703 172/172 386/386 19/19 217/217 raytrace_inst.pl 892/892 401/401 805/823 160/160 394/394 18/18 207/207 rdtok.pl 74/74 68/68 55/55 26/26 62/62 4/4 36/36 reach.pl 10/10 9/9 1/1 0/0 5/5 2/2 3/3 read.pl 233/233 146/146 150/150 44/44 109/109 6/6 67/67 reducer.pl 169/169 116/116 127/127 21/21 100/100 19/19 43/43 reform_compiler.pl * 41711/41711 12101/12101 28344/28858 1110/1205 7751/7941 2311/2323 3779/3783 reg.pl 1609/1609 708/708 826/1225 49/61 354/440 80/80 268/272 river.pl * 9/9 25/25 3/3 2/2 8/8 4/4 10/10 river1.pl * 6/6 15/15 2/2 2/2 8/8 3/3 6/6 robot.pl 67/67 72/72 47/47 20/20 63/63 10/10 52/52 rsp.pl 61/61 40/40 21/21 4/4 11/11 2/2 14/14 rubik.pl 115/115 193/193 58/58 56/56 131/134 10/10 118/118 salvini.pl * 819/819 626/626 608/608 148/153 494/499 121/121 248/250 sax.pl 3334/3334 2030/2030 1797/1875 272/300 1045/1096 235/241 640/674 sb_asm.pl 240/240 194/194 147/147 20/20 158/158 56/56 61/61 scc.pl 254/254 110/110 84/84 8/8 40/40 9/9 35/35 schedule.pl 107/107 42/42 107/107 39/39 42/42 1/1 39/39 sdda.pl 98/98 89/89 27/27 4/5 38/42 19/19 22/23 search_lguzik.pl 109/109 106/106 59/59 28/28 106/106 10/10 63/63 semi.pl 47/47 48/48 33/33 21/21 48/48 5/5 31/31 semigroup.pl 7831/7831 1979/1979 184/184 6/6 32/32 14/14 1953/1953 sets.pl 10/10 11/11 1/1 0/0 7/7 1/1 6/6 sg_mc_big.pl 674/674 248/248 637/637 6/6 48/48 12/12 208/208 shape.pl 9/9 10/10 8/8 6/6 8/8 0/0 8/8 sharing_enum.pl 302/302 296/296 182/182 95/95 257/257 28/28 159/159 shortest.pl 26/26 35/35 15/15 8/8 26/26 9/9 10/10 sieve.pl 9/9 12/12 8/8 6/6 12/12 0/0 8/8 sim.pl 1502/1502 465/465 911/1100 76/80 260/279 31/31 133/137 sim_v5-2.pl 242/242 282/282 104/104 53/54 191/191 26/26 196/196 simple_analyzer.pl 518/518 254/254 382/382 28/28 165/165 38/38 95/95 slice-all.pl 851/851 814/814 453/459 138/140 595/632 125/125 328/330 som4.pl 15/15 11/11 7/7 0/0 11/11 0/0 0/0 sorts.pl 64/64 70/70 22/22 2/2 66/66 7/7 37/37 sprftp.pl * 1477/1477 839/839 716/740 55/55 384/388 166/175 190/190 spsys.pl 1617/1617 1142/1142 886/1052 88/123 559/629 161/165 460/475 stack-opt.pl 30/30 16/16 15/15 3/3 11/11 0/0 4/4 staticcalls.pl 23/23 27/27 16/16 5/5 24/24 8/8 16/16 stats.pl 38/38 13/13 35/35 7/7 13/13 0/0 7/7 strings_texts.pl 305/305 342/342 197/197 139/139 328/328 39/39 228/228 strips.pl 333/333 294/294 163/163 20/20 209/209 92/94 120/120 synth.pl 1473/1473 1068/1068 873/873 126/126 649/649 170/170 408/409 tak_wamcc.pl 6/6 4/4 5/5 2/2 4/4 0/0 2/2 ternary.pl 4/4 7/7 0/0 1/1 7/7 1/1 6/6 tictactoe.pl 170/170 71/71 165/165 13/13 70/70 22/22 25/25 trees1.pl 71/71 63/63 50/62 29/36 51/62 5/8 45/45 trees2.pl 110/110 94/94 92/92 37/37 84/84 15/15 50/50 trs.pl 120/120 80/80 64/67 6/8 34/40 10/10 35/35 tsp.pl 251/251 110/110 219/219 26/26 98/98 19/19 33/33 unify.pl 414/414 152/152 316/316 18/18 114/114 39/39 51/51 untupler.pl * 122/122 123/123 71/82 15/18 55/61 14/19 63/65 vhdl97_parser.pl 2438/2438 2287/2287 1148/1148 260/260 1683/1683 556/556 1116/1116 vsp.pl 82/82 76/76 62/62 13/13 71/72 35/35 30/30 warplan.pl 58/58 65/65 29/29 0/0 37/37 20/20 8/8 wumpus1.pl 51/51 47/47 34/34 11/11 17/17 0/0 11/11 wumpus2.pl * 535/535 466/466 393/396 201/201 359/361 64/64 241/241 yaqueens.pl 20/20 27/27 13/13 8/8 27/27 3/3 11/11 yasmm.pl 39/39 30/30 30/30 13/13 30/30 4/4 18/18 zebra.pl 27/27 17/17 24/24 12/12 17/17 1/1 14/14