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