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 |
|
|
|
|
|