ADAS v3
positive verification time time to create one positive satisfaction Witness
Satisfying Views Set v1
FA14.arcv   2 799 473 563 ns    180 125 651 ns
FA25.arcv   1 612 764 018 ns    383 784 612 ns
FA27.arcv   1 990 565 521 ns    201 657 236 ns
FA30.arcv   1 559 489 421 ns    450 883 331 ns
FA38.arcv   1 183 900 051 ns    210 071 637 ns
Satisfying Views Set v4
FA23.arcv   2 201 448 350 ns    867 542 896 ns
FA24.arcv   2 030 827 948 ns   2 633 941 372 ns
FA27.arcv   1 817 309 887 ns    450 453 765 ns
FA31.arcv   1 302 620 165 ns    353 799 817 ns
FA6.arcv    969 451 707 ns    631 071 001 ns
FA75.arcv    11 312 547 ns    275 801 755 ns
FA86.arcv    34 760 249 ns    153 027 586 ns
Total time for Set v1 and v4   17 513 923 427 ns   6 792 160 659 ns
Average time for Satisfaction   1 459 493 619 ns    566 013 388 ns
1.459,49 ms 566,01 ms
negative verification time time to create all negative non-satasfaction Witnesses
Non-Satisfying Views Set v1
FA19.arcv    346 088 549 ns   9 219 592 867 ns
FA22.arcv   1 811 755 964 ns   5 336 977 482 ns
FA23.arcv   1 631 465 183 ns   11 928 356 401 ns
FA24.arcv   1 667 889 288 ns   4 171 003 549 ns
FA26.arcv    246 795 184 ns   5 591 848 817 ns
FA28.arcv   1 696 936 191 ns   5 639 255 210 ns
FA29.arcv   1 691 816 780 ns   5 197 700 203 ns
FA33.arcv    56 535 344 ns   4 752 727 309 ns
FA34.arcv   1 002 402 376 ns   2 663 982 480 ns
FA35.arcv   1 143 568 376 ns   6 861 807 862 ns
FA36.arcv   1 109 897 833 ns   3 800 018 035 ns
FA37.arcv    55 627 129 ns   4 811 308 895 ns
Non-Satisfying Views Set v4
FA15.arcv   6 775 152 270 ns    22 387 674 ns
FA19.arcv    232 850 068 ns   7 901 431 837 ns
FA20.arcv   1 932 733 868 ns   5 376 298 212 ns
FA21.arcv   2 138 170 451 ns   9 666 516 121 ns
FA22.arcv   2 125 506 804 ns   9 791 245 598 ns
FA25.arcv   2 017 120 634 ns   5 136 009 683 ns
FA26.arcv   2 089 346 374 ns   9 380 971 314 ns
FA28.arcv    306 923 057 ns   9 505 684 049 ns
FA3.arcv   1 594 087 585 ns   8 637 332 244 ns
FA30.arcv    50 118 102 ns   8 104 505 233 ns
FA32.arcv   1 361 075 811 ns   8 245 492 027 ns
FA35.arcv    64 710 041 ns   8 145 681 204 ns
FA4.arcv   1 034 351 229 ns    3 177 422 ns
FA5.arcv    38 338 701 ns    1 829 366 ns
FA65.arcv   1 314 264 494 ns   8 316 544 734 ns
FA67.arcv   1 268 583 215 ns   8 309 564 376 ns
FA77.arcv   2 461 610 695 ns   7 238 676 798 ns
FA84.arcv   1 106 678 178 ns    2 457 165 ns
FA99.arcv    5 952 671 ns    2 159 627 ns
Total time for Set v1 and v4   40 378 352 445 ns   183 762 543 794 ns
Average time for Non-Satisfaction   1 302 527 498 ns   5 927 823 993 ns
1.302,53 ms 5.927,82 ms