[
    {
        "id": "b433ebf0-0331-4b9f-93ae-12f63d77bd08",
        "reasoner": "imandrax",
        "input": "let f x=x+1\nverify (fun x -> f x > x)",
        "tags": [
            "test"
        ]
    },
    {
        "id": "a92148e7-7efe-4502-8ad0-cf42ab12f739",
        "reasoner": "prover9",
        "input": "formulas(sos).\n\ne * x = x.\nx' * x = e.\n(x * y) * z = x * (y * z).\n\nx * x = e.\n\nend_of_list.\n\nformulas(goals).\n\nx * y = y * x.\n\nend_of_list.",
        "tags": [
            "test"
        ]
    },
    {
        "id": "8e94a5f2-a976-4000-984d-9815e92df8e2",
        "reasoner": "imandrax",
        "input": "let hypercube_graph (n : int) : int =\n  Int.pow 2 n",
        "tags": [
            "test"
        ]
    },
    {
        "id": "6eb02402-7647-4e45-aea6-1c314bd21a77",
        "reasoner": "imandrax",
        "input": "let add_1_to_a_given_number_1 (x : int) : int =\n  -(~-x)",
        "tags": [
            "test"
        ]
    },
    {
        "id": "c46e52f8-2d9b-43ac-8f60-942083f8db93",
        "reasoner": "imandrax",
        "input": "let program_area_square (side : real) : real =\n  side *. side",
        "tags": [
            "test"
        ]
    },
    {
        "id": "1a2d4f5b-0663-4843-b8e5-5e17aa093199",
        "reasoner": "imandrax",
        "input": "let sum_binomial_coefficients_1 (n : int) : int =\n  Int.pow 2 n",
        "tags": [
            "test"
        ]
    },
    {
        "id": "6cb0444a-35f0-41c9-87ce-3122bc7efb32",
        "reasoner": "imandrax",
        "input": "let sort_array_contain_1_n_values (n : int) : int list =\n  1 -- n",
        "tags": [
            "test"
        ]
    },
    {
        "id": "2cb8f7cd-0057-4704-9c86-0700f7f125ce",
        "reasoner": "imandrax",
        "input": "let number_triangles_n_moves_1 (n : int) : int =\n  2 * Int.pow 3 n - 1",
        "tags": [
            "test"
        ]
    },
    {
        "id": "7ba0b710-bf9e-43ba-9cae-a1d0cdcf55d7",
        "reasoner": "imandrax",
        "input": "let area_square_circumscribed_circle (r : real) : real =\n  2.0 *. r *. r",
        "tags": [
            "test"
        ]
    },
    {
        "id": "8840ece7-400d-4397-89d7-0712767b5af1",
        "reasoner": "imandrax",
        "input": "let check_whether_given_number_even_odd (n : int) : bool =\n  n mod 2 = 0",
        "tags": [
            "test"
        ]
    },
    {
        "id": "f87f4c4a-5e46-4f20-9fb6-75f64cf2d453",
        "reasoner": "imandrax",
        "input": "let program_print_sum_given_nth_term_1 (n : real) : real =\n  Real.pow n 2",
        "tags": [
            "test"
        ]
    },
    {
        "id": "57f1311d-196b-4b63-ba06-653967c207b1",
        "reasoner": "imandrax",
        "input": "let check_whether_given_number_even_odd_1 (n : int) : bool =\n  n mod 2 = 0",
        "tags": [
            "test"
        ]
    }
]