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

- Timestamp: 20251121-195550
- Source JSONL: merged.O0.func_map.infer.jsonl
- Target: host
- Total cases: 408
- Replacement success: 408 (100.00%)
- Compilable: 181 (44.36%)
- Executable: 140 (34.31%)

## Benchmark Breakdown
| Benchmark | Cases | Replacement% | Build% | Exec% |
| --- | --- | --- | --- | --- |
| ackermann | 2 | 100.00% | 0.00% | 0.00% |
| aes | 11 | 100.00% | 100.00% | 81.82% |
| anagram | 13 | 100.00% | 0.00% | 0.00% |
| audio-codec | 4 | 100.00% | 50.00% | 25.00% |
| avl-tree | 14 | 100.00% | 0.00% | 0.00% |
| banner | 1 | 100.00% | 0.00% | 0.00% |
| bit-kernels | 5 | 100.00% | 100.00% | 80.00% |
| blake2b | 8 | 100.00% | 62.50% | 25.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 | 2 | 100.00% | 0.00% | 0.00% |
| checkers | 15 | 100.00% | 13.33% | 13.33% |
| cipher | 3 | 100.00% | 33.33% | 0.00% |
| congrad | 7 | 100.00% | 14.29% | 14.29% |
| connect4-minimax | 13 | 100.00% | 92.31% | 69.23% |
| convex-hull | 4 | 100.00% | 50.00% | 0.00% |
| dhrystone | 4 | 100.00% | 0.00% | 0.00% |
| distinctness | 2 | 100.00% | 100.00% | 100.00% |
| fft-int | 4 | 100.00% | 25.00% | 25.00% |
| flood-fill | 2 | 100.00% | 50.00% | 50.00% |
| frac-calc | 10 | 100.00% | 60.00% | 60.00% |
| fuzzy-match | 4 | 100.00% | 50.00% | 25.00% |
| fy-shuffle | 4 | 100.00% | 50.00% | 25.00% |
| gcd-list | 2 | 100.00% | 50.00% | 50.00% |
| grad-descent | 4 | 100.00% | 25.00% | 0.00% |
| graph-tests | 21 | 100.00% | 38.10% | 38.10% |
| 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% | 7.69% |
| idct-alg | 4 | 100.00% | 75.00% | 25.00% |
| indirect-test | 2 | 100.00% | 50.00% | 0.00% |
| k-means | 6 | 100.00% | 83.33% | 50.00% |
| kadane | 2 | 100.00% | 100.00% | 50.00% |
| kepler | 7 | 100.00% | 42.86% | 28.57% |
| knapsack | 3 | 100.00% | 66.67% | 66.67% |
| knights-tour | 3 | 100.00% | 66.67% | 66.67% |
| life | 15 | 100.00% | 13.33% | 13.33% |
| longdiv | 7 | 100.00% | 71.43% | 71.43% |
| lu-decomp | 3 | 100.00% | 66.67% | 66.67% |
| 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% | 37.50% | 37.50% |
| 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% | 0.00% |
| nbody-sim | 1 | 100.00% | 100.00% | 0.00% |
| nr-solver | 1 | 100.00% | 100.00% | 0.00% |
| packet-filter | 3 | 100.00% | 0.00% | 0.00% |
| parrondo | 3 | 100.00% | 66.67% | 33.33% |
| pascal | 3 | 100.00% | 66.67% | 66.67% |
| pi-calc | 1 | 100.00% | 0.00% | 0.00% |
| primal-test | 4 | 100.00% | 50.00% | 50.00% |
| priority-queue | 5 | 100.00% | 40.00% | 40.00% |
| qsort-demo | 7 | 100.00% | 42.86% | 42.86% |
| qsort-test | 5 | 100.00% | 80.00% | 60.00% |
| quaternions | 5 | 100.00% | 40.00% | 40.00% |
| rabinkarp-search | 2 | 100.00% | 50.00% | 50.00% |
| rand-test | 2 | 100.00% | 50.00% | 50.00% |
| ransac | 2 | 100.00% | 0.00% | 0.00% |
| regex-parser | 11 | 100.00% | 9.09% | 9.09% |
| rho-factor | 4 | 100.00% | 100.00% | 50.00% |
| rle-compress | 3 | 100.00% | 66.67% | 33.33% |
| rsa-cipher | 4 | 100.00% | 50.00% | 0.00% |
| sat-solver | 5 | 100.00% | 60.00% | 60.00% |
| shortest-path | 3 | 100.00% | 100.00% | 66.67% |
| sieve | 2 | 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% | 25.00% |
| tetris-sim | 12 | 100.00% | 83.33% | 83.33% |
| tiny-NN | 4 | 100.00% | 100.00% | 75.00% |
| topo-sort | 7 | 100.00% | 14.29% | 14.29% |
| totient | 4 | 100.00% | 75.00% | 75.00% |
| transcend | 4 | 100.00% | 75.00% | 75.00% |
| uniquify | 1 | 100.00% | 100.00% | 0.00% |
| vectors-3d | 9 | 100.00% | 44.44% | 44.44% |
| verlet | 4 | 100.00% | 25.00% | 25.00% |
| weekday | 2 | 100.00% | 100.00% | 100.00% |

