Worst-case Time Complexity Analysis on WISE
120Number of ExecutionsSPF-WCA
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| SPF-WCATarget Function=RedBlackTree.insert2026.07 | 120 | — | 1 | — | |
| SPF-WCATarget Function=HeapInsert2026.07 | 100 | — | 1 | — | |
| ShadowProbeTarget Function=QuickSort, LLM Backend=DeepSeek-V4-Flash2026.07 | 81 | — | 1 | — | |
| ShadowProbeTarget Function=MergeSort, LLM Backend=DeepSeek-V4-Flash2026.07 | 75 | — | 1 | — | |
| ShadowProbeTarget Function=SortedListInsert.insert, LLM Backend=DeepSeek-V4-Flash2026.07 | 74 | — | 1 | — | |
| ShadowProbeTarget Function=RedBlackTree.insert, LLM Backend=DeepSeek-V4-Flash2026.07 | 73 | — | 1 | — | |
| ShadowProbeTarget Function=InsertionSort, LLM Backend=DeepSeek-V4-Flash2026.07 | 59 | — | 1 | — | |
| ShadowProbeTarget Function=Dijkstra, LLM Backend=DeepSeek-V4-Flash2026.07 | 54 | — | 1 | — | |
| SPF-WCATarget Function=MergeSort2026.07 | 50 | — | 1 | — | |
| ShadowProbeTarget Function=BellmanFord, LLM Backend=DeepSeek-V4-Flash2026.07 | 43 | — | 1 | — | |
| ShadowProbeTarget Function=HeapInsert, LLM Backend=DeepSeek-V4-Flash2026.07 | 43 | — | 1 | — | |
| SPF-WCATarget Function=Dijkstra2026.07 | 30 | — | 1 | — | |
| ShadowProbeTarget Function=BinaryTree.search, LLM Backend=DeepSeek-V4-Flash2026.07 | 29 | — | 1 | — | |
| SPF-WCATarget Function=SortedListInsert.insert2026.07 | 20 | — | 1 | — | |
| SPF-WCATarget Function=QuickSort2026.07 | 20 | — | 1 | — | |
| SPF-WCATarget Function=BinaryTree.search2026.07 | 15 | — | 1 | — | |
| SPF-WCATarget Function=BellmanFord2026.07 | 12 | — | 1 | — | |
| ShadowProbeTarget Function=TSP, LLM Backend=DeepSeek-V4-Flash2026.07 | 12 | — | 1 | — | |
| SPF-WCATarget Function=TSP2026.07 | 7 | — | 1 | — | |
| SPF-WCATarget Function=InsertionSort2026.07 | 6 | — | 1 | — | |
| BadgerTarget Function=BellmanFord2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=BinaryTree.search2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=HeapInsert2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=RedBlackTree.insert2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=Dijkstra2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=SortedListInsert.insert2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=TSP2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=QuickSort2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=MergeSort2026.07 | 5 | — | 2 | — | |
| BadgerTarget Function=InsertionSort2026.07 | 5 | — | 2 | — | |
| BadgerMetric Type=Overall Average Analysis Time2026.07 | — | — | — | 3,085 | |
| ShadowProbeMetric Type=Overall Average Analysis Time2026.07 | — | — | — | 379 | |
| SPF-WCAMetric Type=Overall Average Analysis Time2026.07 | — | — | — | 1,790 |