01-full-search-eval

Generated from /infai/blaas/projects/downward-claude-translator/experiments/2026-05-22-translator-cpp-vs-py/data/01-full-search-eval at 2026-05-28 17:11:27

Summary

30 attributes
cost - Sum54123927.0054278505.0054124045.0054278535.00
coverage - Sum2337230023352297
evaluations - Geometric mean2411.392521.932431.422542.66
expansions - Geometric mean0.000.000.000.00
generated - Geometric mean0.000.000.000.00
memory - Sum115942276110876276116258640111005952
plan_length - Sum318755322631318790322661
planner_exit_code - Sum91369997961510509
total_time - Geometric mean0.560.780.560.77
translator_axioms - Sum1274650124615212745041246006
translator_facts - Sum3424536438560034588904385600
translator_mutex_groups - Sum434380441700
translator_operators - Sum44335882444716864433588244471686
translator_peak_memory - Sum210863664204741936409033020420567076
translator_task_size - Sum405891490469206857407913822469207287
translator_time_completing_instantiation - Sum1887.391865.713175.593183.00
translator_time_computing_fact_groups - Sum796.0847.171007.85145.08
translator_time_computing_model - Sum282.23284.351322.541304.24
translator_time_detecting_unreachable_propositions - Sum76.4782.591309.791577.09
translator_time_done - Sum3837.523167.3510997.1011555.56
translator_time_generating_datalog_program - Sum3.513.6016.4816.94
translator_time_normalizing_datalog_program - Sum6.356.3638.6338.28
translator_time_normalizing_task - Sum1.361.2913.4313.67
translator_time_parsing - Sum39.0638.93151.51151.93
translator_time_processing_axioms - Sum60.6360.05151.04148.84
translator_time_reordering_and_filtering_variables - Sum112.23186.03825.871467.26
translator_time_translating_task - Sum397.16413.612638.183044.93
translator_time_writing_output - Sum25.0328.73504.49607.68
translator_variables - Sum1275145219280013081872192800