# Infer-Out Model 2 Evaluation (merged.O1.func_map.infer-host)

- Timestamp: 20251121-195439
- Source JSONL: merged.O1.func_map.infer.jsonl
- Target: host
- Total cases: 388
- Replacement success: 388 (100.00%)
- Compilable: 173 (44.59%)
- Executable: 113 (29.12%)

## Benchmark Breakdown
| Benchmark | Cases | Replacement% | Build% | Exec% |
| --- | --- | --- | --- | --- |
| ackermann | 2 | 100.00% | 0.00% | 0.00% |
| aes | 10 | 100.00% | 100.00% | 30.00% |
| anagram | 13 | 100.00% | 0.00% | 0.00% |
| audio-codec | 3 | 100.00% | 66.67% | 0.00% |
| avl-tree | 17 | 100.00% | 0.00% | 0.00% |
| banner | 1 | 100.00% | 0.00% | 0.00% |
| bit-kernels | 5 | 100.00% | 80.00% | 80.00% |
| blake2b | 5 | 100.00% | 40.00% | 0.00% |
| bloom-filter | 6 | 100.00% | 0.00% | 0.00% |
| boyer-moore-search | 3 | 100.00% | 33.33% | 33.33% |
| bubble-sort | 3 | 100.00% | 66.67% | 66.67% |
| c-interp | 11 | 100.00% | 18.18% | 18.18% |
| ccmac | 1 | 100.00% | 0.00% | 0.00% |
| checkers | 17 | 100.00% | 23.53% | 23.53% |
| cipher | 3 | 100.00% | 33.33% | 0.00% |
| congrad | 2 | 100.00% | 0.00% | 0.00% |
| connect4-minimax | 13 | 100.00% | 92.31% | 53.85% |
| convex-hull | 4 | 100.00% | 25.00% | 0.00% |
| dhrystone | 4 | 100.00% | 0.00% | 0.00% |
| distinctness | 2 | 100.00% | 100.00% | 50.00% |
| fft-int | 4 | 100.00% | 50.00% | 50.00% |
| flood-fill | 2 | 100.00% | 50.00% | 50.00% |
| frac-calc | 10 | 100.00% | 60.00% | 50.00% |
| fuzzy-match | 3 | 100.00% | 33.33% | 0.00% |
| fy-shuffle | 3 | 100.00% | 66.67% | 66.67% |
| gcd-list | 2 | 100.00% | 50.00% | 50.00% |
| grad-descent | 4 | 100.00% | 25.00% | 0.00% |
| graph-tests | 21 | 100.00% | 52.38% | 42.86% |
| hanoi | 2 | 100.00% | 0.00% | 0.00% |
| heapsort | 2 | 100.00% | 0.00% | 0.00% |
| heat-calc | 1 | 100.00% | 100.00% | 100.00% |
| huff-encode | 13 | 100.00% | 15.38% | 15.38% |
| idct-alg | 4 | 100.00% | 75.00% | 25.00% |
| indirect-test | 2 | 100.00% | 50.00% | 0.00% |
| k-means | 6 | 100.00% | 66.67% | 50.00% |
| kadane | 2 | 100.00% | 100.00% | 50.00% |
| kepler | 7 | 100.00% | 42.86% | 42.86% |
| knapsack | 3 | 100.00% | 33.33% | 33.33% |
| knights-tour | 3 | 100.00% | 66.67% | 66.67% |
| life | 15 | 100.00% | 13.33% | 13.33% |
| longdiv | 7 | 100.00% | 71.43% | 57.14% |
| lu-decomp | 3 | 100.00% | 66.67% | 0.00% |
| lz-compress | 2 | 100.00% | 50.00% | 0.00% |
| mandelbrot | 1 | 100.00% | 100.00% | 100.00% |
| matmult | 1 | 100.00% | 0.00% | 0.00% |
| max-subseq | 2 | 100.00% | 0.00% | 0.00% |
| mersenne | 4 | 100.00% | 100.00% | 75.00% |
| minspan | 8 | 100.00% | 50.00% | 25.00% |
| monte-carlo | 1 | 100.00% | 100.00% | 100.00% |
| murmur-hash | 2 | 100.00% | 50.00% | 50.00% |
| n-queens | 3 | 100.00% | 33.33% | 33.33% |
| natlog | 1 | 100.00% | 100.00% | 100.00% |
| nbody-sim | 1 | 100.00% | 100.00% | 0.00% |
| nr-solver | 1 | 100.00% | 100.00% | 0.00% |
| packet-filter | 4 | 100.00% | 0.00% | 0.00% |
| parrondo | 2 | 100.00% | 100.00% | 50.00% |
| pascal | 3 | 100.00% | 66.67% | 66.67% |
| pi-calc | 1 | 100.00% | 0.00% | 0.00% |
| primal-test | 3 | 100.00% | 66.67% | 66.67% |
| priority-queue | 5 | 100.00% | 20.00% | 0.00% |
| qsort-demo | 6 | 100.00% | 83.33% | 50.00% |
| qsort-test | 5 | 100.00% | 80.00% | 80.00% |
| quaternions | 4 | 100.00% | 25.00% | 25.00% |
| rabinkarp-search | 2 | 100.00% | 50.00% | 50.00% |
| rand-test | 3 | 100.00% | 100.00% | 33.33% |
| ransac | 2 | 100.00% | 0.00% | 0.00% |
| regex-parser | 8 | 100.00% | 0.00% | 0.00% |
| rho-factor | 4 | 100.00% | 75.00% | 0.00% |
| rle-compress | 2 | 100.00% | 0.00% | 0.00% |
| rsa-cipher | 4 | 100.00% | 50.00% | 0.00% |
| sat-solver | 5 | 100.00% | 80.00% | 40.00% |
| shortest-path | 3 | 100.00% | 100.00% | 66.67% |
| sieve | 1 | 100.00% | 0.00% | 0.00% |
| simple-grep | 1 | 100.00% | 0.00% | 0.00% |
| spelt2num | 1 | 100.00% | 0.00% | 0.00% |
| spirograph | 2 | 100.00% | 50.00% | 0.00% |
| sudoku-solver | 4 | 100.00% | 50.00% | 50.00% |
| tetris-sim | 12 | 100.00% | 83.33% | 41.67% |
| tiny-NN | 6 | 100.00% | 66.67% | 50.00% |
| topo-sort | 7 | 100.00% | 14.29% | 14.29% |
| totient | 4 | 100.00% | 75.00% | 75.00% |
| transcend | 1 | 100.00% | 0.00% | 0.00% |
| uniquify | 1 | 100.00% | 100.00% | 0.00% |
| vectors-3d | 8 | 100.00% | 50.00% | 50.00% |
| verlet | 1 | 100.00% | 0.00% | 0.00% |
| weekday | 2 | 100.00% | 100.00% | 100.00% |

