{
  "engine_commit": "9be7804",
  "python": "3.12.10",
  "swi": "SWI-Prolog version 10.0.2 for x64-win64",
  "machine": "Windows 11, Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
  "batches": 5,
  "results": [
    {
      "name": "nrev30",
      "description": "Naive reverse of a 30-element list",
      "query": "nrev([1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30], R)",
      "answers": 1,
      "engine_default_ms": 103.99279000121169,
      "engine_untabled_ms": 8.960244000190869,
      "swi_ms": 0.007426798343658447,
      "ratio_default": 14002.371572402859,
      "ratio_untabled": 1206.4746591432352,
      "batches_ms": {
        "engine_default": [
          103.99279000121169,
          102.52731000073254,
          105.95692999777384,
          104.63152999873273,
          103.52499000146054
        ],
        "engine_untabled": [
          9.003139999695122,
          8.894576000748202,
          8.960244000190869,
          8.844654000131413,
          9.098263999912888
        ],
        "swi": [
          0.007316792011260986,
          0.007324445247650146,
          0.007426798343658447,
          0.007600700855255127,
          0.00755850076675415
        ]
      }
    },
    {
      "name": "queens6",
      "description": "All solutions of 6-queens",
      "query": "queens([1,2,3,4,5,6], Qs)",
      "answers": 4,
      "engine_default_ms": 484.96003332547843,
      "engine_untabled_ms": 197.9425000026822,
      "swi_ms": 0.531764030456543,
      "ratio_default": 911.9835219187705,
      "ratio_untabled": 372.2374750182704,
      "batches_ms": {
        "engine_default": [
          492.02983333573985,
          490.32166668136296,
          480.06959998747334,
          481.5574666718021,
          484.96003332547843
        ],
        "engine_untabled": [
          195.44307999312878,
          197.71417999872938,
          198.5493200016208,
          198.12500000698492,
          197.9425000026822
        ],
        "swi": [
          0.5308840274810791,
          0.5376250743865967,
          0.531764030456543,
          0.5444059371948242,
          0.5295591354370117
        ]
      }
    },
    {
      "name": "split100",
      "description": "All ways to split a 100-item list with app/3",
      "query": "app(X, Y, [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100])",
      "answers": 101,
      "engine_default_ms": 3829.470800003037,
      "engine_untabled_ms": 30.364410000038333,
      "swi_ms": 0.007264423370361328,
      "ratio_default": 527154.1325120429,
      "ratio_untabled": 4179.878904625024,
      "batches_ms": {
        "engine_default": [
          3833.309300011024,
          3829.470800003037,
          3874.2705999757163,
          3821.1816999828443,
          3782.404500001576
        ],
        "engine_untabled": [
          29.929985001217574,
          30.12766500178259,
          30.364410000038333,
          30.511164999916218,
          30.573105000075884
        ],
        "swi": [
          0.00810537338256836,
          0.007056570053100586,
          0.0076355934143066415,
          0.007264423370361328,
          0.0071846008300781245
        ]
      }
    }
  ]
}