## Compilation Failures
- ackermann/ackermann.c::ack@0x11e9
- ackermann/ackermann.c::main@0x13b9
- anagram/anagram.c::AddWords@0x1a06
- anagram/anagram.c::BuildMask@0x13e7
- anagram/anagram.c::BuildWord@0x17e5
- anagram/anagram.c::CompareFrequency@0x1df3
- anagram/anagram.c::DumpCandidates@0x1ac2
- anagram/anagram.c::DumpWords@0x1b47
- anagram/anagram.c::FindAnagram@0x1ba6
- anagram/anagram.c::GetPhrase@0x1f37
- anagram/anagram.c::NewWord@0x16cf
- anagram/anagram.c::NextWord@0x173b
- anagram/anagram.c::ReadDict@0x121f
- anagram/anagram.c::SortCandidates@0x1e90
- anagram/anagram.c::main@0x1f71
- audio-codec/audio-codec.c::main@0x14b3
- audio-codec/audio-codec.c::test@0x13d2
- avl-tree/avlcore.c::CheckTreeNodeRotation@0x1c04
- avl-tree/avlcore.c::DeleteByElement@0x240f
- avl-tree/avlcore.c::DeleteByElementRecursive@0x21af
- avl-tree/avlcore.c::DeleteLeftMost@0x2086
- avl-tree/avlcore.c::FindByElement@0x1a46
- avl-tree/avlcore.c::Height@0x2475
- avl-tree/avlcore.c::Insert@0x1fc4
- avl-tree/avlcore.c::InsertNode@0x1e1e
- avl-tree/avlcore.c::MakeEmpty@0x201f
- avl-tree/avlcore.c::SingleLeftRotation@0x1b3a
- avl-tree/avlcore.c::SingleRightRotation@0x1afa
- avl-tree/avl-tree.c::breadth@0x132f
- avl-tree/avl-tree.c::main@0x1399
- avl-tree/avl-tree.c::printTree@0x11e9
- banner/banner.c::main@0x11e9
- blake2b/blake2b.c::BLAKE2B@0x1a9b
- blake2b/blake2b.c::F@0x1502
- blake2b/blake2b.c::assert_bytes@0x1f6c
- bloom-filter/bloom-filter.c::bad_search@0x11e9
- bloom-filter/tinybloom.c::bfilter_add@0x1642
- bloom-filter/tinybloom.c::bfilter_check@0x16d9
- bloom-filter/tinybloom.c::bfilter_intersect@0x1745
- bloom-filter/tinybloom.c::destroy_bfilter@0x15eb
- bloom-filter/bloom-filter.c::main@0x123d
- boyer-moore-search/boyer-moore-search.c::badCharHeuristic@0x11e9
- boyer-moore-search/boyer-moore-search.c::main@0x146d
- bubble-sort/bubble-sort.c::bubblesort@0x1256
- c-interp/c-interp.c::enum_declaration@0x3cf0
- c-interp/c-interp.c::eval@0x457c
- c-interp/c-interp.c::function_body@0x3fdf
- c-interp/c-interp.c::function_declaration@0x4237
- c-interp/c-interp.c::function_parameter@0x3e20
- c-interp/c-interp.c::global_declaration@0x430b
- c-interp/c-interp.c::main@0x4e03
- c-interp/c-interp.c::next@0x11e9
- c-interp/c-interp.c::statement@0x3a1d
- ccmac/ccmac.c::main@0x127e
- ccmac/ccmac.c::xr@0x11e9
- checkers/functions.c::all_possible_moves@0x1e82
- checkers/functions.c::board_cost@0x27e6
- checkers/functions.c::change_board@0x1cb6
- checkers/functions.c::check_move_error_1_to_5@0x1ace
- checkers/functions.c::fill_print_initial@0x1793
- checkers/functions.c::free_tree@0x2efa
- checkers/functions.c::generate_node_children@0x29ff
- checkers/functions.c::generate_tree_depth_3@0x2d4d
- checkers/functions.c::link_new_node@0x2ba8
- checkers/checkers.c::main@0x11e9
- checkers/functions.c::move_score_forced@0x2e10
- checkers/functions.c::print_board@0x19be
- checkers/functions.c::print_move_information@0x2903
- cipher/cipher.c::encipher@0x11e9
- cipher/cipher.c::main@0x13cd
- congrad/congrad.c::cg_axpy@0x15c5
- congrad/congrad.c::cg_build_matrix@0x125d
- congrad/congrad.c::cg_checksum@0x1918
- congrad/congrad.c::cg_solve@0x1643
- congrad/congrad.c::cg_spmv@0x1456
- congrad/congrad.c::main@0x199b
- connect4-minimax/connect4-minimax.c::init_board@0x11e9
- convex-hull/convex-hull.c::comparePoints@0x1285
- convex-hull/convex-hull.c::sortPoints@0x130b
- dhrystone/dhrystone.c::PFunc_2@0x1e91
- dhrystone/dhrystone.c::PProc_6@0x1bd8
- dhrystone/dhrystone.c::PProc_8@0x1cb5
- dhrystone/dhrystone.c::Proc_1@0x199f
- fft-int/fft-int.c::db_from_ampl@0x1807
- fft-int/fft-int.c::fix_fft@0x11e9
- fft-int/fft-int.c::window@0x1612
- flood-fill/flood-fill.c::main@0x144d
- frac-calc/frac-calc.c::copyr@0x14d4
- frac-calc/frac-calc.c::frac_init@0x1565
- frac-calc/frac-calc.c::main@0x11e9
- frac-calc/frac-calc.c::print@0x1f16
- fuzzy-match/fuzzy-match.c::compute_score@0x2379
- fuzzy-match/fuzzy-match.c::main@0x24b3
- fy-shuffle/fy-shuffle.c::main@0x1378
- fy-shuffle/fy-shuffle.c::rand_int@0x11e9
- gcd-list/gcd-list.c::gcd@0x11e9
- grad-descent/grad-descent.c::derivateWRTBias@0x12ab
- grad-descent/grad-descent.c::derivateWRTWeight@0x11e9
- grad-descent/grad-descent.c::gradientDescent@0x1350
- graph-tests/graph-tests.c::DFS_test@0x1bec
- graph-tests/graph-tests.c::addEdge@0x12c9
- graph-tests/graph-tests.c::addEdge_DFS@0x1a45
- graph-tests/graph-tests.c::addVertex@0x19f6
- graph-tests/graph-tests.c::bfs@0x15ce
- graph-tests/graph-tests.c::bubbleSort@0x1829
- graph-tests/graph-tests.c::createGraph@0x1221
- graph-tests/graph-tests.c::createNode@0x11e9
- graph-tests/graph-tests.c::createQueue@0x1372
- graph-tests/graph-tests.c::depthFirstSearch@0x1b31
- graph-tests/graph-tests.c::getAdjUnvisitedVertex@0x1ab4
- graph-tests/graph-tests.c::insertAtTheBegin@0x17b1
- graph-tests/graph-tests.c::link_list@0x18b8
- hanoi/hanoi.c::main@0x12d4
- hanoi/hanoi.c::mov@0x11e9
- heapsort/heapsort.c::HSORT@0x11e9
- heapsort/heapsort.c::main@0x155f
- huff-encode/huff-encode.c::buildHuffmanTree@0x1647
- huff-encode/huff-encode.c::buildMinHeap@0x1556
- huff-encode/huff-encode.c::createAndBuildMinHeap@0x15a2
- huff-encode/huff-encode.c::createMinHeap@0x1261
- huff-encode/huff-encode.c::createNode@0x1209
- huff-encode/huff-encode.c::decodeString@0x1866
- huff-encode/huff-encode.c::extractMin@0x1415
- huff-encode/huff-encode.c::generateCodes@0x1703
- huff-encode/huff-encode.c::insertMinHeap@0x1483
- huff-encode/huff-encode.c::minHeapify@0x12e8
- huff-encode/huff-encode.c::swapNodes@0x12b1
- idct-alg/idct-alg.c::C@0x11e9
- indirect-test/indirect-test.c::bar@0x11fc
- k-means/k-means.c::calculateCentroid@0x1327
- kepler/kepler.c::bin_fact@0x1b3e
- kepler/kepler.c::j_series@0x1501
- kepler/kepler.c::kepler@0x1dc9
- kepler/kepler.c::main@0x1608
- knapsack/knapsack.c::max@0x11e9
- knights-tour/knights-tour.c::solveKTUtil@0x1463
- life/life.c::draw@0x1369
- life/life.c::flip@0x16b8
- life/life.c::getDown@0x17c8
- life/life.c::getDownLeft@0x18bd
- life/life.c::getDownRight@0x1912
- life/life.c::getLeft@0x16e7
- life/life.c::getNumNeigbors@0x156f
- life/life.c::getRight@0x1732
- life/life.c::getUp@0x177d
- life/life.c::getUpLeft@0x1813
- life/life.c::init@0x1237
- life/life.c::process@0x1426
- life/life.c::sleep@0x1967
- longdiv/longdiv.c::main@0x18fd
- longdiv/longdiv.c::sub@0x11e9
- lu-decomp/lu-decomp.c::print_matrix@0x11e9
- lz-compress/lz-compress.c::main@0x14f1
- matmult/matmult.c::main@0x11e9
- max-subseq/max-subseq.c::lcsAlgo@0x11e9
- max-subseq/max-subseq.c::main@0x171a
- minspan/minspan.c::displayGraph@0x17f5
- minspan/minspan.c::displayGraph1@0x1965
- minspan/minspan.c::displayPath@0x1af2
- minspan/minspan.c::displayTree@0x1c30
- minspan/minspan.c::main@0x1d8f
- murmur-hash/murmur-hash.c::murmurhash@0x11e9
- n-queens/n-queens.c::main@0x12ec
- n-queens/n-queens.c::solve@0x1268
- packet-filter/packet-filter.c::generate_packet@0x11e9
- packet-filter/packet-filter.c::main@0x14c3
- packet-filter/packet-filter.c::print_packet@0x13e2
- parrondo/parrondo.c::cointoss@0x11e9
- pascal/pascal.c::main@0x12e7
- pi-calc/pi-calc.c::main@0x11e9
- primal-test/primal-test.c::main@0x1459
- primal-test/primal-test.c::powm@0x11e9
- priority-queue/priority-queue.c::newNode@0x11e9
- priority-queue/priority-queue.c::pop@0x125d
- priority-queue/priority-queue.c::printPQ@0x135e
- qsort-demo/qsort-demo.c::print_struct_array@0x155e
- qsort-demo/qsort-demo.c::sort_cstrings_example@0x1401
- qsort-demo/qsort-demo.c::sort_integers_example@0x1280
- qsort-demo/qsort-demo.c::sort_structs_example@0x1603
- qsort-test/qsort-test.c::main@0x1415
- quaternions/quaternions.c::euler_from_quat@0x1447
- quaternions/quaternions.c::quat_from_euler@0x11e9
- quaternions/quaternions.c::test@0x18b2
- rabinkarp-search/rabinkarp-search.c::main@0x1341
- rand-test/rand-test.c::run_tests@0x1258
- ransac/ransac.c::main@0x1466
- ransac/ransac.c::ransac_line_fitting@0x1290
- regex-parser/regex-parser.c::main@0x32b9
- regex-parser/regex-parser.c::matchmetachar@0x2bf3
- regex-parser/regex-parser.c::matchone@0x2dc3
- regex-parser/regex-parser.c::matchpattern@0x313f
- regex-parser/regex-parser.c::matchplus@0x2faf
- regex-parser/regex-parser.c::matchquestion@0x3072
- regex-parser/regex-parser.c::matchstar@0x2eda
- regex-parser/regex-parser.c::re_compile@0x22e1
- regex-parser/regex-parser.c::re_matchp@0x2225
- regex-parser/regex-parser.c::re_print@0x278f
- rle-compress/rle-compress.c::run_length_encode@0x11e9
- rsa-cipher/rsa-cipher.c::main@0x1634
- rsa-cipher/rsa-cipher.c::mod_pow@0x11e9
- sat-solver/sat-solver.c::conflict@0x11e9
- sat-solver/sat-solver.c::printFormula@0x1391
- sieve/sieve.c::SIEVE@0x11e9
- sieve/sieve.c::main@0x1300
- 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@0x135a
- tetris-sim/tetris-sim.c::best_move@0x1810
- tetris-sim/tetris-sim.c::main@0x1ba5
- topo-sort/topo-sort.c::addEdge@0x12cf
- topo-sort/topo-sort.c::createGraph@0x1259
- topo-sort/topo-sort.c::createListNode@0x1221
- topo-sort/topo-sort.c::createStackNode@0x11e9
- topo-sort/topo-sort.c::topologicalSort@0x13fd
- topo-sort/topo-sort.c::topologicalSortUtil@0x1332
- totient/totient.c::my_gcd@0x11e9
- transcend/transcend.c::run_fp64@0x1406
- vectors-3d/vectors-3d.c::get_angle@0x171f
- vectors-3d/vectors-3d.c::main@0x1b9f
- vectors-3d/vectors-3d.c::print_vector@0x144f
- vectors-3d/vectors-3d.c::test@0x17fb
- vectors-3d/vectors-3d.c::vector_prod@0x1373
- verlet/verlet.c::vb_checksum@0x160b
- verlet/verlet.c::vb_init@0x1271
- verlet/verlet.c::vb_step_avg@0x13aa

