{"entities":{"Q6701716":{"pageid":14420688,"ns":120,"title":"Item:Q6701716","lastrevid":54696980,"modified":"2026-01-29T19:50:57Z","type":"item","id":"Q6701716","labels":{"en":{"language":"en","value":"Alloy4Fun Dataset for 2022/23"}},"descriptions":{"en":{"language":"en","value":"Dataset published at Zenodo repository."}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"dae155fd0809a7906855cd4fa50dd7d71bed552b","datavalue":{"value":{"entity-type":"item","numeric-id":56885,"id":"Q56885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6701716$4E95A45D-EADA-463D-B531-D4B2327A439F","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"707b3c115f27234f96c9bd32f70b4d2d4f0f0d2a","datavalue":{"value":"Thisdataset contains models submitted by students inthe Alloy4Fun platform to solve thechallenge models from various editions of formal methods coursesin the Universityof Minho (UM) and the University of Porto (UP) between the fall of 2019 and the spring of 2023, totalling about 100.000 entries. Participants include those enrolled in theoptional MSc course Specification and Modelling (EM) and the mandatoryMSc course Formal Methods in Software Engineering (MFES) in UM, and the optionalMSc course Formal Methods for Critical Systems (MFS) in UP. Note that since the challenges permalinks are publicly available, the dataset may contain submissions from other participants outside the classroom context.  The analysis of the 2021 dataset is reported in theScience of Computer Programming paper Experiences on Teaching Alloy with an Automated Assessment Platform (extending the ABZ20 conference version analysing the 2020 dataset).           Name    Permalink    Courses (Students)    Entries              Trash FOL    sDLK7uBCbgZon3znd    EM 19/20 (~20) and 20/21 (~20), MFS 21/22 (~10) and 22/23 (~10)    4092          Classroom FOL    YH3ANm7Y5Qe5dSYem    EM 19/20 (~20) and 20/21 (~20), MFS 21/22 (~10) and 22/23 (~10)    5893          Trash RL    PQAJE67kz8w5NWJuM    EM 19/20 (~20) and 20/21 (~20)    4361          Classroom RL    zRAn69AocpkmxXZnW    EM 19/20 (~20) and 20/21 (~20)    6341          Graphs    gAeD3MTGCCv8YNTaK    EM 19/20 (~20) and 20/21 (~20)    3211          LTS    zoEADeCW2b2suJB2k    EM 19/20 (~20) and 20/21 (~20)    3382          Production line        jyS8Bmceejj9pLbTW     bNCCf9FMRZoxqobfX (v2)     aTwuoJgesSd8hXXEP(v3)            EM 19/20 (~20) and 20/21 (~20)     MFES 21/22 (~200), MFS 21/22 (~10)and 22/23 (~10)     MFES 22/23(~200)            898     4903     3175              CV        JC8Tij8o8GZb99gEJ     WGdhwKZnCu7aKhXq9(v2)            EM 19/20 (~20)     EM20/21 (~20)            1199     393              Trash LTL    9jPK8KBWzjFmBx4Hb    EM 19/20 (~20) and 20/21 (~20)    5279          Train Station        FwCGymHmbqcziisH5     QxGnrFQnXPGh2Lh8C (v2)            EM 20/21 (~20)     MFES 21/22 (~200) and 22/23(~200), MFS 21/22 (~10)and 22/23 (~10)            1264     8158              Courses        PSqwzYAfW9dFAa9im     JDKw8yJZF5fiP3jv3 (v2)            MFES 21/22 (~200), MFS 21/22 (~10)and 22/23 (~10)     MFES 22/23(~200)            14884     7632              Social network    dkZH6HJNQNLLDX6Aj    MFES 21/22 (~200)and 22/23 (~200), MFS 21/22 (~10)and 22/23 (~10)    22690        Each entry of the dataset registers either an execution (which may have returned a result or an error) or the creation of a permalink for sharing, and contains:    _id: the id of the interaction  time: the timestamp of its creation  derivationOf: the parent entry  original: the first ancestor with secrets (always the same within an exercise)  code: the complete code of the model (excluding the secrets defined in the original entry) (with student comments removed)  sat: whether the command was satisfiable (counter-example found for checks), or -1 when error thrown [only for executions]  cmd_i: the index of the executed command [only for executions]  cmd_n: the name of the executed command [only for successful executions, i.e. no error thrown]  cmd_c: whether the command was a check [only for successful executions, i.e. no error thrown]  msg: the error or warning message [only for successful executions with warnings or when error thrown]  theme: the visualisation theme [only for sharing entries]   User comments were removed from the code to guarantee anonymization.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6701716$75B0E915-A284-45D6-8E32-6421883A4A37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"575ce402c792e7e8014b521617b17c813cbe1428","datavalue":{"value":{"time":"+2023-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6701716$70144FDF-A6BF-4F49-882A-C7F8301CCE89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d55201fd9bd6ae88f728ca1f7ef109c171d99d8","datavalue":{"value":{"entity-type":"item","numeric-id":2102938,"id":"Q2102938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6701716$33093788-5A38-48EC-9D5B-A2D4476AEED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23ff273b934b85162e9ec78fb5f4278c727619d5","datavalue":{"value":{"entity-type":"item","numeric-id":6701714,"id":"Q6701714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6701716$7013304B-0CC1-4808-A31F-0091D57E2886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc37437187d10c7d489bfab8692b46ca56a7424","datavalue":{"value":{"entity-type":"item","numeric-id":6701715,"id":"Q6701715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6701716$83DC01E2-E67D-4C3B-B606-72251F086931","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"570ac0887bdcea6b2a42015ae25722d55e2ab2cc","datavalue":{"value":"8123547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6701716$51428CD4-9E53-48DD-A7AD-BE4B25CBD26A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d4660f72272d7abc747ee625846cc2fcff796e0","datavalue":{"value":"10.5281/zenodo.8123547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6701716$6102E7B6-DA8F-4A39-8D0A-EB666285CCB2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6701716$1AFAC9B5-BBEC-418E-B991-D32979BFABFD","rank":"normal"}],"P1474":[{"mainsnak":{"snaktype":"value","property":"P1474","hash":"7a526afb4a3ab1c88d24b4dd83b90972d4d78b32","datavalue":{"value":"EM 2022/23","type":"string"},"datatype":"string"},"type":"statement","id":"Q6701716$9B3F9451-AA72-49CA-B865-69E75BD9EAA8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"d1e8073b72a070520efd3d14d4b3d2d3d03859e2","datavalue":{"value":{"entity-type":"item","numeric-id":5984635,"id":"Q5984635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6701716$1B22B3A9-2BDE-4CB2-9310-8A3CB0C40F51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alloy4Fun Dataset for 2022/23","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alloy4Fun_Dataset_for_2022/23"}}}}}