functional.sqlancer.doi_10_1145_3428279_example_01_test. predicate 0 = -0 to incorrectly evaluate to FALSE.
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.881 2025.06.27 7035d6ee P 6.0.0.881 2025.06.27 7035d6ee P 5.0.3.1675 2025.06.27 1bb2c1e3 P 5.0.3.1675 2025.06.27 1bb2c1e3 P 4.0.6.3215 2025.06.25 6461d039 P 4.0.6.3215 2025.06.25 6461d039 P X X X X
SS P P P P P P X X
1 CS 6.0.0.877 2025.06.26 8e38f19a P 6.0.0.877 2025.06.26 8e38f19a P 5.0.3.1674 2025.06.26 d366ddff P 5.0.3.1674 2025.06.26 d366ddff P 4.0.6.3214 2025.06.21 e11f62c4 P 4.0.6.3214 2025.06.21 e11f62c4 P X X X X
SS P P P P P P X X
2 CS 6.0.0.876 2025.06.25 b1becab4 P 6.0.0.876 2025.06.25 b1becab4 P 5.0.3.1673 2025.06.25 f0e1fa0e P 5.0.3.1673 2025.06.25 f0e1fa0e P 4.0.6.3213 2025.06.14 f015c288 P 4.0.6.3213 2025.06.14 f015c288 P X X X X
SS P P P P P P X X
3 CS 6.0.0.863 2025.06.24 c3c20114 P 6.0.0.863 2025.06.24 c3c20114 P 5.0.3.1668 2025.06.21 b8e226ae P 5.0.3.1668 2025.06.21 b8e226ae 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.858 2025.06.24 cbbbf3b9 P 6.0.0.858 2025.06.23 8d6f7a4b P 5.0.3.1667 2025.06.15 4374a590 P 5.0.3.1667 2025.06.15 4374a590 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.858 2025.06.23 d377cb29 P 6.0.0.849 2025.06.20 7b79c018 P 5.0.3.1666 2025.06.14 97178d05 P 5.0.3.1666 2025.06.14 97178d05 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.854 2025.06.23 10b585be P 6.0.0.848 2025.06.19 c483c096 P 5.0.3.1665 2025.06.11 d8b62a16 P 5.0.3.1665 2025.06.11 d8b62a16 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.849 2025.06.20 7b79c018 P 6.0.0.845 2025.06.18 22b126f7 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.848 2025.06.19 c483c096 P 6.0.0.843 2025.06.16 995f41be 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.845 2025.06.18 20191feb P 6.0.0.840 2025.06.14 29bca14f 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.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
11 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
12 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
13 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
14 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
15 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
16 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
17 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.881 2025.06.27 7035d6ee 595 5.0.3.1675 2025.06.27 1bb2c1e3 582 4.0.6.3215 2025.06.25 6461d039 605 X X 6.0.0.881 2025.06.27 7035d6ee 731 5.0.3.1675 2025.06.27 1bb2c1e3 770 4.0.6.3215 2025.06.25 6461d039 646 X X
1 6.0.0.877 2025.06.26 8e38f19a 616 5.0.3.1674 2025.06.26 d366ddff 576 4.0.6.3214 2025.06.21 e11f62c4 666 X X 6.0.0.877 2025.06.26 8e38f19a 690 5.0.3.1674 2025.06.26 d366ddff 633 4.0.6.3214 2025.06.21 e11f62c4 531 X X
2 6.0.0.876 2025.06.25 b1becab4 627 5.0.3.1673 2025.06.25 f0e1fa0e 577 4.0.6.3213 2025.06.14 f015c288 614 X X 6.0.0.876 2025.06.25 b1becab4 681 5.0.3.1673 2025.06.25 f0e1fa0e 686 4.0.6.3213 2025.06.14 f015c288 622 X X
3 6.0.0.863 2025.06.24 c3c20114 616 5.0.3.1668 2025.06.21 b8e226ae 575 4.0.6.3212 2025.06.11 bc50d79c 625 X X 6.0.0.863 2025.06.24 c3c20114 672 5.0.3.1668 2025.06.21 b8e226ae 683 4.0.6.3212 2025.06.11 bc50d79c 614 X X
4 6.0.0.858 2025.06.24 cbbbf3b9 591 5.0.3.1667 2025.06.15 4374a590 583 4.0.6.3208 2025.06.10 19fe315b 603 X X 6.0.0.858 2025.06.23 8d6f7a4b 627 5.0.3.1667 2025.06.15 4374a590 717 4.0.6.3208 2025.06.10 19fe315b 677 X X
5 6.0.0.858 2025.06.23 d377cb29 629 5.0.3.1666 2025.06.14 97178d05 587 4.0.6.3207 2025.06.07 205ffd73 606 X X 6.0.0.849 2025.06.20 7b79c018 619 5.0.3.1666 2025.06.14 97178d05 652 4.0.6.3207 2025.06.07 205ffd73 716 X X
6 6.0.0.854 2025.06.23 10b585be 591 5.0.3.1665 2025.06.11 d8b62a16 862 4.0.6.3206 2025.05.22 d7d100d1 655 X X 6.0.0.848 2025.06.19 c483c096 664 5.0.3.1665 2025.06.11 d8b62a16 713 4.0.6.3206 2025.05.22 d7d100d1 645 X X
7 6.0.0.849 2025.06.20 7b79c018 628 5.0.3.1661 2025.06.10 cfcf0e8b 598 X X X X 6.0.0.845 2025.06.18 22b126f7 756 5.0.3.1661 2025.06.10 cfcf0e8b 782 X X X X
8 6.0.0.848 2025.06.19 c483c096 585 5.0.3.1660 2025.06.07 db691d3f 581 X X X X 6.0.0.843 2025.06.16 995f41be 719 5.0.3.1660 2025.06.07 db691d3f 787 X X X X
9 6.0.0.845 2025.06.18 20191feb 593 5.0.3.1659 2025.05.28 f4c0f85d 616 X X X X 6.0.0.840 2025.06.14 29bca14f 717 5.0.3.1659 2025.05.28 f4c0f85d 793 X X X X
10 6.0.0.843 2025.06.16 995f41be 619 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 782 X X X X X X
11 6.0.0.840 2025.06.14 29bca14f 592 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 659 X X X X X X
12 6.0.0.838 2025.06.13 0e28a75e 634 X X X X X X 6.0.0.834 2025.06.11 e889ff12 663 X X X X X X
13 6.0.0.834 2025.06.11 e889ff12 623 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 682 X X X X X X
14 6.0.0.800 2025.06.10 1f226fc8 557 X X X X X X 6.0.0.799 2025.06.07 be644d92 674 X X X X X X
15 6.0.0.799 2025.06.07 be644d92 544 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 694 X X X X X X
16 6.0.0.797 2025.06.06 303e8d4b 579 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 708 X X X X X X
17 6.0.0.795 2025.05.29 7a71a8ed 550 X X X X X X X X X X X X X X
SS 0 6.0.0.881 2025.06.27 7035d6ee 387 5.0.3.1675 2025.06.27 1bb2c1e3 379 4.0.6.3215 2025.06.25 6461d039 410 X X 6.0.0.881 2025.06.27 7035d6ee 467 5.0.3.1675 2025.06.27 1bb2c1e3 423 4.0.6.3215 2025.06.25 6461d039 487 X X
1 6.0.0.877 2025.06.26 8e38f19a 396 5.0.3.1674 2025.06.26 d366ddff 386 4.0.6.3214 2025.06.21 e11f62c4 437 X X 6.0.0.877 2025.06.26 8e38f19a 587 5.0.3.1674 2025.06.26 d366ddff 332 4.0.6.3214 2025.06.21 e11f62c4 406 X X
2 6.0.0.876 2025.06.25 b1becab4 386 5.0.3.1673 2025.06.25 f0e1fa0e 378 4.0.6.3213 2025.06.14 f015c288 405 X X 6.0.0.876 2025.06.25 b1becab4 432 5.0.3.1673 2025.06.25 f0e1fa0e 404 4.0.6.3213 2025.06.14 f015c288 469 X X
3 6.0.0.863 2025.06.24 c3c20114 387 5.0.3.1668 2025.06.21 b8e226ae 372 4.0.6.3212 2025.06.11 bc50d79c 410 X X 6.0.0.863 2025.06.24 c3c20114 583 5.0.3.1668 2025.06.21 b8e226ae 366 4.0.6.3212 2025.06.11 bc50d79c 412 X X
4 6.0.0.858 2025.06.24 cbbbf3b9 393 5.0.3.1667 2025.06.15 4374a590 402 4.0.6.3208 2025.06.10 19fe315b 423 X X 6.0.0.858 2025.06.23 8d6f7a4b 592 5.0.3.1667 2025.06.15 4374a590 442 4.0.6.3208 2025.06.10 19fe315b 501 X X
5 6.0.0.858 2025.06.23 d377cb29 391 5.0.3.1666 2025.06.14 97178d05 379 4.0.6.3207 2025.06.07 205ffd73 447 X X 6.0.0.849 2025.06.20 7b79c018 579 5.0.3.1666 2025.06.14 97178d05 404 4.0.6.3207 2025.06.07 205ffd73 459 X X
6 6.0.0.854 2025.06.23 10b585be 402 5.0.3.1665 2025.06.11 d8b62a16 380 4.0.6.3206 2025.05.22 d7d100d1 407 X X 6.0.0.848 2025.06.19 c483c096 609 5.0.3.1665 2025.06.11 d8b62a16 435 4.0.6.3206 2025.05.22 d7d100d1 499 X X
7 6.0.0.849 2025.06.20 7b79c018 407 5.0.3.1661 2025.06.10 cfcf0e8b 387 X X X X 6.0.0.845 2025.06.18 22b126f7 524 5.0.3.1661 2025.06.10 cfcf0e8b 393 X X X X
8 6.0.0.848 2025.06.19 c483c096 391 5.0.3.1660 2025.06.07 db691d3f 392 X X X X 6.0.0.843 2025.06.16 995f41be 607 5.0.3.1660 2025.06.07 db691d3f 421 X X X X
9 6.0.0.845 2025.06.18 20191feb 392 5.0.3.1659 2025.05.28 f4c0f85d 391 X X X X 6.0.0.840 2025.06.14 29bca14f 636 5.0.3.1659 2025.05.28 f4c0f85d 478 X X X X
10 6.0.0.843 2025.06.16 995f41be 422 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 524 X X X X X X
11 6.0.0.840 2025.06.14 29bca14f 387 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 384 X X X X X X
12 6.0.0.838 2025.06.13 0e28a75e 435 X X X X X X 6.0.0.834 2025.06.11 e889ff12 542 X X X X X X
13 6.0.0.834 2025.06.11 e889ff12 396 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 609 X X X X X X
14 6.0.0.800 2025.06.10 1f226fc8 381 X X X X X X 6.0.0.799 2025.06.07 be644d92 447 X X X X X X
15 6.0.0.799 2025.06.07 be644d92 364 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 354 X X X X X X
16 6.0.0.797 2025.06.06 303e8d4b 371 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 304 X X X X X X
17 6.0.0.795 2025.05.29 7a71a8ed 363 X X X X X X X X X X X X X X