missed_proposals

Capabilities the verifier proposed as missed by both runs, with the adjudicator's decision.

Data license: Not yet licensed — internal review only · Data source: Ahmed ElBatanony, Innopolis University

1 row where app_id = "F1-047"

✎ View and edit SQL

This data as json, CSV (advanced)

app_id 1

  • Mayan EDMS · 1 ✖

accepted 1

Link rowid ▼ app_id statement excerpt proposed_by accepted reason
19 19 Mayan EDMS F1-047 The system lets a user download a previous version of a document Store many versions of the same document, and download or revert to a verifier 1.0 The surviving statements cover storing versions and rolling back, but not downloading a previous version; the excerpt was found verbatim.

Advanced export

JSON shape: default, array, newline-delimited

CSV options: 

CREATE TABLE [missed_proposals] ([app_id] TEXT, [statement] TEXT, [excerpt] TEXT, [proposed_by] TEXT, [accepted] REAL, [reason] TEXT, FOREIGN KEY ([app_id]) REFERENCES apps(app_id));