{"abstract":"Trip distances include the rise above the destination floor.","category":"Elevator dispatch scheduling","checks":8,"contract":"heights_mm[i] is the rise from floor i to floor i+1. The trip distance is the sum between the two floors (either direction). With speed vmax (mm/s) and acceleration acc (mm/s^2): if distance*acc >= vmax^2 the car reaches vmax and t = d/vmax + vmax/acc, otherwise t = 2*sqrt(d/acc). Return milliseconds rounded up; zero distance is 0.","evaluation_group":"w2-elevator_dispatch_scheduling-trip-flight-time","failed_approach":"Shifting the slice by one attributes each rise to the floor above it.","family":"w2-elevator_dispatch_scheduling-trip-flight-time-floor-rise-slice","id":"FA-67431","implementations":{"attempt":{"sha256":"8dc055c5b3a09b9f8d59b09759acb3db92ccea2771cee7961e195f85803f31a8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    lo, hi = sorted((x['from'], x['to']))\n    d = sum(x['heights_mm'][lo + 1:hi + 1])\n    if d == 0:\n        return 0\n    v = x['vmax']\n    a = x['acc']\n    if d * a >= v * v:\n        t = d / v + v / a\n    else:\n        t = 2 * math.sqrt(d / a)\n    return math.ceil(t * 1000 - 1e-9)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('sampled regression 1', {'heights_mm': [5000, 4200, 3500, 4200, 4200, 5000, 3000, 3500, 5000, 4200, 3500], 'from': 7, 'to': 0, 'vmax': 1600, 'acc': 1200}, 19521), ('sampled regression 4', {'heights_mm': [3500, 3500, 5000, 3500], 'from': 1, 'to': 1, 'vmax': 4000, 'acc': 600}, 0), ('sampled regression 7', {'heights_mm': [3500, 3500, 4200, 5000, 3500], 'from': 4, 'to': 1, 'vmax': 2500, 'acc': 1200}, 7164)], [('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 4', {'heights_mm': [3500, 3500, 5000, 3500], 'from': 1, 'to': 1, 'vmax': 4000, 'acc': 600}, 0), ('sampled regression 11', {'heights_mm': [4200, 3500, 5000, 3000, 3000, 5000, 4200], 'from': 3, 'to': 2, 'vmax': 1000, 'acc': 1000}, 6000), ('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('sampled regression 12', {'heights_mm': [3000, 5000, 3000, 5000, 4200, 5000, 3000, 4200, 4200, 3500], 'from': 5, 'to': 1, 'vmax': 1000, 'acc': 600}, 18867), ('sampled regression 15', {'heights_mm': [3000, 3500, 3000, 3000, 5000, 3000, 3500, 3000, 3000, 3500], 'from': 4, 'to': 7, 'vmax': 1000, 'acc': 600}, 13167), ('sampled regression 18', {'heights_mm': [4200, 3000, 3500, 5000, 3500], 'from': 3, 'to': 4, 'vmax': 1000, 'acc': 800}, 6250)], [('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('sampled regression 11', {'heights_mm': [4200, 3500, 5000, 3000, 3000, 5000, 4200], 'from': 3, 'to': 2, 'vmax': 1000, 'acc': 1000}, 6000), ('sampled regression 19', {'heights_mm': [5000, 3500, 3000, 5000, 5000, 4200, 5000, 4200], 'from': 0, 'to': 7, 'vmax': 1000, 'acc': 1000}, 31700), ('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('sampled regression 23', {'heights_mm': [5000, 3000, 3000, 4200, 4200, 3500, 3000], 'from': 1, 'to': 0, 'vmax': 1600, 'acc': 1000}, 4725), ('sampled regression 26', {'heights_mm': [4200, 5000, 4200, 4200, 3000, 3500, 3500, 3500], 'from': 7, 'to': 0, 'vmax': 4000, 'acc': 1000}, 10900), ('sampled regression 29', {'heights_mm': [3000, 3000, 3500, 3500, 3000, 4200, 3500, 3000, 3000, 4200, 3500, 5000], 'from': 0, 'to': 4, 'vmax': 1000, 'acc': 1000}, 14000)], [('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 18', {'heights_mm': [4200, 3000, 3500, 5000, 3500], 'from': 3, 'to': 4, 'vmax': 1000, 'acc': 800}, 6250), ('sampled regression 25', {'heights_mm': [3000, 3000, 3500, 4200, 3000, 3000, 5000, 4200, 4200], 'from': 4, 'to': 6, 'vmax': 2500, 'acc': 600}, 6325), ('regression: fractional milliseconds', {'heights_mm': [3500, 3500, 3500, 3500], 'from': 0, 'to': 3, 'vmax': 1600, 'acc': 600}, 9230), ('sampled regression 34', {'heights_mm': [3000, 5000, 3500, 4200, 3500, 3000, 3500], 'from': 3, 'to': 5, 'vmax': 4000, 'acc': 800}, 6205), ('sampled regression 37', {'heights_mm': [3000, 3000, 5000, 3000, 5000], 'from': 2, 'to': 4, 'vmax': 1000, 'acc': 1200}, 8834), ('sampled regression 40', {'heights_mm': [3000, 3500, 3500, 5000], 'from': 0, 'to': 2, 'vmax': 1600, 'acc': 1000}, 5663)], [('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('sampled regression 25', {'heights_mm': [3000, 3000, 3500, 4200, 3000, 3000, 5000, 4200, 4200], 'from': 4, 'to': 6, 'vmax': 2500, 'acc': 600}, 6325), ('sampled regression 31', {'heights_mm': [3500, 5000, 4200, 3500, 5000], 'from': 4, 'to': 2, 'vmax': 1000, 'acc': 600}, 9367), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 45', {'heights_mm': [5000, 3500, 3000, 3500, 4200, 3000, 3500, 3500, 3500, 4200], 'from': 3, 'to': 8, 'vmax': 1000, 'acc': 1200}, 18534), ('sampled regression 48', {'heights_mm': [5000, 3000, 3500, 3000, 3000, 3500, 3500, 3000, 5000, 3500], 'from': 9, 'to': 8, 'vmax': 4000, 'acc': 1000}, 4473), ('sampled regression 51', {'heights_mm': [4200, 4200, 3000, 5000, 5000, 5000, 3500], 'from': 6, 'to': 5, 'vmax': 4000, 'acc': 800}, 5000)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"07faf717522d4e07a049a8c44ec9fb4091d95465fd7abb9c0ccda76135dbc634","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    lo, hi = sorted((x['from'], x['to']))\n    d = sum(x['heights_mm'][lo:hi + 1])\n    if d == 0:\n        return 0\n    v = x['vmax']\n    a = x['acc']\n    if d * a >= v * v:\n        t = d / v + v / a\n    else:\n        t = 2 * math.sqrt(d / a)\n    return math.ceil(t * 1000 - 1e-9)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('sampled regression 1', {'heights_mm': [5000, 4200, 3500, 4200, 4200, 5000, 3000, 3500, 5000, 4200, 3500], 'from': 7, 'to': 0, 'vmax': 1600, 'acc': 1200}, 19521), ('sampled regression 4', {'heights_mm': [3500, 3500, 5000, 3500], 'from': 1, 'to': 1, 'vmax': 4000, 'acc': 600}, 0), ('sampled regression 7', {'heights_mm': [3500, 3500, 4200, 5000, 3500], 'from': 4, 'to': 1, 'vmax': 2500, 'acc': 1200}, 7164)], [('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 4', {'heights_mm': [3500, 3500, 5000, 3500], 'from': 1, 'to': 1, 'vmax': 4000, 'acc': 600}, 0), ('sampled regression 11', {'heights_mm': [4200, 3500, 5000, 3000, 3000, 5000, 4200], 'from': 3, 'to': 2, 'vmax': 1000, 'acc': 1000}, 6000), ('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('sampled regression 12', {'heights_mm': [3000, 5000, 3000, 5000, 4200, 5000, 3000, 4200, 4200, 3500], 'from': 5, 'to': 1, 'vmax': 1000, 'acc': 600}, 18867), ('sampled regression 15', {'heights_mm': [3000, 3500, 3000, 3000, 5000, 3000, 3500, 3000, 3000, 3500], 'from': 4, 'to': 7, 'vmax': 1000, 'acc': 600}, 13167), ('sampled regression 18', {'heights_mm': [4200, 3000, 3500, 5000, 3500], 'from': 3, 'to': 4, 'vmax': 1000, 'acc': 800}, 6250)], [('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('sampled regression 11', {'heights_mm': [4200, 3500, 5000, 3000, 3000, 5000, 4200], 'from': 3, 'to': 2, 'vmax': 1000, 'acc': 1000}, 6000), ('sampled regression 19', {'heights_mm': [5000, 3500, 3000, 5000, 5000, 4200, 5000, 4200], 'from': 0, 'to': 7, 'vmax': 1000, 'acc': 1000}, 31700), ('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('sampled regression 23', {'heights_mm': [5000, 3000, 3000, 4200, 4200, 3500, 3000], 'from': 1, 'to': 0, 'vmax': 1600, 'acc': 1000}, 4725), ('sampled regression 26', {'heights_mm': [4200, 5000, 4200, 4200, 3000, 3500, 3500, 3500], 'from': 7, 'to': 0, 'vmax': 4000, 'acc': 1000}, 10900), ('sampled regression 29', {'heights_mm': [3000, 3000, 3500, 3500, 3000, 4200, 3500, 3000, 3000, 4200, 3500, 5000], 'from': 0, 'to': 4, 'vmax': 1000, 'acc': 1000}, 14000)], [('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 18', {'heights_mm': [4200, 3000, 3500, 5000, 3500], 'from': 3, 'to': 4, 'vmax': 1000, 'acc': 800}, 6250), ('sampled regression 25', {'heights_mm': [3000, 3000, 3500, 4200, 3000, 3000, 5000, 4200, 4200], 'from': 4, 'to': 6, 'vmax': 2500, 'acc': 600}, 6325), ('regression: fractional milliseconds', {'heights_mm': [3500, 3500, 3500, 3500], 'from': 0, 'to': 3, 'vmax': 1600, 'acc': 600}, 9230), ('sampled regression 34', {'heights_mm': [3000, 5000, 3500, 4200, 3500, 3000, 3500], 'from': 3, 'to': 5, 'vmax': 4000, 'acc': 800}, 6205), ('sampled regression 37', {'heights_mm': [3000, 3000, 5000, 3000, 5000], 'from': 2, 'to': 4, 'vmax': 1000, 'acc': 1200}, 8834), ('sampled regression 40', {'heights_mm': [3000, 3500, 3500, 5000], 'from': 0, 'to': 2, 'vmax': 1600, 'acc': 1000}, 5663)], [('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('sampled regression 25', {'heights_mm': [3000, 3000, 3500, 4200, 3000, 3000, 5000, 4200, 4200], 'from': 4, 'to': 6, 'vmax': 2500, 'acc': 600}, 6325), ('sampled regression 31', {'heights_mm': [3500, 5000, 4200, 3500, 5000], 'from': 4, 'to': 2, 'vmax': 1000, 'acc': 600}, 9367), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 45', {'heights_mm': [5000, 3500, 3000, 3500, 4200, 3000, 3500, 3500, 3500, 4200], 'from': 3, 'to': 8, 'vmax': 1000, 'acc': 1200}, 18534), ('sampled regression 48', {'heights_mm': [5000, 3000, 3500, 3000, 3000, 3500, 3500, 3000, 5000, 3500], 'from': 9, 'to': 8, 'vmax': 4000, 'acc': 1000}, 4473), ('sampled regression 51', {'heights_mm': [4200, 4200, 3000, 5000, 5000, 5000, 3500], 'from': 6, 'to': 5, 'vmax': 4000, 'acc': 800}, 5000)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"09a8633e7336a1a93d83ffae2db69de377771a422b2f5e6a02a0206fb5616062","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    lo, hi = sorted((x['from'], x['to']))\n    d = sum(x['heights_mm'][lo:hi])\n    if d == 0:\n        return 0\n    v = x['vmax']\n    a = x['acc']\n    if d * a >= v * v:\n        t = d / v + v / a\n    else:\n        t = 2 * math.sqrt(d / a)\n    return math.ceil(t * 1000 - 1e-9)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('sampled regression 1', {'heights_mm': [5000, 4200, 3500, 4200, 4200, 5000, 3000, 3500, 5000, 4200, 3500], 'from': 7, 'to': 0, 'vmax': 1600, 'acc': 1200}, 19521), ('sampled regression 4', {'heights_mm': [3500, 3500, 5000, 3500], 'from': 1, 'to': 1, 'vmax': 4000, 'acc': 600}, 0), ('sampled regression 7', {'heights_mm': [3500, 3500, 4200, 5000, 3500], 'from': 4, 'to': 1, 'vmax': 2500, 'acc': 1200}, 7164)], [('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 4', {'heights_mm': [3500, 3500, 5000, 3500], 'from': 1, 'to': 1, 'vmax': 4000, 'acc': 600}, 0), ('sampled regression 11', {'heights_mm': [4200, 3500, 5000, 3000, 3000, 5000, 4200], 'from': 3, 'to': 2, 'vmax': 1000, 'acc': 1000}, 6000), ('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('sampled regression 12', {'heights_mm': [3000, 5000, 3000, 5000, 4200, 5000, 3000, 4200, 4200, 3500], 'from': 5, 'to': 1, 'vmax': 1000, 'acc': 600}, 18867), ('sampled regression 15', {'heights_mm': [3000, 3500, 3000, 3000, 5000, 3000, 3500, 3000, 3000, 3500], 'from': 4, 'to': 7, 'vmax': 1000, 'acc': 600}, 13167), ('sampled regression 18', {'heights_mm': [4200, 3000, 3500, 5000, 3500], 'from': 3, 'to': 4, 'vmax': 1000, 'acc': 800}, 6250)], [('regression: long run at contract speed', {'heights_mm': [4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000, 4000], 'from': 0, 'to': 9, 'vmax': 2500, 'acc': 1000}, 16900), ('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('sampled regression 11', {'heights_mm': [4200, 3500, 5000, 3000, 3000, 5000, 4200], 'from': 3, 'to': 2, 'vmax': 1000, 'acc': 1000}, 6000), ('sampled regression 19', {'heights_mm': [5000, 3500, 3000, 5000, 5000, 4200, 5000, 4200], 'from': 0, 'to': 7, 'vmax': 1000, 'acc': 1000}, 31700), ('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('sampled regression 23', {'heights_mm': [5000, 3000, 3000, 4200, 4200, 3500, 3000], 'from': 1, 'to': 0, 'vmax': 1600, 'acc': 1000}, 4725), ('sampled regression 26', {'heights_mm': [4200, 5000, 4200, 4200, 3000, 3500, 3500, 3500], 'from': 7, 'to': 0, 'vmax': 4000, 'acc': 1000}, 10900), ('sampled regression 29', {'heights_mm': [3000, 3000, 3500, 3500, 3000, 4200, 3500, 3000, 3000, 4200, 3500, 5000], 'from': 0, 'to': 4, 'vmax': 1000, 'acc': 1000}, 14000)], [('regression: short hop without reaching speed', {'heights_mm': [3000, 3000, 3000, 3000, 3000], 'from': 1, 'to': 2, 'vmax': 4000, 'acc': 800}, 3873), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 18', {'heights_mm': [4200, 3000, 3500, 5000, 3500], 'from': 3, 'to': 4, 'vmax': 1000, 'acc': 800}, 6250), ('sampled regression 25', {'heights_mm': [3000, 3000, 3500, 4200, 3000, 3000, 5000, 4200, 4200], 'from': 4, 'to': 6, 'vmax': 2500, 'acc': 600}, 6325), ('regression: fractional milliseconds', {'heights_mm': [3500, 3500, 3500, 3500], 'from': 0, 'to': 3, 'vmax': 1600, 'acc': 600}, 9230), ('sampled regression 34', {'heights_mm': [3000, 5000, 3500, 4200, 3500, 3000, 3500], 'from': 3, 'to': 5, 'vmax': 4000, 'acc': 800}, 6205), ('sampled regression 37', {'heights_mm': [3000, 3000, 5000, 3000, 5000], 'from': 2, 'to': 4, 'vmax': 1000, 'acc': 1200}, 8834), ('sampled regression 40', {'heights_mm': [3000, 3500, 3500, 5000], 'from': 0, 'to': 2, 'vmax': 1600, 'acc': 1000}, 5663)], [('regression: between the two regimes', {'heights_mm': [3500, 3500, 3500, 3500, 3500, 3500], 'from': 0, 'to': 2, 'vmax': 2500, 'acc': 800}, 5917), ('regression: one floor up', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 0, 'to': 1, 'vmax': 2500, 'acc': 1000}, 3465), ('sampled regression 25', {'heights_mm': [3000, 3000, 3500, 4200, 3000, 3000, 5000, 4200, 4200], 'from': 4, 'to': 6, 'vmax': 2500, 'acc': 600}, 6325), ('sampled regression 31', {'heights_mm': [3500, 5000, 4200, 3500, 5000], 'from': 4, 'to': 2, 'vmax': 1000, 'acc': 600}, 9367), ('regression: downward trip', {'heights_mm': [3000, 3500, 4200, 5000], 'from': 3, 'to': 1, 'vmax': 2500, 'acc': 1000}, 5580), ('sampled regression 45', {'heights_mm': [5000, 3500, 3000, 3500, 4200, 3000, 3500, 3500, 3500, 4200], 'from': 3, 'to': 8, 'vmax': 1000, 'acc': 1200}, 18534), ('sampled regression 48', {'heights_mm': [5000, 3000, 3500, 3000, 3000, 3500, 3500, 3000, 5000, 3500], 'from': 9, 'to': 8, 'vmax': 4000, 'acc': 1000}, 4473), ('sampled regression 51', {'heights_mm': [4200, 4200, 3000, 5000, 5000, 5000, 3500], 'from': 6, 'to': 5, 'vmax': 4000, 'acc': 800}, 5000)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Stipulated toy lift-control contract for a bounded teaching model; it makes no claim of conformance to any lift code or vendor dispatcher and omits real safety cases. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-elevator_dispatch_scheduling-trip-flight-time-floor-rise-slice","generated_at":"2026-09-29T14:47:52.674876+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Lift group controllers make these decisions many times per minute; a wrong answer strands passengers, wastes trips or overrides a safety rule.","repair":"Sum the rises from the lower floor up to, not including, the upper floor.","root_cause":"The slice of floor rises runs one floor too far.","sha256":"2ddbe079f626c4136f5c768b75a137ac810df14f67c0edc1140ca3c7a9f12184","title":"Trip flight time from a trapezoidal profile: floor rise slice · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.427,"exit_code":1,"observations":[{"actual":3742,"check":"regression: one floor up","expected":3465,"passed":false},{"actual":3873,"check":"regression: short hop without reaching speed","expected":3873,"passed":true},{"actual":6180,"check":"regression: downward trip","expected":5580,"passed":false},{"actual":16900,"check":"regression: long run at contract speed","expected":16900,"passed":true},{"actual":5917,"check":"regression: between the two regimes","expected":5917,"passed":true},{"actual":18584,"check":"sampled regression 1","expected":19521,"passed":false},{"actual":0,"check":"sampled regression 4","expected":0,"passed":true},{"actual":7164,"check":"sampled regression 7","expected":7164,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: one floor up\", \"actual\": 3742, \"expected\": 3465, \"passed\": false}, {\"check\": \"regression: short hop without reaching speed\", \"actual\": 3873, \"expected\": 3873, \"passed\": true}, {\"check\": \"regression: downward trip\", \"actual\": 6180, \"expected\": 5580, \"passed\": false}, {\"check\": \"regression: long run at contract speed\", \"actual\": 16900, \"expected\": 16900, \"passed\": true}, {\"check\": \"regression: between the two regimes\", \"actual\": 5917, \"expected\": 5917, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": 18584, \"expected\": 19521, \"passed\": false}, {\"check\": \"sampled regression 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"sampled regression 7\", \"actual\": 7164, \"expected\": 7164, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.143,"exit_code":1,"observations":[{"actual":5100,"check":"regression: one floor up","expected":3465,"passed":false},{"actual":5478,"check":"regression: short hop without reaching speed","expected":3873,"passed":false},{"actual":7580,"check":"regression: downward trip","expected":5580,"passed":false},{"actual":18500,"check":"regression: long run at contract speed","expected":16900,"passed":false},{"actual":7325,"check":"regression: between the two regimes","expected":5917,"passed":false},{"actual":21709,"check":"sampled regression 1","expected":19521,"passed":false},{"actual":4831,"check":"sampled regression 4","expected":0,"passed":false},{"actual":8564,"check":"sampled regression 7","expected":7164,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: one floor up\", \"actual\": 5100, \"expected\": 3465, \"passed\": false}, {\"check\": \"regression: short hop without reaching speed\", \"actual\": 5478, \"expected\": 3873, \"passed\": false}, {\"check\": \"regression: downward trip\", \"actual\": 7580, \"expected\": 5580, \"passed\": false}, {\"check\": \"regression: long run at contract speed\", \"actual\": 18500, \"expected\": 16900, \"passed\": false}, {\"check\": \"regression: between the two regimes\", \"actual\": 7325, \"expected\": 5917, \"passed\": false}, {\"check\": \"sampled regression 1\", \"actual\": 21709, \"expected\": 19521, \"passed\": false}, {\"check\": \"sampled regression 4\", \"actual\": 4831, \"expected\": 0, \"passed\": false}, {\"check\": \"sampled regression 7\", \"actual\": 8564, \"expected\": 7164, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.43,"exit_code":0,"observations":[{"actual":3465,"check":"regression: one floor up","expected":3465,"passed":true},{"actual":3873,"check":"regression: short hop without reaching speed","expected":3873,"passed":true},{"actual":5580,"check":"regression: downward trip","expected":5580,"passed":true},{"actual":16900,"check":"regression: long run at contract speed","expected":16900,"passed":true},{"actual":5917,"check":"regression: between the two regimes","expected":5917,"passed":true},{"actual":19521,"check":"sampled regression 1","expected":19521,"passed":true},{"actual":0,"check":"sampled regression 4","expected":0,"passed":true},{"actual":7164,"check":"sampled regression 7","expected":7164,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: one floor up\", \"actual\": 3465, \"expected\": 3465, \"passed\": true}, {\"check\": \"regression: short hop without reaching speed\", \"actual\": 3873, \"expected\": 3873, \"passed\": true}, {\"check\": \"regression: downward trip\", \"actual\": 5580, \"expected\": 5580, \"passed\": true}, {\"check\": \"regression: long run at contract speed\", \"actual\": 16900, \"expected\": 16900, \"passed\": true}, {\"check\": \"regression: between the two regimes\", \"actual\": 5917, \"expected\": 5917, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": 19521, \"expected\": 19521, \"passed\": true}, {\"check\": \"sampled regression 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"sampled regression 7\", \"actual\": 7164, \"expected\": 7164, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}