functional.sqlancer.doi_10_1145_3428279_example_15_test. Wrong evaluation of MIN when bitwise shift is applied to the source value
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.884 2025.07.01 44e00829 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 X X X X X X X X
SS P P P P X X X X
1 CS 6.0.0.881 2025.06.27 7035d6ee 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 X X X X X X X X
SS P P P P X X X X
2 CS 6.0.0.877 2025.06.26 8e38f19a 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 X X X X X X X X
SS P P P P X X X X
3 CS 6.0.0.876 2025.06.25 b1becab4 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 X X X X X X X X
SS P P P P X X X X
4 CS 6.0.0.863 2025.06.24 c3c20114 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 X X X X X X X X
SS P P P P X X X X
5 CS 6.0.0.858 2025.06.24 cbbbf3b9 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 X X X X X X X X
SS P P P P X X X X
6 CS 6.0.0.858 2025.06.23 d377cb29 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
7 CS 6.0.0.854 2025.06.23 10b585be 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
8 CS 6.0.0.849 2025.06.20 7b79c018 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
9 CS 6.0.0.848 2025.06.19 c483c096 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
10 CS 6.0.0.845 2025.06.18 20191feb 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
11 CS 6.0.0.843 2025.06.16 995f41be 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
12 CS 6.0.0.840 2025.06.14 29bca14f 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
13 CS 6.0.0.838 2025.06.13 0e28a75e 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
14 CS 6.0.0.834 2025.06.11 e889ff12 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
15 CS 6.0.0.800 2025.06.10 1f226fc8 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
16 CS 6.0.0.799 2025.06.07 be644d92 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
17 CS 6.0.0.797 2025.06.06 303e8d4b 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
18 CS 6.0.0.795 2025.05.29 7a71a8ed 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

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.884 2025.07.01 44e00829 618 5.0.3.1675 2025.06.27 1bb2c1e3 581 X X X X 6.0.0.889 2025.07.01 969ac2c0 692 5.0.3.1675 2025.06.27 1bb2c1e3 661 X X X X
1 6.0.0.881 2025.06.27 7035d6ee 590 5.0.3.1674 2025.06.26 d366ddff 574 X X X X 6.0.0.884 2025.06.30 f7e5f554 740 5.0.3.1674 2025.06.26 d366ddff 631 X X X X
2 6.0.0.877 2025.06.26 8e38f19a 597 5.0.3.1673 2025.06.25 f0e1fa0e 577 X X X X 6.0.0.881 2025.06.27 7035d6ee 743 5.0.3.1673 2025.06.25 f0e1fa0e 630 X X X X
3 6.0.0.876 2025.06.25 b1becab4 585 5.0.3.1668 2025.06.21 b8e226ae 573 X X X X 6.0.0.877 2025.06.26 8e38f19a 645 5.0.3.1668 2025.06.21 b8e226ae 655 X X X X
4 6.0.0.863 2025.06.24 c3c20114 612 5.0.3.1667 2025.06.15 4374a590 588 X X X X 6.0.0.876 2025.06.25 b1becab4 613 5.0.3.1667 2025.06.15 4374a590 681 X X X X
5 6.0.0.858 2025.06.24 cbbbf3b9 617 5.0.3.1666 2025.06.14 97178d05 586 X X X X 6.0.0.863 2025.06.24 c3c20114 651 5.0.3.1666 2025.06.14 97178d05 660 X X X X
6 6.0.0.858 2025.06.23 d377cb29 609 5.0.3.1665 2025.06.11 d8b62a16 603 X X X X 6.0.0.858 2025.06.23 8d6f7a4b 767 5.0.3.1665 2025.06.11 d8b62a16 726 X X X X
7 6.0.0.854 2025.06.23 10b585be 599 5.0.3.1661 2025.06.10 cfcf0e8b 592 X X X X 6.0.0.849 2025.06.20 7b79c018 645 5.0.3.1661 2025.06.10 cfcf0e8b 727 X X X X
8 6.0.0.849 2025.06.20 7b79c018 595 5.0.3.1660 2025.06.07 db691d3f 570 X X X X 6.0.0.848 2025.06.19 c483c096 684 5.0.3.1660 2025.06.07 db691d3f 821 X X X X
9 6.0.0.848 2025.06.19 c483c096 593 5.0.3.1659 2025.05.28 f4c0f85d 576 X X X X 6.0.0.845 2025.06.18 22b126f7 695 5.0.3.1659 2025.05.28 f4c0f85d 800 X X X X
10 6.0.0.845 2025.06.18 20191feb 591 X X X X X X 6.0.0.843 2025.06.16 995f41be 708 X X X X X X
11 6.0.0.843 2025.06.16 995f41be 586 X X X X X X 6.0.0.840 2025.06.14 29bca14f 771 X X X X X X
12 6.0.0.840 2025.06.14 29bca14f 589 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 672 X X X X X X
13 6.0.0.838 2025.06.13 0e28a75e 606 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 665 X X X X X X
14 6.0.0.834 2025.06.11 e889ff12 582 X X X X X X 6.0.0.834 2025.06.11 e889ff12 676 X X X X X X
15 6.0.0.800 2025.06.10 1f226fc8 550 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 633 X X X X X X
16 6.0.0.799 2025.06.07 be644d92 557 X X X X X X 6.0.0.799 2025.06.07 be644d92 720 X X X X X X
17 6.0.0.797 2025.06.06 303e8d4b 591 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 713 X X X X X X
18 6.0.0.795 2025.05.29 7a71a8ed 546 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 727 X X X X X X
SS 0 6.0.0.884 2025.07.01 44e00829 380 5.0.3.1675 2025.06.27 1bb2c1e3 380 X X X X 6.0.0.889 2025.07.01 969ac2c0 419 5.0.3.1675 2025.06.27 1bb2c1e3 349 X X X X
1 6.0.0.881 2025.06.27 7035d6ee 393 5.0.3.1674 2025.06.26 d366ddff 378 X X X X 6.0.0.884 2025.06.30 f7e5f554 378 5.0.3.1674 2025.06.26 d366ddff 360 X X X X
2 6.0.0.877 2025.06.26 8e38f19a 393 5.0.3.1673 2025.06.25 f0e1fa0e 376 X X X X 6.0.0.881 2025.06.27 7035d6ee 619 5.0.3.1673 2025.06.25 f0e1fa0e 385 X X X X
3 6.0.0.876 2025.06.25 b1becab4 387 5.0.3.1668 2025.06.21 b8e226ae 373 X X X X 6.0.0.877 2025.06.26 8e38f19a 574 5.0.3.1668 2025.06.21 b8e226ae 341 X X X X
4 6.0.0.863 2025.06.24 c3c20114 395 5.0.3.1667 2025.06.15 4374a590 408 X X X X 6.0.0.876 2025.06.25 b1becab4 618 5.0.3.1667 2025.06.15 4374a590 369 X X X X
5 6.0.0.858 2025.06.24 cbbbf3b9 391 5.0.3.1666 2025.06.14 97178d05 371 X X X X 6.0.0.863 2025.06.24 c3c20114 571 5.0.3.1666 2025.06.14 97178d05 347 X X X X
6 6.0.0.858 2025.06.23 d377cb29 392 5.0.3.1665 2025.06.11 d8b62a16 378 X X X X 6.0.0.858 2025.06.23 8d6f7a4b 420 5.0.3.1665 2025.06.11 d8b62a16 359 X X X X
7 6.0.0.854 2025.06.23 10b585be 392 5.0.3.1661 2025.06.10 cfcf0e8b 377 X X X X 6.0.0.849 2025.06.20 7b79c018 412 5.0.3.1661 2025.06.10 cfcf0e8b 403 X X X X
8 6.0.0.849 2025.06.20 7b79c018 392 5.0.3.1660 2025.06.07 db691d3f 372 X X X X 6.0.0.848 2025.06.19 c483c096 532 5.0.3.1660 2025.06.07 db691d3f 398 X X X X
9 6.0.0.848 2025.06.19 c483c096 390 5.0.3.1659 2025.05.28 f4c0f85d 367 X X X X 6.0.0.845 2025.06.18 22b126f7 432 5.0.3.1659 2025.05.28 f4c0f85d 458 X X X X
10 6.0.0.845 2025.06.18 20191feb 393 X X X X X X 6.0.0.843 2025.06.16 995f41be 415 X X X X X X
11 6.0.0.843 2025.06.16 995f41be 416 X X X X X X 6.0.0.840 2025.06.14 29bca14f 436 X X X X X X
12 6.0.0.840 2025.06.14 29bca14f 406 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 613 X X X X X X
13 6.0.0.838 2025.06.13 0e28a75e 420 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 372 X X X X X X
14 6.0.0.834 2025.06.11 e889ff12 411 X X X X X X 6.0.0.834 2025.06.11 e889ff12 637 X X X X X X
15 6.0.0.800 2025.06.10 1f226fc8 370 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 608 X X X X X X
16 6.0.0.799 2025.06.07 be644d92 370 X X X X X X 6.0.0.799 2025.06.07 be644d92 540 X X X X X X
17 6.0.0.797 2025.06.06 303e8d4b 395 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 350 X X X X X X
18 6.0.0.795 2025.05.29 7a71a8ed 371 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 325 X X X X X X