ADAS v2
	positive verification time		time to create one positive satisfaction Witness
Satisfying Views Set v1
FA14.arcv	3142729789	ns	183291277	ns
FA25.arcv	1803037175	ns	514979271	ns
FA27.arcv	2187723534	ns	219687987	ns
FA30.arcv	2111294589	ns	716196668	ns
FA38.arcv	1323611843	ns	250141159	ns
Satisfying Views Set v4
FA23.arcv	2286551187	ns	1523150544	ns
FA24.arcv	1942190415	ns	1453652874	ns
FA27.arcv	1943854271	ns	410080236	ns
FA31.arcv	1332652901	ns	384827899	ns
FA75.arcv	12525530	ns	499375246	ns
Total time for Set v1 and v4	18 086 171 234	ns	6 155 383 161	ns
Average time for Satisfaction	1 808 617 123	ns	615 538 316	ns
	1.808,62	ms	615,54	ms
	negative verification time		time to create all negative non-satasfaction Witnesses
Non-Satisfying Views Set v1
FA19.arcv	296 804 468	ns	12 010 391 016	ns
FA22.arcv	1 871 029 270	ns	6 322 232 589	ns
FA23.arcv	2 224 769 731	ns	12 137 403 014	ns
FA24.arcv	1 837 631 914	ns	6 439 046 858	ns
FA26.arcv	218 727 266	ns	6 649 886 311	ns
FA28.arcv	1 785 386 146	ns	6 642 069 269	ns
FA29.arcv	1 604 410 874	ns	3 590 740 467	ns
FA33.arcv	29 440 704	ns	4 352 925 845	ns
FA34.arcv	960 024 077	ns	4 932 671 849	ns
FA35.arcv	1 092 647 073	ns	4 986 885 480	ns
FA36.arcv	937 912 254	ns	2 683 010 480	ns
FA37.arcv	29 060 981	ns	4 940 373 986	ns
Non-Satisfying Views Set v4
FA15.arcv	5 106 570 120	ns	2 697 026 366	ns
FA19.arcv	291 553 028	ns	8 704 530 651	ns
FA20.arcv	1 607 261 079	ns	6 177 247 290	ns
FA21.arcv	1 925 449 123	ns	6 235 629 503	ns
FA22.arcv	1 917 484 453	ns	11 075 575 900	ns
FA25.arcv	2 099 563 509	ns	16 477 961 992	ns
FA26.arcv	2 144 198 838	ns	15 700 983 779	ns
FA28.arcv	249 046 507	ns	11 732 586 773	ns
FA3.arcv	2 153 140 209	ns	10 983 738 498	ns
FA30.arcv	31 836 611	ns	8 724 166 664	ns
FA32.arcv	1 193 269 468	ns	4 594 818 113	ns
FA35.arcv	32 525 667	ns	8 684 050 343	ns
FA4.arcv	1 059 863 056	ns	6 658 849	ns
FA5.arcv	12 455 521	ns	3 689 552	ns
FA6.arcv	238 179 506	ns	2 035 209	ns
FA65.arcv	1 302 069 985	ns	13 387 441 824	ns
FA67.arcv	1 165 265 091	ns	7 091 391 095	ns
FA77.arcv	2 281 286 812	ns	4 633 801 734	ns
FA84.arcv	1 023 672 187	ns	2 045 862	ns
FA86.arcv	7 977 987	ns	2 625 720	ns
FA99.arcv	7 198 375	ns	2 079 344	ns
Total time for Set v1 and v4	38 737 711 890	ns	212 607 722 225	ns
Average time for Non-Satisfaction	1 173 870 057	ns	6 442 658 249	ns
	1173,87	ms	6442,66	ms