functional.sqlancer.osdi20_rigger_example_01_test. Partial index must not use incorrect assumption that 'c0 IS NOT 1' implied 'c0 NOT NULL'
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 X X X X X X X X
SS P P P P X X 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 X X X X X X X X
SS P P P P X X 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 X X X X X X X X
SS P P P P X X 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 X X X X X X X X
SS P P P P X X 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 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.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 X X X X X X X X
SS P P P P X X 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 X X X X X X X X
SS P P P P X X 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 583 5.0.3.1675 2025.06.27 1bb2c1e3 604 X X X X 6.0.0.881 2025.06.27 7035d6ee 723 5.0.3.1675 2025.06.27 1bb2c1e3 674 X X X X
1 6.0.0.877 2025.06.26 8e38f19a 594 5.0.3.1674 2025.06.26 d366ddff 579 X X X X 6.0.0.877 2025.06.26 8e38f19a 664 5.0.3.1674 2025.06.26 d366ddff 674 X X X X
2 6.0.0.876 2025.06.25 b1becab4 596 5.0.3.1673 2025.06.25 f0e1fa0e 574 X X X X 6.0.0.876 2025.06.25 b1becab4 666 5.0.3.1673 2025.06.25 f0e1fa0e 671 X X X X
3 6.0.0.863 2025.06.24 c3c20114 614 5.0.3.1668 2025.06.21 b8e226ae 608 X X X X 6.0.0.863 2025.06.24 c3c20114 735 5.0.3.1668 2025.06.21 b8e226ae 673 X X X X
4 6.0.0.858 2025.06.24 cbbbf3b9 587 5.0.3.1667 2025.06.15 4374a590 582 X X X X 6.0.0.858 2025.06.23 8d6f7a4b 615 5.0.3.1667 2025.06.15 4374a590 633 X X X X
5 6.0.0.858 2025.06.23 d377cb29 607 5.0.3.1666 2025.06.14 97178d05 654 X X X X 6.0.0.849 2025.06.20 7b79c018 669 5.0.3.1666 2025.06.14 97178d05 686 X X X X
6 6.0.0.854 2025.06.23 10b585be 605 5.0.3.1665 2025.06.11 d8b62a16 655 X X X X 6.0.0.848 2025.06.19 c483c096 716 5.0.3.1665 2025.06.11 d8b62a16 711 X X X X
7 6.0.0.849 2025.06.20 7b79c018 622 5.0.3.1661 2025.06.10 cfcf0e8b 586 X X X X 6.0.0.845 2025.06.18 22b126f7 768 5.0.3.1661 2025.06.10 cfcf0e8b 735 X X X X
8 6.0.0.848 2025.06.19 c483c096 613 5.0.3.1660 2025.06.07 db691d3f 604 X X X X 6.0.0.843 2025.06.16 995f41be 621 5.0.3.1660 2025.06.07 db691d3f 767 X X X X
9 6.0.0.845 2025.06.18 20191feb 584 5.0.3.1659 2025.05.28 f4c0f85d 580 X X X X 6.0.0.840 2025.06.14 29bca14f 687 5.0.3.1659 2025.05.28 f4c0f85d 842 X X X X
10 6.0.0.843 2025.06.16 995f41be 588 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 708 X X X X X X
11 6.0.0.840 2025.06.14 29bca14f 593 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 692 X X X X X X
12 6.0.0.838 2025.06.13 0e28a75e 646 X X X X X X 6.0.0.834 2025.06.11 e889ff12 677 X X X X X X
13 6.0.0.834 2025.06.11 e889ff12 585 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 689 X X X X X X
14 6.0.0.800 2025.06.10 1f226fc8 555 X X X X X X 6.0.0.799 2025.06.07 be644d92 626 X X X X X X
15 6.0.0.799 2025.06.07 be644d92 557 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 729 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 703 X X X X X X
17 6.0.0.795 2025.05.29 7a71a8ed 569 X X X X X X X X X X X X X X
SS 0 6.0.0.881 2025.06.27 7035d6ee 393 5.0.3.1675 2025.06.27 1bb2c1e3 391 X X X X 6.0.0.881 2025.06.27 7035d6ee 602 5.0.3.1675 2025.06.27 1bb2c1e3 398 X X X X
1 6.0.0.877 2025.06.26 8e38f19a 405 5.0.3.1674 2025.06.26 d366ddff 380 X X X X 6.0.0.877 2025.06.26 8e38f19a 449 5.0.3.1674 2025.06.26 d366ddff 362 X X X X
2 6.0.0.876 2025.06.25 b1becab4 398 5.0.3.1673 2025.06.25 f0e1fa0e 381 X X X X 6.0.0.876 2025.06.25 b1becab4 434 5.0.3.1673 2025.06.25 f0e1fa0e 387 X X X X
3 6.0.0.863 2025.06.24 c3c20114 390 5.0.3.1668 2025.06.21 b8e226ae 382 X X X X 6.0.0.863 2025.06.24 c3c20114 616 5.0.3.1668 2025.06.21 b8e226ae 412 X X X X
4 6.0.0.858 2025.06.24 cbbbf3b9 403 5.0.3.1667 2025.06.15 4374a590 408 X X X X 6.0.0.858 2025.06.23 8d6f7a4b 517 5.0.3.1667 2025.06.15 4374a590 414 X X X X
5 6.0.0.858 2025.06.23 d377cb29 399 5.0.3.1666 2025.06.14 97178d05 375 X X X X 6.0.0.849 2025.06.20 7b79c018 587 5.0.3.1666 2025.06.14 97178d05 353 X X X X
6 6.0.0.854 2025.06.23 10b585be 402 5.0.3.1665 2025.06.11 d8b62a16 379 X X X X 6.0.0.848 2025.06.19 c483c096 400 5.0.3.1665 2025.06.11 d8b62a16 423 X X X X
7 6.0.0.849 2025.06.20 7b79c018 405 5.0.3.1661 2025.06.10 cfcf0e8b 376 X X X X 6.0.0.845 2025.06.18 22b126f7 601 5.0.3.1661 2025.06.10 cfcf0e8b 429 X X X X
8 6.0.0.848 2025.06.19 c483c096 403 5.0.3.1660 2025.06.07 db691d3f 384 X X X X 6.0.0.843 2025.06.16 995f41be 596 5.0.3.1660 2025.06.07 db691d3f 424 X X X X
9 6.0.0.845 2025.06.18 20191feb 395 5.0.3.1659 2025.05.28 f4c0f85d 379 X X X X 6.0.0.840 2025.06.14 29bca14f 583 5.0.3.1659 2025.05.28 f4c0f85d 422 X X X X
10 6.0.0.843 2025.06.16 995f41be 426 X X X X X X 6.0.0.838 2025.06.13 0e28a75e 612 X X X X X X
11 6.0.0.840 2025.06.14 29bca14f 407 X X X X X X 6.0.0.835 2025.06.12 2cf29c17 334 X X X X X X
12 6.0.0.838 2025.06.13 0e28a75e 434 X X X X X X 6.0.0.834 2025.06.11 e889ff12 692 X X X X X X
13 6.0.0.834 2025.06.11 e889ff12 397 X X X X X X 6.0.0.800 2025.06.10 1f226fc8 520 X X X X X X
14 6.0.0.800 2025.06.10 1f226fc8 372 X X X X X X 6.0.0.799 2025.06.07 be644d92 532 X X X X X X
15 6.0.0.799 2025.06.07 be644d92 386 X X X X X X 6.0.0.797 2025.06.06 303e8d4b 362 X X X X X X
16 6.0.0.797 2025.06.06 303e8d4b 354 X X X X X X 6.0.0.795 2025.05.29 7a71a8ed 332 X X X X X X
17 6.0.0.795 2025.05.29 7a71a8ed 377 X X X X X X X X X X X X X X