## Compilation Failures
- ackermann/ackermann.c::ack@0x11e9
- ackermann/ackermann.c::main@0x131c
- anagram/anagram.c::AddWords@0x16ff
- anagram/anagram.c::BuildMask@0x1372
- anagram/anagram.c::BuildWord@0x15cd
- anagram/anagram.c::CompareFrequency@0x11e9
- anagram/anagram.c::DumpCandidates@0x176a
- anagram/anagram.c::DumpWords@0x17e8
- anagram/anagram.c::FindAnagram@0x1839
- anagram/anagram.c::GetPhrase@0x1a6e
- anagram/anagram.c::NewWord@0x1511
- anagram/anagram.c::NextWord@0x1562
- anagram/anagram.c::ReadDict@0x1233
- anagram/anagram.c::SortCandidates@0x19ed
- anagram/anagram.c::main@0x1a93
- audio-codec/audio-codec.c::main@0x12d7
- avl-tree/avlcore.c::CheckTreeNodeRotation@0x186a
- avl-tree/element.c::Compare@0x1764
- avl-tree/avlcore.c::DeleteByElement@0x1d2b
- avl-tree/avlcore.c::DeleteByElementRecursive@0x1b8b
- avl-tree/avlcore.c::DeleteLeftMost@0x1af1
- avl-tree/avlcore.c::DoubleLeftRotation@0x1845
- avl-tree/avlcore.c::DoubleRightRotation@0x1821
- avl-tree/avlcore.c::FindByElement@0x1790
- avl-tree/avlcore.c::Height@0x1d6e
- avl-tree/avlcore.c::Insert@0x1a73
- avl-tree/avlcore.c::InsertNode@0x199b
- avl-tree/avlcore.c::MakeEmpty@0x1ab6
- avl-tree/avlcore.c::SingleLeftRotation@0x180e
- avl-tree/avlcore.c::SingleRightRotation@0x17fb
- avl-tree/avl-tree.c::breadth@0x1337
- avl-tree/avl-tree.c::main@0x1380
- avl-tree/avl-tree.c::printTree@0x11e9
- banner/banner.c::main@0x11e9
- bit-kernels/bit-kernels.c::main@0x12e8
- blake2b/blake2b.c::F@0x1258
- blake2b/blake2b.c::assert_bytes@0x1509
- blake2b/blake2b.c::blake2b@0x1616
- bloom-filter/bloom-filter.c::bad_search@0x11e9
- bloom-filter/tinybloom.c::bfilter_add@0x14b2
- bloom-filter/tinybloom.c::bfilter_check@0x14d8
- bloom-filter/tinybloom.c::bfilter_intersect@0x1504
- bloom-filter/tinybloom.c::destroy_bfilter@0x148a
- bloom-filter/bloom-filter.c::main@0x1217
- boyer-moore-search/boyer-moore-search.c::badCharHeuristic@0x11e9
- boyer-moore-search/boyer-moore-search.c::main@0x1329
- bubble-sort/bubble-sort.c::bubblesort@0x1246
- c-interp/c-interp.c::enum_declaration@0x2e53
- c-interp/c-interp.c::eval@0x35d3
- c-interp/c-interp.c::function_body@0x310b
- c-interp/c-interp.c::function_declaration@0x330c
- c-interp/c-interp.c::function_parameter@0x2f73
- c-interp/c-interp.c::global_declaration@0x339e
- c-interp/c-interp.c::main@0x3c45
- c-interp/c-interp.c::next@0x11e9
- c-interp/c-interp.c::statement@0x2c41
- ccmac/ccmac.c::main@0x11e9
- checkers/functions.c::all_possible_moves@0x19c8
- checkers/functions.c::board_cost@0x1ed0
- checkers/functions.c::change_board@0x18fa
- checkers/functions.c::check_move_error_1_to_5@0x1830
- checkers/functions.c::fill_print_initial@0x15dd
- checkers/functions.c::free_tree@0x236c
- checkers/functions.c::generate_node_children@0x2140
- checkers/functions.c::generate_tree_depth_3@0x2248
- checkers/functions.c::link_new_node@0x204d
- checkers/checkers.c::main@0x11e9
- checkers/functions.c::move_score_forced@0x22d3
- checkers/functions.c::print_board@0x1713
- checkers/functions.c::print_move_information@0x1f4a
- cipher/cipher.c::encipher@0x11e9
- cipher/cipher.c::main@0x12b3
- congrad/congrad.c::cg_spmv@0x11e9
- congrad/congrad.c::main@0x125a
- connect4-minimax/connect4-minimax.c::init_board@0x11e9
- convex-hull/convex-hull.c::comparePoints@0x1241
- convex-hull/convex-hull.c::main@0x130d
- convex-hull/convex-hull.c::sortPoints@0x1299
- dhrystone/dhrystone.c::PFunc_1@0x12ab
- dhrystone/dhrystone.c::PFunc_2@0x12c8
- dhrystone/dhrystone.c::PProc_6@0x11e9
- dhrystone/dhrystone.c::PProc_8@0x1241
- fft-int/fft-int.c::fix_fft@0x11e9
- fft-int/fft-int.c::window@0x1435
- flood-fill/flood-fill.c::main@0x130f
- frac-calc/frac-calc.c::copyr@0x12b5
- frac-calc/frac-calc.c::frac_init@0x132d
- frac-calc/frac-calc.c::main@0x18c1
- frac-calc/frac-calc.c::print@0x1842
- fuzzy-match/fuzzy-match.c::fuzzy_match_recurse@0x21e9
- fuzzy-match/fuzzy-match.c::main@0x2391
- fy-shuffle/fy-shuffle.c::main@0x12de
- gcd-list/gcd-list.c::gcd@0x11e9
- grad-descent/grad-descent.c::derivateWRTBias@0x1247
- grad-descent/grad-descent.c::derivateWRTWeight@0x11e9
- grad-descent/grad-descent.c::gradientDescent@0x129d
- graph-tests/graph-tests.c::addEdge@0x127b
- graph-tests/graph-tests.c::addEdge_DFS@0x177d
- graph-tests/graph-tests.c::addVertex@0x1743
- graph-tests/graph-tests.c::bfs@0x144f
- graph-tests/graph-tests.c::bubbleSort@0x15e7
- graph-tests/graph-tests.c::createGraph@0x1206
- graph-tests/graph-tests.c::createNode@0x11e9
- graph-tests/graph-tests.c::createQueue@0x12cd
- graph-tests/graph-tests.c::depthFirstSearch@0x1803
- graph-tests/graph-tests.c::insertAtTheBegin@0x15ae
- hanoi/hanoi.c::main@0x1261
- hanoi/hanoi.c::mov@0x11e9
- heapsort/heapsort.c::HSORT@0x11e9
- heapsort/heapsort.c::main@0x13d4
- huff-encode/huff-encode.c::buildHuffmanTree@0x144e
- huff-encode/huff-encode.c::buildMinHeap@0x139e
- huff-encode/huff-encode.c::createAndBuildMinHeap@0x13d3
- huff-encode/huff-encode.c::createMinHeap@0x123e
- huff-encode/huff-encode.c::createNode@0x1209
- huff-encode/huff-encode.c::decodeString@0x158b
- huff-encode/huff-encode.c::extractMin@0x1323
- huff-encode/huff-encode.c::generateCodes@0x14b0
- huff-encode/huff-encode.c::insertMinHeap@0x134c
- huff-encode/huff-encode.c::minHeapify@0x128b
- huff-encode/huff-encode.c::swapNodes@0x127a
- idct-alg/idct-alg.c::C@0x11e9
- indirect-test/indirect-test.c::bar@0x11f3
- k-means/k-means.c::calculateCentroid@0x124d
- k-means/k-means.c::kMeans@0x12e7
- kepler/kepler.c::bin_fact@0x1718
- kepler/kepler.c::binary@0x121d
- kepler/kepler.c::kepler@0x1a6e
- kepler/kepler.c::main@0x131f
- knapsack/knapsack.c::main@0x128b
- knapsack/knapsack.c::max@0x11e9
- knights-tour/knights-tour.c::solveKTUtil@0x1273
- life/life.c::draw@0x12bb
- life/life.c::flip@0x136f
- life/life.c::getDown@0x1406
- life/life.c::getDownLeft@0x1487
- life/life.c::getDownRight@0x14b4
- life/life.c::getLeft@0x1390
- life/life.c::getNumNeigbors@0x14e2
- life/life.c::getRight@0x13b7
- life/life.c::getUp@0x13df
- life/life.c::getUpLeft@0x142e
- life/life.c::init@0x11e9
- life/life.c::process@0x15a3
- life/life.c::sleep@0x168e
- longdiv/longdiv.c::main@0x1691
- longdiv/longdiv.c::sub@0x11e9
- lu-decomp/lu-decomp.c::print_matrix@0x11e9
- lz-compress/lz-compress.c::main@0x147c
- matmult/matmult.c::main@0x11e9
- max-subseq/max-subseq.c::lcsAlgo@0x11e9
- max-subseq/max-subseq.c::main@0x14c4
- minspan/minspan.c::displayGraph@0x13f5
- minspan/minspan.c::displayGraph1@0x14f3
- minspan/minspan.c::displayPath@0x15fa
- minspan/minspan.c::displayTree@0x16b7
- murmur-hash/murmur-hash.c::murmurhash@0x11e9
- n-queens/n-queens.c::main@0x12b1
- n-queens/n-queens.c::solve@0x1250
- packet-filter/packet-filter.c::check_packet_filter@0x133d
- packet-filter/packet-filter.c::generate_packet@0x11e9
- packet-filter/packet-filter.c::main@0x145c
- packet-filter/packet-filter.c::print_packet@0x13a1
- pascal/pascal.c::main@0x12d1
- pi-calc/pi-calc.c::main@0x11e9
- primal-test/primal-test.c::main@0x13ea
- priority-queue/priority-queue.c::newNode@0x11e9
- priority-queue/priority-queue.c::pop@0x122a
- priority-queue/priority-queue.c::printPQ@0x12a3
- priority-queue/priority-queue.c::push@0x1249
- qsort-demo/qsort-demo.c::sort_structs_example@0x14d2
- qsort-test/qsort-test.c::main@0x133f
- quaternions/quaternions.c::euler_from_quat@0x136c
- quaternions/quaternions.c::main@0x15bf
- quaternions/quaternions.c::quat_from_euler@0x11e9
- rabinkarp-search/rabinkarp-search.c::main@0x1366
- ransac/ransac.c::main@0x13cf
- ransac/ransac.c::ransac_line_fitting@0x1238
- regex-parser/regex-parser.c::main@0x2b4b
- regex-parser/regex-parser.c::matchalphanum@0x21fc
- regex-parser/regex-parser.c::matchcharclass@0x222a
- regex-parser/regex-parser.c::matchone@0x23e1
- regex-parser/regex-parser.c::matchpattern@0x2491
- regex-parser/regex-parser.c::re_compile@0x270b
- regex-parser/regex-parser.c::re_matchp@0x268a
- regex-parser/regex-parser.c::re_print@0x2964
- rho-factor/rho-factor.c::main@0x3ef0
- rle-compress/rle-compress.c::main@0x1318
- rle-compress/rle-compress.c::run_length_encode@0x11e9
- rsa-cipher/rsa-cipher.c::main@0x1527
- rsa-cipher/rsa-cipher.c::mod_pow@0x11e9
- sat-solver/sat-solver.c::conflict@0x11e9
- sieve/sieve.c::main@0x11e9
- simple-grep/simple-grep.c::main@0x11e9
- spelt2num/spelt2num.c::main@0x11e9
- spirograph/spirograph.c::spirograph@0x11e9
- sudoku-solver/sudoku-solver.c::isSafe@0x11e9
- sudoku-solver/sudoku-solver.c::solveSudoku@0x12c5
- tetris-sim/tetris-sim.c::best_move@0x157c
- tetris-sim/tetris-sim.c::evaluate_board@0x144b
- tiny-NN/tiny-NN.c::g@0x1223
- tiny-NN/tiny-NN.c::g_deriv@0x11e9
- topo-sort/topo-sort.c::addEdge@0x127d
- topo-sort/topo-sort.c::createGraph@0x1223
- topo-sort/topo-sort.c::createListNode@0x1206
- topo-sort/topo-sort.c::createStackNode@0x11e9
- topo-sort/topo-sort.c::topologicalSort@0x132c
- topo-sort/topo-sort.c::topologicalSortUtil@0x12b7
- totient/totient.c::my_gcd@0x11e9
- transcend/transcend.c::main@0x11e9
- vectors-3d/vectors-3d.c::get_angle@0x1429
- vectors-3d/vectors-3d.c::main@0x14cb
- vectors-3d/vectors-3d.c::print_vector@0x12dc
- vectors-3d/vectors-3d.c::vector_prod@0x127e
- verlet/verlet.c::main@0x11e9

