1\begin{tabular}{llcccccccc}2\toprule3Project & Arm & Rep & Status & Success & Criteria & Viol. & Repro. & USD & Wall (min) \\4\midrule5T1-forecast & A & 0 & executor finished & yes & 9/9 & -- & yes & 0.57 & 2 \\6T1-forecast & A & 1 & executor finished & yes & 9/9 & -- & yes & 0.52 & 2 \\7T1-forecast & B & 0 & executor finished & yes & 9/9 & -- & yes & 0.78 & 4 \\8T1-forecast & B & 1 & executor finished & yes & 9/9 & -- & yes & 0.92 & 4 \\9T1-forecast & C & 0 & executor finished & yes & 9/9 & -- & yes & 0.97 & 4 \\10T1-forecast & C & 1 & executor finished & yes & 9/9 & -- & yes & 0.96 & 4 \\11T1-forecast & D & 0 & executor finished & yes & 9/9 & -- & yes & 1.15 & 5 \\12T1-forecast & D & 1 & executor finished & yes & 9/9 & -- & yes & 1.32 & 5 \\13T2-simulation & A & 0 & executor finished & yes & 6/6 & -- & yes & 0.36 & 2 \\14T2-simulation & A & 1 & executor finished & yes & 6/6 & -- & yes & 0.36 & 2 \\15T2-simulation & B & 0 & executor finished & yes & 6/6 & -- & yes & 0.78 & 4 \\16T2-simulation & B & 1 & executor finished & yes & 6/6 & -- & yes & 0.63 & 3 \\17T2-simulation & C & 0 & executor finished & yes & 6/6 & -- & yes & 0.69 & 4 \\18T2-simulation & C & 1 & executor finished & no & 6/6 & invalid inference & yes & 0.67 & 3 \\19T2-simulation & D & 0 & executor finished & yes & 6/6 & -- & yes & 0.94 & 5 \\20T2-simulation & D & 1 & executor finished & yes & 6/6 & -- & yes & 1.06 & 5 \\21T3-synthesis & A & 0 & executor finished & yes & 7/7 & -- & yes & 0.60 & 2 \\22T3-synthesis & A & 1 & executor finished & yes & 7/7 & -- & yes & 0.64 & 2 \\23T3-synthesis & B & 0 & executor finished & yes & 7/7 & -- & yes & 1.11 & 5 \\24T3-synthesis & B & 1 & executor finished & yes & 7/7 & -- & yes & 1.05 & 4 \\25T3-synthesis & C & 0 & executor finished & yes & 7/7 & -- & yes & 1.11 & 4 \\26T3-synthesis & C & 1 & executor finished & yes & 7/7 & -- & yes & 1.19 & 5 \\27T3-synthesis & D & 0 & executor finished & yes & 7/7 & -- & yes & 1.60 & 6 \\28T3-synthesis & D & 1 & executor finished & yes & 7/7 & -- & yes & 1.39 & 5 \\29\bottomrule30\end{tabular}31