functional.sqlancer.doi_10_1145_3428279_example_02_test. Wrong result of UNION DISTINCT
Cross-report history for last 30 runs. Outcomes:
age rank mode fb60 fb50 fb40 fb30
win: snapshot, outcome nix: snapshot, outcome win: snapshot, outcome nix: snapshot, outcome win: snapshot, outcome nix: snapshot, outcome win: snapshot, outcome nix: snapshot, outcome
0 CS 6.0.0.892 2025.07.02 10f7dc35 P 6.0.0.892 2025.07.02 10f7dc35 P 5.0.3.1676 2025.07.01 88ba7c31 P 5.0.3.1676 2025.07.01 88ba7c31 P 4.0.6.3215 2025.06.25 6461d039 P 4.0.6.3215 2025.06.25 6461d039 P 3.0.13.33814 2025.06.21 85255487 P 3.0.13.33814 2025.06.21 85255487 P
SS P P P P P P P P
1 CS 6.0.0.889 2025.07.02 4b4e67f1 P 6.0.0.889 2025.07.01 969ac2c0 P 5.0.3.1675 2025.06.27 1bb2c1e3 P 5.0.3.1675 2025.06.27 1bb2c1e3 P 4.0.6.3214 2025.06.21 e11f62c4 P 4.0.6.3214 2025.06.21 e11f62c4 P 3.0.13.33813 2025.06.14 222a910a P 3.0.13.33813 2025.06.14 222a910a P
SS P P P P P P P P
2 CS 6.0.0.889 2025.07.01 969ac2c0 P 6.0.0.884 2025.06.30 f7e5f554 P 5.0.3.1674 2025.06.26 d366ddff P 5.0.3.1674 2025.06.26 d366ddff P 4.0.6.3213 2025.06.14 f015c288 P 4.0.6.3213 2025.06.14 f015c288 P 3.0.13.33811 2025.05.07 16491678 P 3.0.13.33811 2025.05.07 16491678 P
SS P P P P P P P P
3 CS 6.0.0.881 2025.06.27 7035d6ee P 6.0.0.881 2025.06.27 7035d6ee P 5.0.3.1673 2025.06.25 f0e1fa0e P 5.0.3.1673 2025.06.25 f0e1fa0e P 4.0.6.3212 2025.06.11 bc50d79c P 4.0.6.3212 2025.06.11 bc50d79c P X X X X
SS P P P P P P X X
4 CS 6.0.0.877 2025.06.26 8e38f19a P 6.0.0.877 2025.06.26 8e38f19a P 5.0.3.1668 2025.06.21 b8e226ae P 5.0.3.1668 2025.06.21 b8e226ae P 4.0.6.3208 2025.06.10 19fe315b P 4.0.6.3208 2025.06.10 19fe315b P X X X X
SS P P P P P P X X
5 CS 6.0.0.876 2025.06.25 b1becab4 P 6.0.0.876 2025.06.25 b1becab4 P 5.0.3.1667 2025.06.15 4374a590 P 5.0.3.1667 2025.06.15 4374a590 P 4.0.6.3207 2025.06.07 205ffd73 P 4.0.6.3207 2025.06.07 205ffd73 P X X X X
SS P P P P P P X X
6 CS 6.0.0.863 2025.06.24 c3c20114 P 6.0.0.863 2025.06.24 c3c20114 P 5.0.3.1666 2025.06.14 97178d05 P 5.0.3.1666 2025.06.14 97178d05 P 4.0.6.3206 2025.05.22 d7d100d1 P 4.0.6.3206 2025.05.22 d7d100d1 P X X X X
SS P P P P P P X X
7 CS 6.0.0.858 2025.06.24 cbbbf3b9 P 6.0.0.858 2025.06.23 8d6f7a4b P 5.0.3.1665 2025.06.11 d8b62a16 P 5.0.3.1665 2025.06.11 d8b62a16 P X X X X X X X X
SS P P P P X X X X
8 CS 6.0.0.858 2025.06.23 d377cb29 P 6.0.0.849 2025.06.20 7b79c018 P 5.0.3.1661 2025.06.10 cfcf0e8b P 5.0.3.1661 2025.06.10 cfcf0e8b P X X X X X X X X
SS P P P P X X X X
9 CS 6.0.0.854 2025.06.23 10b585be P 6.0.0.848 2025.06.19 c483c096 P 5.0.3.1660 2025.06.07 db691d3f P 5.0.3.1660 2025.06.07 db691d3f P X X X X X X X X
SS P P P P X X X X
10 CS 6.0.0.849 2025.06.20 7b79c018 P 6.0.0.845 2025.06.18 22b126f7 P 5.0.3.1659 2025.05.28 f4c0f85d P 5.0.3.1659 2025.05.28 f4c0f85d P X X X X X X X X
SS P P P P X X X X
11 CS 6.0.0.848 2025.06.19 c483c096 P 6.0.0.843 2025.06.16 995f41be P X X X X X X X X X X X X
SS P P X X X X X X
12 CS 6.0.0.845 2025.06.18 20191feb P 6.0.0.840 2025.06.14 29bca14f P X X X X X X X X X X X X
SS P P X X X X X X
13 CS 6.0.0.843 2025.06.16 995f41be P 6.0.0.838 2025.06.13 0e28a75e P X X X X X X X X X X X X
SS P P X X X X X X
14 CS 6.0.0.840 2025.06.14 29bca14f P 6.0.0.835 2025.06.12 2cf29c17 P X X X X X X X X X X X X
SS P P X X X X X X
15 CS 6.0.0.838 2025.06.13 0e28a75e P 6.0.0.834 2025.06.11 e889ff12 P X X X X X X X X X X X X
SS P P X X X X X X
16 CS 6.0.0.834 2025.06.11 e889ff12 P 6.0.0.800 2025.06.10 1f226fc8 P X X X X X X X X X X X X
SS P P X X X X X X
17 CS 6.0.0.800 2025.06.10 1f226fc8 P 6.0.0.799 2025.06.07 be644d92 P X X X X X X X X X X X X
SS P P X X X X X X
18 CS 6.0.0.799 2025.06.07 be644d92 P 6.0.0.797 2025.06.06 303e8d4b P X X X X X X X X X X X X
SS P P X X X X X X
19 CS 6.0.0.797 2025.06.06 303e8d4b P 6.0.0.795 2025.05.29 7a71a8ed P X X X X X X X X X X X X
SS P P X X X X X X
20 CS 6.0.0.795 2025.05.29 7a71a8ed P X X X X X X X X X X X X X X
SS P X X X X X X X

