functional.sqlancer.osdi20_rigger_example_01_test. Partial index must not use incorrect assumption that 'c0 IS NOT 1' implied 'c0 NOT NULL'

Show cross-report outcomes.
Full history of outcomes and elapsed time, ms:
NN SNAP_INFO CS_outcome SS_outcome CS_run_time SS_run_time CS_run_beg CS_run_end SS_run_beg SS_run_end
1 5.0.3.1657 2025.06.19 4bd4c P P 567 343 2025.06.27 12:34:31.619 2025.06.27 12:34:32.186 2025.06.27 11:11:51.484 2025.06.27 11:11:51.827
2 5.0.3.1657 2025.06.11 dae6f P P 716 379 2025.06.17 07:39:34.718 2025.06.17 07:39:35.434 2025.06.17 06:15:49.710 2025.06.17 06:15:50.089
3 5.0.3.1657 2025.06.10 dbc92 P P 729 458 2025.06.11 12:30:33.368 2025.06.11 12:30:34.097 2025.06.11 10:58:41.153 2025.06.11 10:58:41.611
4 5.0.3.1656 2025.05.20 c4b11 P P 784 418 2025.06.10 12:24:18.106 2025.06.10 12:24:18.890 2025.06.10 10:56:19.463 2025.06.10 10:56:19.881

Elapsed time, ms. Chart for last 4 runs:

Last commits information (all timestamps in UTC):