Q12, run 2026-11-06-0855-sonnet

← back to the run

How many research works did Kesting University (I07, units included) publish in 2024, under full counting and under fractional counting (each work split equally among its authors)?

Tests: Counting method: W20 is half Kesting's, W21 two quarters, W22 whole.

Expected: full = 3 fractional = 2

✅ R8 csv+axioms run 1 graded by code

Full 3 (W20, W21, W22). Fractional 2.0 (W20 gives 0.5, W21 gives 0.5, W22 gives 1).

JSON: {"full": 3, "fractional": 2}

✅ R8 csv+axioms run 2 graded by code

Full 3, fractional 2. W20, W21 and W22 are the 2024 works. They score 0.5, 0.5 and 1.

JSON: {"full": 3, "fractional": 2}

✅ R8 csv+axioms run 3 graded by code

Full 3, fractional 2. The 2024 works are W20 (0.5), W21 (0.5) and W22 (1).

JSON: {"full": 3, "fractional": 2}

✅ R8 csv+axioms run 4 graded by code

Full 3 (W20, W21, W22). Fractional is 2: W20 gives 0.5, W21 gives 0.5 (A09 and A10 each hold one of 4 shares), W22 gives 1.

JSON: {"full": 3, "fractional": 2}

✅ R8 csv+axioms run 5 graded by code

Full counting gives 3 (W20, W21, W22). Fractional counting gives 2.0: W20 gives 0.5, W21 gives 0.5 (two of its four authors are at I07/I08), and W22 gives 1.

JSON: {"full": 3, "fractional": 2}

✅ R9 csv+axioms+markdown run 1 graded by code

Full 3, fractional 2. The 2024 works are W20, W21 and W22. W20 contributes 0.5, W21 contributes 0.5 (2 of its 4 authors), and W22 contributes 1.

JSON: {"full": 3, "fractional": 2}

✅ R9 csv+axioms+markdown run 2 graded by code

Full 3 (W20, W21, W22). Fractional 2.0 (W20 gives 0.5, W21 gives 2/4 = 0.5, W22 gives 1).

JSON: {"full": 3, "fractional": 2}

✅ R9 csv+axioms+markdown run 3 graded by code

Full 3, fractional 2.0. The 2024 works are W20, W21 and W22. W20 gives 0.5, W21 gives 0.25 + 0.25, and W22 gives 1.

JSON: {"full": 3, "fractional": 2}

✅ R9 csv+axioms+markdown run 4 graded by code

Full 3, fractional 2.0. The 2024 works are W20 (0.5), W21 (0.5, from A09 and A10) and W22 (1).

JSON: {"full": 3, "fractional": 2}

✅ R9 csv+axioms+markdown run 5 graded by code

Full 3, fractional 2. W20, W21 and W22 are the 2024 works. W20 gives 0.5, W21 gives 0.5 (A10 and A09 are both Kesting) and W22 gives 1.

JSON: {"full": 3, "fractional": 2}