Cross-report history for last 30 runs. Durations, ms:
mode age rank windows linux
fb60: snapshot, run_ms fb50: snapshot, run_ms fb40: snapshot, run_ms fb30: snapshot, run_ms fb60: snapshot, run_ms fb50: snapshot, run_ms fb40: snapshot, run_ms fb30: snapshot, run_ms
CS 0 6.0.0.892 2025.07.02 10f7dc35 594 5.0.3.1676 2025.07.01 88ba7c31 614 4.0.6.3215 2025.06.25 6461d039 638 3.0.13.33814 2025.06.21 85255487 558 6.0.0.892 2025.07.02 10f7dc35 801 5.0.3.1676 2025.07.01 88ba7c31 718 4.0.6.3215 2025.06.25 6461d039 644 3.0.13.33814 2025.06.21 85255487 755
1 6.0.0.889 2025.07.02 4b4e67f1 597 5.0.3.1675 2025.06.27 1bb2c1e3 578 4.0.6.3214 2025.06.21 e11f62c4 664 3.0.13.33813 2025.06.14 222a910a 517 6.0.0.889 2025.07.01 969ac2c0 765 5.0.3.1675 2025.06.27 1bb2c1e3 634 4.0.6.3214 2025.06.21 e11f62c4 585 3.0.13.33813 2025.06.14 222a910a 634
2 6.0.0.889 2025.07.01 969ac2c0 590 5.0.3.1674 2025.06.26 d366ddff 616 4.0.6.3213 2025.06.14 f015c288 627 3.0.13.33811 2025.05.07 16491678 537 6.0.0.884 2025.06.30 f7e5f554 642 5.0.3.1674 2025.06.26 d366ddff 679 4.0.6.3213 2025.06.14 f015c288 649 3.0.13.33811 2025.05.07 16491678 652
3 6.0.0.881 2025.06.27 7035d6ee 626 5.0.3.1673 2025.06.25 f0e1fa0e 614 4.0.6.3212 2025.06.11 bc50d79c 634 X X 6.0.0.881 2025.06.27 7035d6ee 744 5.0.3.1673 2025.06.25 f0e1fa0e 658 4.0.6.3212 2025.06.11 bc50d79c 506 X X
4 6.0.0.877 2025.06.26 8e38f19a 602 5.0.3.1668 2025.06.21 b8e226ae 586 4.0.6.3208 2025.06.10 19fe315b 600 X X 6.0.0.877 2025.06.26 8e38f19a 586 5.0.3.1668 2025.06.21 b8e226ae 688 4.0.6.3208 2025.06.10 19fe315b 721 X X
5 6.0.0.876 2025.06.25 b1becab4 599 5.0.3.1667 2025.06.15 4374a590 582 4.0.6.3207 2025.06.07 205ffd73 609 X X 6.0.0.876 2025.06.25 b1becab4 678 5.0.3.1667 2025.06.15 4374a590 665 4.0.6.3207 2025.06.07 205ffd73 720 X X
6 6.0.0.863 2025.06.24 c3c20114 617 5.0.3.1666 2025.06.14 97178d05 609 4.0.6.3206 2025.05.22 d7d100d1 631 X X 6.0.0.863 2025.06.24 c3c20114 633 5.0.3.1666 2025.06.14 97178d05 638 4.0.6.3206 2025.05.22 d7d100d1 690 X X
7 6.0.0.858 2025.06.24 cbbbf3b9 636 5.0.3.1665 2025.06.11 d8b62a16 630 X X X X 6.0.0.858 2025.06.23 8d6f7a4b 700 5.0.3.1665 2025.06.11 d8b62a16 751 X X X X
8 6.0.0.858 2025.06.23 d377cb29 607 5.0.3.1661 2025.06.10 cfcf0e8b 580 X X X X 6.0.0.849 2025.06.20 7b79c018 742 5.0.3.1661 2025.06.10 cfcf0e8b 787 X X X X
9 6.0.0.854 2025.06.23 10b585be 631 5.0.3.1660 2025.06.07 db691d3f 641 X X X X 6.0.0.848 2025.06.19 c483c096 668 5.0.3.1660 2025.06.07 db691d3f 779 X X X X
10 6.0.0.849 2025.06.20 7b79c018 590 5.0.3.1659 2025.05.28 f4c0f85d 617 X X X X 6.0.0.845 2025.06.18 22b126f7 668 5.0.3.1659 2025.05.28 f4c0f85d 767 X X X X
11 6.0.0.848 2025.06.19 c483c096 625 X X X X X X 6.0.0.843 2025.06.16 995f41be 689 X X X X X X
12 6.0.0.845 2025.06.18 20191feb 606 X X X X X X 6.0.0.840 2025.06.14 29bca14f 701 X X X X X X
13 6.0.0.843 2025.06.16 995f41be 601 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 676 X X X X X X
14 6.0.0.840 2025.06.14 29bca14f 587 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 675 X X X X X X
15 6.0.0.838 2025.06.13 0e28a75e 621 X X X X X X 6.0.0.834 2025.06.11 e889ff12 688 X X X X X X
16 6.0.0.834 2025.06.11 e889ff12 598 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 631 X X X X X X
17 6.0.0.800 2025.06.10 1f226fc8 554 X X X X X X 6.0.0.799 2025.06.07 be644d92 712 X X X X X X
18 6.0.0.799 2025.06.07 be644d92 564 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 760 X X X X X X
19 6.0.0.797 2025.06.06 303e8d4b 583 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 715 X X X X X X
20 6.0.0.795 2025.05.29 7a71a8ed 561 X X X X X X X X X X X X X X
SS 0 6.0.0.892 2025.07.02 10f7dc35 406 5.0.3.1676 2025.07.01 88ba7c31 394 4.0.6.3215 2025.06.25 6461d039 406 3.0.13.33814 2025.06.21 85255487 329 6.0.0.892 2025.07.02 10f7dc35 638 5.0.3.1676 2025.07.01 88ba7c31 376 4.0.6.3215 2025.06.25 6461d039 472 3.0.13.33814 2025.06.21 85255487 493
1 6.0.0.889 2025.07.02 4b4e67f1 425 5.0.3.1675 2025.06.27 1bb2c1e3 380 4.0.6.3214 2025.06.21 e11f62c4 425 3.0.13.33813 2025.06.14 222a910a 345 6.0.0.889 2025.07.01 969ac2c0 537 5.0.3.1675 2025.06.27 1bb2c1e3 399 4.0.6.3214 2025.06.21 e11f62c4 391 3.0.13.33813 2025.06.14 222a910a 435
2 6.0.0.889 2025.07.01 969ac2c0 713 5.0.3.1674 2025.06.26 d366ddff 386 4.0.6.3213 2025.06.14 f015c288 422 3.0.13.33811 2025.05.07 16491678 328 6.0.0.884 2025.06.30 f7e5f554 329 5.0.3.1674 2025.06.26 d366ddff 353 4.0.6.3213 2025.06.14 f015c288 425 3.0.13.33811 2025.05.07 16491678 458
3 6.0.0.881 2025.06.27 7035d6ee 601 5.0.3.1673 2025.06.25 f0e1fa0e 390 4.0.6.3212 2025.06.11 bc50d79c 415 X X 6.0.0.881 2025.06.27 7035d6ee 705 5.0.3.1673 2025.06.25 f0e1fa0e 334 4.0.6.3212 2025.06.11 bc50d79c 458 X X
4 6.0.0.877 2025.06.26 8e38f19a 405 5.0.3.1668 2025.06.21 b8e226ae 388 4.0.6.3208 2025.06.10 19fe315b 424 X X 6.0.0.877 2025.06.26 8e38f19a 390 5.0.3.1668 2025.06.21 b8e226ae 381 4.0.6.3208 2025.06.10 19fe315b 477 X X
5 6.0.0.876 2025.06.25 b1becab4 409 5.0.3.1667 2025.06.15 4374a590 476 4.0.6.3207 2025.06.07 205ffd73 431 X X 6.0.0.876 2025.06.25 b1becab4 564 5.0.3.1667 2025.06.15 4374a590 423 4.0.6.3207 2025.06.07 205ffd73 525 X X
6 6.0.0.863 2025.06.24 c3c20114 404 5.0.3.1666 2025.06.14 97178d05 384 4.0.6.3206 2025.05.22 d7d100d1 415 X X 6.0.0.863 2025.06.24 c3c20114 420 5.0.3.1666 2025.06.14 97178d05 431 4.0.6.3206 2025.05.22 d7d100d1 552 X X
7 6.0.0.858 2025.06.24 cbbbf3b9 391 5.0.3.1665 2025.06.11 d8b62a16 393 X X X X 6.0.0.858 2025.06.23 8d6f7a4b 552 5.0.3.1665 2025.06.11 d8b62a16 352 X X X X
8 6.0.0.858 2025.06.23 d377cb29 505 5.0.3.1661 2025.06.10 cfcf0e8b 378 X X X X 6.0.0.849 2025.06.20 7b79c018 451 5.0.3.1661 2025.06.10 cfcf0e8b 453 X X X X
9 6.0.0.854 2025.06.23 10b585be 405 5.0.3.1660 2025.06.07 db691d3f 376 X X X X 6.0.0.848 2025.06.19 c483c096 692 5.0.3.1660 2025.06.07 db691d3f 408 X X X X
10 6.0.0.849 2025.06.20 7b79c018 401 5.0.3.1659 2025.05.28 f4c0f85d 393 X X X X 6.0.0.845 2025.06.18 22b126f7 601 5.0.3.1659 2025.05.28 f4c0f85d 489 X X X X
11 6.0.0.848 2025.06.19 c483c096 390 X X X X X X 6.0.0.843 2025.06.16 995f41be 700 X X X X X X
12 6.0.0.845 2025.06.18 20191feb 407 X X X X X X 6.0.0.840 2025.06.14 29bca14f 500 X X X X X X
13 6.0.0.843 2025.06.16 995f41be 416 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 624 X X X X X X
14 6.0.0.840 2025.06.14 29bca14f 409 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 349 X X X X X X
15 6.0.0.838 2025.06.13 0e28a75e 423 X X X X X X 6.0.0.834 2025.06.11 e889ff12 645 X X X X X X
16 6.0.0.834 2025.06.11 e889ff12 429 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 632 X X X X X X
17 6.0.0.800 2025.06.10 1f226fc8 364 X X X X X X 6.0.0.799 2025.06.07 be644d92 699 X X X X X X
18 6.0.0.799 2025.06.07 be644d92 380 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 363 X X X X X X
19 6.0.0.797 2025.06.06 303e8d4b 375 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 329 X X X X X X
20 6.0.0.795 2025.05.29 7a71a8ed 377 X X X X X X X X X X X X X X