{ "scope": "bootstrap-I01-I24-only", "completeMatrix": true, "runner": "target/bootstrap-runners/matrix-all-1792931094818574000", "testExitCode": 0, "sourceManifestSha256": "c71f260870325aa54bb6818200a875689afaace93d10dc8496a11c99e5f362da", "cases": [ { "case": "I01", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I01-ee61c16fa851", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "e", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true }, { "table": "f", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true }, { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true }, { "table": "b", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true }, { "table": "g", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true }, { "table": "c", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true }, { "table": "d", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I02", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I02-5dbf11266f0d", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 6, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I03", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I03-6ca8ebf35510", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 30, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I04", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I04-d0a863598d39", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 378, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I05", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I05-86c2b37d1981", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I06", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I06-1b7976189d3d", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I07", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I07-0871dcc81d7a", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 378, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I08", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I08-2b76f3b231ab", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I09", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I09-5d5efb0012a7", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 192, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-F-C0", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-F-C0-d191a4dd4b8b", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-F-C1", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-F-C1-a24e8e2ac70b", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-F-late-commit", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-F-late-commit-19c5128b7c3b", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-F-late-rollback", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-F-late-rollback-4c739527a236", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-ab4a5e8978d0", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-high-C0", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-high-C0-03cfeea4accb", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-high-late-commit", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-high-late-commit-820453a1914e", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-high-late-rollback", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-high-late-rollback-c4946c3acdbf", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-low-C0", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-low-C0-9a92460f1651", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-low-C1", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-low-C1-21338bece73e", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-low-late-commit", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-low-late-commit-d856947feafb", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I10-low-late-rollback", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I10-low-late-rollback-86f3a686dd45", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I11", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I11-ddb83c3124c3", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 378, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I12", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I12-0a93f7bd0e07", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I13", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I13-912fc3704e3a", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": true, "startupRefused": false, "resourcesReleased": true }, { "case": "I13-prefix", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I13-prefix-013c2032af2f", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I14", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I14-256776249522", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I15", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I15-0d62639f96d0", "status": "PASS", "errors": [], "intentionalProofFailures": [ "a a_0_0 page FINAL:0" ], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I15-L", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I15-L-d8f24b98f1c3", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [], "hasFinal": false, "DlagAtActivation": null, "startupRefused": true, "resourcesReleased": true }, { "case": "I15-raw", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I15-raw-a5c7eef117be", "status": "PASS", "errors": [], "intentionalProofFailures": [ "a a_0_0 page RAW:0" ], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I15-registry", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I15-registry-dc670baf7021", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I15-schema", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I15-schema-cee739a034a4", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [], "hasFinal": false, "DlagAtActivation": null, "startupRefused": true, "resourcesReleased": true }, { "case": "I16", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I16-da53030119d0", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-C0", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-C0-edbadcf145e1", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-ea1811e920aa", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-late-commit", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-late-commit-800da88ddc2d", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-late-rollback", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-late-rollback-43a1dac2357a", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-replay-C0", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-replay-C0-166f61a8d790", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-replay-C1", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-replay-C1-1f6768cd1e53", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-replay-late-commit", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-replay-late-commit-187ffcb65a3f", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I17-replay-late-rollback", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I17-replay-late-rollback-de88fabc93ca", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-adfd8f62e3e3", "status": "PASS", "errors": [], "intentionalProofFailures": [ "window manifest" ], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18-budget", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-budget-06c13e36c894", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18-reject", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-reject-3bb7a3389188", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18-reject-after-T", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-reject-after-T-0effd28210aa", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18-release", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-release-02bec8cb0ef5", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18-replay-close", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-replay-close-70d38864dcd9", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I18-replay-timeout", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I18-replay-timeout-64ddbd0689d8", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I19", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I19-effda87c13bd", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I19-last-window", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I19-last-window-68bcdd19ba30", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I20", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I20-b1b2ae6cc391", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I20-split", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I20-split-1956b946ee5b", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I21", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I21-ac4cb6c37ede", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I21-postF", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I21-postF-57d3add76542", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I22", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I22-88111f8fed3d", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I22-beforeB", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I22-beforeB-58f91eb6aedc", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I22-late-low", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I22-late-low-88638013b47b", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false }, { "table": "b", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I22-target", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I22-target-1be5afadd8f4", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I23-activation", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I23-activation-a3d200ed215c", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I23", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I23-b8861ce3a8dd", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I24", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I24-8ea1ee1afd02", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 448, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true }, { "case": "I24-capacity", "directory": "target/bootstrap-matrix/matrix-all-1792931094818574000/I24-capacity-e633715fe7e2", "status": "PASS", "errors": [], "intentionalProofFailures": [], "comparisons": [ { "table": "a", "equal": false, "fieldsCompared": 384, "missing": [ "\"1\"", "\"10\"", "\"11\"", "\"12\"", "\"13\"", "\"14\"", "\"15\"", "\"16\"", "\"17\"", "\"18\"", "\"19\"", "\"2\"", "\"20\"", "\"21\"", "\"22\"", "\"23\"", "\"24\"", "\"25\"", "\"26\"", "\"27\"", "\"28\"", "\"29\"", "\"3\"", "\"30\"", "\"31\"", "\"32\"", "\"33\"", "\"34\"", "\"35\"", "\"36\"", "\"37\"", "\"38\"", "\"39\"", "\"4\"", "\"40\"", "\"41\"", "\"42\"", "\"43\"", "\"44\"", "\"45\"", "\"46\"", "\"47\"", "\"48\"", "\"49\"", "\"5\"", "\"50\"", "\"51\"", "\"52\"", "\"53\"", "\"54\"", "\"55\"", "\"56\"", "\"57\"", "\"58\"", "\"59\"", "\"6\"", "\"60\"", "\"61\"", "\"62\"", "\"63\"", "\"64\"", "\"7\"", "\"8\"", "\"9\"" ], "extra": [], "differentFields": [], "requiredEqual": false }, { "table": "b", "equal": true, "fieldsCompared": 384, "missing": [], "extra": [], "differentFields": [], "requiredEqual": true } ], "hasFinal": true, "DlagAtActivation": null, "startupRefused": false, "resourcesReleased": true } ], "pass": true }