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 & nan & no & --/-- & -- & no & nan & nan \\8T1-forecast & B & 1 & nan & no & --/-- & -- & no & nan & nan \\9T1-forecast & C & 0 & executor finished & yes & 9/9 & -- & yes & 0.97 & 4 \\10T1-forecast & C & 1 & nan & no & --/-- & -- & no & nan & nan \\11T1-forecast & D & 0 & nan & no & --/-- & -- & no & nan & nan \\12T1-forecast & D & 1 & nan & no & --/-- & -- & no & nan & nan \\13T2-simulation & A & 0 & nan & no & --/-- & -- & no & nan & nan \\14T2-simulation & A & 1 & nan & no & --/-- & -- & no & nan & nan \\15T2-simulation & B & 0 & nan & no & --/-- & -- & no & nan & nan \\16T2-simulation & B & 1 & nan & no & --/-- & -- & no & nan & nan \\17T2-simulation & C & 0 & nan & no & --/-- & -- & no & nan & nan \\18T2-simulation & C & 1 & nan & no & --/-- & -- & no & nan & nan \\19T2-simulation & D & 0 & nan & no & --/-- & -- & no & nan & nan \\20T2-simulation & D & 1 & nan & no & --/-- & -- & no & nan & nan \\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