ADAS v4
	positive verification time		time to create one positive satisfaction Witness
Satisfying Views Set v1
FA14.arcv	750 137 735	ns	83 790 168	ns
FA19.arcv	101 756 998	ns	102 683 096	ns
FA22.arcv	493 050 081	ns	38 427 353	ns
FA25.arcv	615 667 871	ns	124 281 266	ns
FA26.arcv	88 579 318	ns	108 265 176	ns
FA27.arcv	519 148 994	ns	94 486 332	ns
FA28.arcv	537 741 722	ns	134 598 088	ns
FA30.arcv	908 990 151	ns	175 116 961	ns
FA33.arcv	75 323 259	ns	91 646 019	ns
FA34.arcv	606 336 503	ns	307 998 685	ns
FA37.arcv	38 877 466	ns	65 917 697	ns
FA38.arcv	345 615 988	ns	68 773 228	ns
Satisfying Views Set v4
FA15.arcv	2 479 638 783	ns	103 626 316	ns
FA19.arcv	99 658 249	ns	87 273 498	ns
FA20.arcv	441 415 750	ns	61 662 746	ns
FA21.arcv	389 932 852	ns	51 534 263	ns
FA22.arcv	471 465 229	ns	109 261 283	ns
FA23.arcv	447 579 590	ns	157 227 748	ns
FA24.arcv	514 867 028	ns	488 289 847	ns
FA25.arcv	591 947 363	ns	122 951 855	ns
FA26.arcv	605 106 779	ns	120 453 979	ns
FA27.arcv	462 655 123	ns	84 400 845	ns
FA28.arcv	85 422 444	ns	91 928 719	ns
FA3.arcv	515 579 675	ns	118 809 146	ns
FA30.arcv	37 260 789	ns	68 875 579	ns
FA31.arcv	338 551 924	ns	68 851 989	ns
FA32.arcv	337 564 188	ns	192 374 189	ns
FA35.arcv	38 049 152	ns	66 391 780	ns
FA4.arcv	389 051 652	ns	104 377 391	ns
FA5.arcv	79 931 300	ns	70 942 748	ns
FA6.arcv	288 750 384	ns	180 870 638	ns
FA65.arcv	336 929 159	ns	86 338 269	ns
FA67.arcv	317 479 964	ns	55 333 776	ns
FA75.arcv	5 914 241	ns	77 955 447	ns
FA77.arcv	637 599 344	ns	100 381 169	ns
FA84.arcv	301 520 566	ns	83 706 842	ns
FA86.arcv	22 324 514	ns	66 766 556	ns
FA99.arcv	36 093 465	ns	134 107 263	ns
Total time for Set v1 and v4	15 353 515 593	ns	4 350 677 950	ns
Average time for Satisfaction	404 039 884	ns	114 491 525	ns
	404,04	ms	114,49	ms
	negative verification time		time to create all negative non-satasfaction Witnesses
Non-Satisfying Views Set v1
FA23.arcv	674 355 613	ns	1 219 144 657	ns
FA24.arcv	665 441 255	ns	1 268 736 931	ns
FA29.arcv	526 630 449	ns	1 213 924 037	ns
FA35.arcv	332 354 982	ns	551 305 973	ns
FA36.arcv	332 523 917	ns	560 949 338	ns
Non-Satisfying Views Set v4
Total time for Set v1 and v4	2531306216	ns	4814060936	ns
Average time for Non-Satisfaction	506 261 243	ns	962 812 187	ns
	506,26	ms	962,81	ms