## Execution Failures
- aes/aes.c::aes_decrypt@0x161b
- aes/aes.c::aes_encrypt@0x1560
- aes/aes.c::inv_mix_columns@0x1421
- aes/aes.c::inv_shift_rows@0x12cd
- aes/aes.c::key_expansion@0x14c3
- aes/aes.c::main@0x16d1
- aes/aes.c::mix_columns@0x1363
- audio-codec/audio-codec.c::decode@0x1271
- audio-codec/audio-codec.c::encode@0x11e9
- blake2b/blake2b.c::G@0x11e9
- blake2b/blake2b.c::test@0x1982
- cipher/cipher.c::decipher@0x1251
- connect4-minimax/connect4-minimax.c::check_win@0x13cd
- connect4-minimax/connect4-minimax.c::get_next_open_row@0x131b
- connect4-minimax/connect4-minimax.c::minimax@0x17ed
- connect4-minimax/connect4-minimax.c::print_board@0x122e
- connect4-minimax/connect4-minimax.c::score_position@0x158e
- convex-hull/convex-hull.c::orientation@0x11e9
- distinctness/distinctness.c::isDistinct@0x11e9
- frac-calc/frac-calc.c::avaliatokens@0x1421
- fuzzy-match/fuzzy-match.c::fuzzy_match@0x233b
- grad-descent/grad-descent.c::main@0x1312
- graph-tests/graph-tests.c::dequeue@0x1357
- graph-tests/graph-tests.c::enqueue@0x130a
- idct-alg/idct-alg.c::idct_2d@0x1216
- idct-alg/idct-alg.c::main@0x140e
- indirect-test/indirect-test.c::main@0x1257
- k-means/k-means.c::printEPS@0x1546
- kadane/kadane.c::main@0x123b
- longdiv/longdiv.c::sbc@0x12dc
- lu-decomp/lu-decomp.c::lu_decomposition@0x1273
- lu-decomp/lu-decomp.c::main@0x13ad
- lz-compress/lz-compress.c::lz77_decompress@0x13ca
- mersenne/mersenne.c::sgenrand@0x11e9
- minspan/minspan.c::initializeData@0x130c
- minspan/minspan.c::minSpanTree@0x1231
- nbody-sim/nbody-sim.c::main@0x11e9
- nr-solver/nr-solver.c::rn_solver@0x121c
- parrondo/parrondo.c::main@0x127d
- priority-queue/priority-queue.c::main@0x130a
- qsort-demo/qsort-demo.c::sort_cstrings_example@0x13b3
- qsort-demo/qsort-demo.c::sort_integers_example@0x1292
- rand-test/rand-test.c::bad_rand@0x11e9
- rand-test/rand-test.c::run_tests@0x1220
- rho-factor/rho-factor.c::factor@0x3ddc
- rho-factor/rho-factor.c::factor_worker@0x3d1d
- rho-factor/rho-factor.c::multiplication_modulo@0x11e9
- rsa-cipher/rsa-cipher.c::mod_inverse@0x12f3
- rsa-cipher/rsa-cipher.c::print_hex_int128@0x1444
- sat-solver/sat-solver.c::main@0x141e
- sat-solver/sat-solver.c::printFormula@0x12ff
- shortest-path/shortest-path.c::main@0x1333
- spirograph/spirograph.c::test@0x1347
- tetris-sim/tetris-sim.c::check_collision@0x121c
- tetris-sim/tetris-sim.c::clear_lines@0x12b6
- tetris-sim/tetris-sim.c::count_holes@0x13c7
- tetris-sim/tetris-sim.c::main@0x180d
- tetris-sim/tetris-sim.c::print_board@0x174a
- tiny-NN/tiny-NN.c::train@0x133c
- uniquify/uniquify.c::main@0x1201