## Execution Failures
- aes/aes.c::inv_shift_rows@0x1396
- aes/aes.c::main@0x1b87
- audio-codec/audio-codec.c::encode@0x11e9
- bit-kernels/bit-kernels.c::main@0x138f
- blake2b/blake2b.c::G@0x1258
- blake2b/blake2b.c::blake2b@0x1cd3
- blake2b/blake2b.c::test@0x2071
- cipher/cipher.c::decipher@0x12db
- connect4-minimax/connect4-minimax.c::check_win@0x1533
- connect4-minimax/connect4-minimax.c::minimax@0x1d07
- connect4-minimax/connect4-minimax.c::print_board@0x1249
- convex-hull/convex-hull.c::main@0x13e7
- convex-hull/convex-hull.c::orientation@0x11e9
- fuzzy-match/fuzzy-match.c::fuzzy_match@0x21e9
- fy-shuffle/fy-shuffle.c::print@0x12ee
- grad-descent/grad-descent.c::main@0x1413
- huff-encode/huff-encode.c::main@0x192d
- idct-alg/idct-alg.c::main@0x1472
- idct-alg/idct-alg.c::print_matrix@0x13bd
- indirect-test/indirect-test.c::main@0x12c9
- k-means/k-means.c::kMeans@0x149a
- k-means/k-means.c::printEPS@0x1ab0
- kadane/kadane.c::main@0x1276
- kepler/kepler.c::binary@0x12c6
- lz-compress/lz-compress.c::lz77_decompress@0x13df
- mersenne/mersenne.c::sgenrand@0x11e9
- natlog/natlog.c::main@0x11e9
- nbody-sim/nbody-sim.c::main@0x11e9
- nr-solver/nr-solver.c::rn_solver@0x1275
- parrondo/parrondo.c::main@0x12cb
- qsort-test/qsort-test.c::print_string_array@0x13a4
- rho-factor/rho-factor.c::factor@0x5ab8
- rho-factor/rho-factor.c::main@0x5c7d
- rle-compress/rle-compress.c::test@0x137b
- rsa-cipher/rsa-cipher.c::mod_inverse@0x1363
- rsa-cipher/rsa-cipher.c::print_hex_int128@0x14ef
- shortest-path/shortest-path.c::main@0x1469
- spirograph/spirograph.c::test@0x13b8
- sudoku-solver/sudoku-solver.c::printBoard@0x14a7
- tiny-NN/tiny-NN.c::train@0x1485
- uniquify/uniquify.c::main@0x1228