# # This file is a GNUPLOT plot script. # It was generated automatically by '/home/borowcm/Repositories/nfgen/z3_py/hscripts/stats.pl' # using the Graphics::GnuplotIF extension to perl. # Creation time : Fri Jun 21 19:01:40 2013 # set title 'Max Correlation (0) of HW-MODEL and Datapoints at t=999' set xlabel "Rounds " set ylabel "Curr" set y2label "Model" set y2tics border set grid set key outside bottom set terminal push set terminal postscript color lw 2 set output "HW-MODEL.ps" plot \ '-' using 1:2 with points title "Datapoints",\ '-' using 1:2 with points title "Model" 0 4 1 4 2 4 3 4 4 4 5 4 6 4 7 4 8 4 9 4 10 4 11 4 12 4 13 4 14 4 15 4 16 4 17 4 18 4 19 4 20 4 21 4 22 4 23 4 24 4 25 4 26 4 27 4 28 4 29 4 30 4 31 4 32 4 33 4 34 4 35 4 36 4 37 4 38 4 39 4 40 4 41 4 42 4 43 4 44 4 45 4 46 4 47 4 48 4 49 4 50 4 51 4 52 4 53 4 54 4 55 4 56 4 57 4 58 4 59 4 60 4 61 4 62 4 63 4 64 4 65 4 66 4 67 4 68 4 69 4 70 4 71 4 72 4 73 4 74 4 75 4 76 4 77 4 78 4 79 4 80 4 81 4 82 4 83 4 84 4 85 4 86 4 87 4 88 4 89 4 90 4 91 4 92 4 93 4 94 4 95 4 96 4 97 4 98 4 99 4 100 4 101 4 102 4 103 4 104 4 105 4 106 4 107 4 108 4 109 4 110 4 111 4 112 4 113 4 114 4 115 4 116 4 117 4 118 4 119 4 120 4 121 4 122 4 123 4 124 4 125 4 126 4 127 4 128 4 129 4 130 4 131 4 132 4 133 4 134 4 135 4 136 4 137 4 138 4 139 4 140 4 141 4 142 4 143 4 144 4 145 4 146 4 147 4 148 4 149 4 150 4 151 4 152 4 153 4 154 4 155 4 156 4 157 4 158 4 159 4 160 4 161 4 162 4 163 4 164 4 165 4 166 4 167 4 168 4 169 4 170 4 171 4 172 4 173 4 174 4 175 4 176 4 177 4 178 4 179 4 180 4 181 4 182 4 183 4 184 4 185 4 186 4 187 4 188 4 189 4 190 4 191 4 192 4 193 4 194 4 195 4 196 4 197 4 198 4 199 4 200 4 201 4 202 4 203 4 204 4 205 4 206 4 207 4 208 4 209 4 210 4 211 4 212 4 213 4 214 4 215 4 216 4 217 4 218 4 219 4 220 4 221 4 222 4 223 4 224 4 225 4 226 4 227 4 228 4 229 4 230 4 231 4 232 4 233 4 234 4 235 4 236 4 237 4 238 4 239 4 240 4 241 4 242 4 243 4 244 4 245 4 246 4 247 4 248 4 249 4 250 4 251 4 252 4 253 4 254 4 255 4 256 4 257 4 258 4 259 4 260 4 261 4 262 4 263 4 264 4 265 4 266 4 267 4 268 4 269 4 270 4 271 4 272 4 273 4 274 4 275 4 276 4 277 4 278 4 279 4 280 4 281 4 282 4 283 4 284 4 285 4 286 4 287 4 288 4 289 4 290 4 291 4 292 4 293 4 294 4 295 4 296 4 297 4 298 4 299 4 300 4 301 4 302 4 303 4 304 4 305 4 306 4 307 4 308 4 309 4 310 4 311 4 312 4 313 4 314 4 315 4 316 4 317 4 318 4 319 4 320 4 321 4 322 4 323 4 324 4 325 4 326 4 327 4 328 4 329 4 330 4 331 4 332 4 333 4 334 4 335 4 336 4 337 4 338 4 339 4 340 4 341 4 342 4 343 4 344 4 345 4 346 4 347 4 348 4 349 4 350 4 351 4 352 4 353 4 354 4 355 4 356 4 357 4 358 4 359 4 360 4 361 4 362 4 363 4 364 4 365 4 366 4 367 4 368 4 369 4 370 4 371 4 372 4 373 4 374 4 375 4 376 4 377 4 378 4 379 4 380 4 381 4 382 4 383 4 384 4 385 4 386 4 387 4 388 4 389 4 390 4 391 4 392 4 393 4 394 4 395 4 396 4 397 4 398 4 399 4 400 4 401 4 402 4 403 4 404 4 405 4 406 4 407 4 408 4 409 4 410 4 411 4 412 4 413 4 414 4 415 4 416 4 417 4 418 4 419 4 420 4 421 4 422 4 423 4 424 4 425 4 426 4 427 4 428 4 429 4 430 4 431 4 432 4 433 4 434 4 435 4 436 4 437 4 438 4 439 4 440 4 441 4 442 4 443 4 444 4 445 4 446 4 447 4 448 4 449 4 450 4 451 4 452 4 453 4 454 4 455 4 456 4 457 4 458 4 459 4 460 4 461 4 462 4 463 4 464 4 465 4 466 4 467 4 468 4 469 4 470 4 471 4 472 4 473 4 474 4 475 4 476 4 477 4 478 4 479 4 480 4 481 4 482 4 483 4 484 4 485 4 486 4 487 4 488 4 489 4 490 4 491 4 492 4 493 4 494 4 495 4 496 4 497 4 498 4 499 4 500 4 501 4 502 4 503 4 504 4 505 4 506 4 507 4 508 4 509 4 510 4 511 4 512 4 513 4 514 4 515 4 516 4 517 4 518 4 519 4 520 4 521 4 522 4 523 4 524 4 525 4 526 4 527 4 528 4 529 4 530 4 531 4 532 4 533 4 534 4 535 4 536 4 537 4 538 4 539 4 540 4 541 4 542 4 543 4 544 4 545 4 546 4 547 4 548 4 549 4 550 4 551 4 552 4 553 4 554 4 555 4 556 4 557 4 558 4 559 4 560 4 561 4 562 4 563 4 564 4 565 4 566 4 567 4 568 4 569 4 570 4 571 4 572 4 573 4 574 4 575 4 576 4 577 4 578 4 579 4 580 4 581 4 582 4 583 4 584 4 585 4 586 4 587 4 588 4 589 4 590 4 591 4 592 4 593 4 594 4 595 4 596 4 597 4 598 4 599 4 600 4 601 4 602 4 603 4 604 4 605 4 606 4 607 4 608 4 609 4 610 4 611 4 612 4 613 4 614 4 615 4 616 4 617 4 618 4 619 4 620 4 621 4 622 4 623 4 624 4 625 4 626 4 627 4 628 4 629 4 630 4 631 4 632 4 633 4 634 4 635 4 636 4 637 4 638 4 639 4 640 4 641 4 642 4 643 4 644 4 645 4 646 4 647 4 648 4 649 4 650 4 651 4 652 4 653 4 654 4 655 4 656 4 657 4 658 4 659 4 660 4 661 4 662 4 663 4 664 4 665 4 666 4 667 4 668 4 669 4 670 4 671 4 672 4 673 4 674 4 675 4 676 4 677 4 678 4 679 4 680 4 681 4 682 4 683 4 684 4 685 4 686 4 687 4 688 4 689 4 690 4 691 4 692 4 693 4 694 4 695 4 696 4 697 4 698 4 699 4 700 4 701 4 702 4 703 4 704 4 705 4 706 4 707 4 708 4 709 4 710 4 711 4 712 4 713 4 714 4 715 4 716 4 717 4 718 4 719 4 720 4 721 4 722 4 723 4 724 4 725 4 726 4 727 4 728 4 729 4 730 4 731 4 732 4 733 4 734 4 735 4 736 4 737 4 738 4 739 4 740 4 741 4 742 4 743 4 744 4 745 4 746 4 747 4 748 4 749 4 750 4 751 4 752 4 753 4 754 4 755 4 756 4 757 4 758 4 759 4 760 4 761 4 762 4 763 4 764 4 765 4 766 4 767 4 768 4 769 4 770 4 771 4 772 4 773 4 774 4 775 4 776 4 777 4 778 4 779 4 780 4 781 4 782 4 783 4 784 4 785 4 786 4 787 4 788 4 789 4 790 4 791 4 792 4 793 4 794 4 795 4 796 4 797 4 798 4 799 4 800 4 801 4 802 4 803 4 804 4 805 4 806 4 807 4 808 4 809 4 810 4 811 4 812 4 813 4 814 4 815 4 816 4 817 4 818 4 819 4 820 4 821 4 822 4 823 4 824 4 825 4 826 4 827 4 828 4 829 4 830 4 831 4 832 4 833 4 834 4 835 4 836 4 837 4 838 4 839 4 840 4 841 4 842 4 843 4 844 4 845 4 846 4 847 4 848 4 849 4 850 4 851 4 852 4 853 4 854 4 855 4 856 4 857 4 858 4 859 4 860 4 861 4 862 4 863 4 864 4 865 4 866 4 867 4 868 4 869 4 870 4 871 4 872 4 873 4 874 4 875 4 876 4 877 4 878 4 879 4 880 4 881 4 882 4 883 4 884 4 885 4 886 4 887 4 888 4 889 4 890 4 891 4 892 4 893 4 894 4 895 4 896 4 897 4 898 4 899 4 900 4 901 4 902 4 903 4 904 4 905 4 906 4 907 4 908 4 909 4 910 4 911 4 912 4 913 4 914 4 915 4 916 4 917 4 918 4 919 4 920 4 921 4 922 4 923 4 924 4 925 4 926 4 927 4 928 4 929 4 930 4 931 4 932 4 933 4 934 4 935 4 936 4 937 4 938 4 939 4 940 4 941 4 942 4 943 4 944 4 945 4 946 4 947 4 948 4 949 4 950 4 951 4 952 4 953 4 954 4 955 4 956 4 957 4 958 4 959 4 960 4 961 4 962 4 963 4 964 4 965 4 966 4 967 4 968 4 969 4 970 4 971 4 972 4 973 4 974 4 975 4 976 4 977 4 978 4 979 4 980 4 e 0 2 1 13 2 11 3 3 4 2 5 13 6 2 7 13 8 2 9 13 10 13 11 13 12 11 13 13 14 13 15 3 16 2 17 13 18 11 19 13 20 11 21 3 22 11 23 13 24 11 25 10 26 11 27 13 28 11 29 13 30 11 31 13 32 11 33 13 34 11 35 13 36 11 37 3 38 11 39 13 40 11 41 13 42 2 43 3 44 11 45 13 46 11 47 13 48 13 49 13 50 11 51 13 52 11 53 13 54 11 55 13 56 11 57 11 58 13 59 13 60 11 61 13 62 11 63 13 64 11 65 13 66 13 67 13 68 11 69 13 70 2 71 3 72 11 73 13 74 11 75 11 76 11 77 13 78 11 79 13 80 11 81 13 82 11 83 13 84 11 85 13 86 11 87 13 88 11 89 11 90 11 91 3 92 2 93 13 94 11 95 3 96 11 97 13 98 11 99 13 100 11 101 10 102 11 103 13 104 2 105 13 106 11 107 13 108 11 109 13 110 2 111 3 112 11 113 13 114 11 115 13 116 11 117 13 118 2 119 13 120 13 121 11 122 11 123 11 124 11 125 13 126 11 127 13 128 13 129 13 130 11 131 13 132 11 133 3 134 2 135 11 136 11 137 3 138 11 139 13 140 11 141 13 142 11 143 10 144 2 145 13 146 11 147 13 148 11 149 3 150 2 151 10 152 13 153 13 154 2 155 3 156 11 157 3 158 13 159 13 160 2 161 13 162 2 163 13 164 2 165 13 166 11 167 13 168 2 169 3 170 2 171 3 172 11 173 13 174 11 175 3 176 11 177 13 178 11 179 13 180 11 181 3 182 11 183 13 184 13 185 13 186 11 187 3 188 11 189 13 190 2 191 10 192 11 193 10 194 11 195 10 196 11 197 13 198 11 199 13 200 11 201 13 202 11 203 13 204 11 205 13 206 13 207 13 208 11 209 13 210 11 211 13 212 11 213 13 214 11 215 13 216 11 217 13 218 13 219 13 220 11 221 3 222 2 223 11 224 11 225 13 226 11 227 13 228 2 229 3 230 11 231 3 232 11 233 10 234 11 235 13 236 13 237 13 238 11 239 10 240 11 241 13 242 11 243 3 244 11 245 13 246 11 247 13 248 11 249 13 250 11 251 13 252 11 253 3 254 11 255 13 256 11 257 13 258 11 259 13 260 11 261 13 262 11 263 3 264 11 265 11 266 11 267 13 268 11 269 11 270 2 271 13 272 11 273 13 274 11 275 13 276 2 277 13 278 11 279 13 280 11 281 13 282 11 283 13 284 11 285 13 286 11 287 13 288 11 289 13 290 11 291 3 292 11 293 13 294 11 295 3 296 13 297 13 298 2 299 13 300 13 301 13 302 11 303 13 304 11 305 11 306 11 307 13 308 2 309 13 310 13 311 13 312 11 313 13 314 11 315 13 316 11 317 13 318 11 319 3 320 11 321 3 322 11 323 13 324 2 325 8 326 16 327 7 328 11 329 11 330 11 331 13 332 11 333 13 334 11 335 3 336 11 337 11 338 11 339 3 340 11 341 13 342 11 343 10 344 11 345 13 346 11 347 3 348 11 349 13 350 11 351 13 352 11 353 13 354 11 355 13 356 11 357 3 358 11 359 13 360 11 361 10 362 11 363 3 364 11 365 13 366 11 367 13 368 11 369 13 370 11 371 13 372 11 373 3 374 2 375 13 376 11 377 13 378 11 379 3 380 11 381 13 382 13 383 13 384 11 385 13 386 11 387 3 388 11 389 13 390 11 391 13 392 11 393 13 394 11 395 13 396 2 397 13 398 2 399 13 400 11 401 13 402 13 403 13 404 2 405 13 406 11 407 13 408 11 409 13 410 11 411 13 412 11 413 13 414 11 415 13 416 11 417 11 418 11 419 13 420 11 421 13 422 11 423 13 424 11 425 13 426 11 427 3 428 11 429 13 430 11 431 13 432 11 433 13 434 11 435 13 436 11 437 3 438 11 439 13 440 11 441 13 442 13 443 3 444 11 445 13 446 11 447 13 448 13 449 3 450 11 451 13 452 2 453 3 454 11 455 3 456 2 457 13 458 11 459 13 460 2 461 13 462 11 463 10 464 13 465 13 466 11 467 3 468 11 469 13 470 11 471 13 472 11 473 13 474 11 475 13 476 13 477 13 478 11 479 13 480 11 481 13 482 11 483 13 484 11 485 13 486 13 487 13 488 11 489 13 490 2 491 10 492 11 493 13 494 11 495 11 496 2 497 8 498 16 499 7 500 11 501 13 502 11 503 3 504 11 505 10 506 11 507 13 508 11 509 3 510 11 511 13 512 11 513 13 514 2 515 3 516 11 517 13 518 11 519 3 520 11 521 13 522 11 523 13 524 11 525 3 526 11 527 13 528 11 529 13 530 11 531 3 532 11 533 13 534 11 535 13 536 13 537 3 538 11 539 13 540 11 541 11 542 2 543 13 544 11 545 10 546 11 547 13 548 11 549 13 550 13 551 13 552 11 553 13 554 11 555 13 556 11 557 11 558 11 559 13 560 2 561 13 562 11 563 13 564 11 565 10 566 11 567 3 568 2 569 13 570 11 571 13 572 11 573 13 574 11 575 13 576 11 577 13 578 11 579 11 580 11 581 3 582 11 583 13 584 11 585 3 586 11 587 13 588 11 589 13 590 11 591 13 592 13 593 8 594 12 595 7 596 13 597 3 598 11 599 11 600 13 601 13 602 11 603 13 604 11 605 13 606 2 607 13 608 11 609 13 610 11 611 3 612 11 613 11 614 11 615 13 616 11 617 13 618 11 619 13 620 11 621 3 622 11 623 13 624 11 625 13 626 11 627 13 628 11 629 3 630 11 631 13 632 11 633 13 634 11 635 13 636 11 637 13 638 13 639 13 640 11 641 13 642 11 643 13 644 11 645 13 646 11 647 13 648 11 649 10 650 11 651 10 652 11 653 3 654 2 655 13 656 11 657 3 658 11 659 13 660 2 661 13 662 2 663 13 664 11 665 3 666 11 667 13 668 11 669 13 670 13 671 8 672 16 673 0 674 11 675 13 676 11 677 13 678 11 679 13 680 11 681 13 682 11 683 11 684 11 685 10 686 11 687 13 688 2 689 13 690 11 691 3 692 2 693 13 694 2 695 3 696 11 697 3 698 13 699 8 700 16 701 7 702 11 703 13 704 11 705 13 706 11 707 13 708 11 709 13 710 11 711 13 712 11 713 13 714 11 715 3 716 11 717 13 718 13 719 13 720 11 721 13 722 11 723 13 724 11 725 13 726 11 727 13 728 11 729 3 730 11 731 3 732 2 733 13 734 2 735 13 736 11 737 13 738 11 739 13 740 11 741 13 742 11 743 13 744 11 745 11 746 11 747 13 748 11 749 13 750 11 751 13 752 13 753 13 754 11 755 13 756 11 757 13 758 2 759 13 760 11 761 10 762 11 763 3 764 11 765 13 766 11 767 13 768 11 769 13 770 2 771 10 772 11 773 13 774 11 775 10 776 11 777 13 778 11 779 13 780 11 781 13 782 11 783 13 784 2 785 13 786 11 787 13 788 11 789 13 790 2 791 10 792 11 793 13 794 2 795 13 796 11 797 13 798 11 799 13 800 11 801 13 802 11 803 13 804 11 805 13 806 11 807 13 808 11 809 13 810 2 811 13 812 11 813 13 814 2 815 13 816 11 817 10 818 2 819 3 820 11 821 13 822 11 823 3 824 11 825 13 826 11 827 13 828 11 829 13 830 11 831 10 832 11 833 13 834 11 835 10 836 2 837 13 838 2 839 13 840 11 841 10 842 11 843 13 844 11 845 13 846 11 847 13 848 11 849 13 850 11 851 10 852 11 853 11 854 11 855 13 856 11 857 13 858 11 859 13 860 11 861 13 862 11 863 13 864 11 865 13 866 11 867 11 868 11 869 13 870 2 871 3 872 11 873 13 874 2 875 13 876 11 877 3 878 11 879 13 880 11 881 13 882 11 883 13 884 11 885 10 886 2 887 13 888 11 889 13 890 11 891 13 892 11 893 13 894 11 895 13 896 2 897 3 898 11 899 13 900 11 901 11 902 13 903 11 904 11 905 13 906 11 907 13 908 11 909 13 910 11 911 13 912 2 913 13 914 11 915 13 916 11 917 13 918 11 919 13 920 11 921 13 922 11 923 13 924 11 925 11 926 11 927 13 928 11 929 13 930 11 931 10 932 2 933 13 934 11 935 13 936 11 937 13 938 2 939 13 940 11 941 13 942 11 943 13 944 11 945 13 946 2 947 13 948 11 949 3 950 11 951 13 952 11 953 13 954 2 955 13 956 11 957 13 958 2 959 13 960 11 961 13 962 11 963 13 964 11 965 13 966 11 967 13 968 11 969 13 970 11 971 13 972 11 973 13 974 2 975 13 976 2 977 13 978 2 979 13 980 11 e