\begin{tabular}{llcccccccc}
\toprule
Project & Arm & Rep & Status & Success & Criteria & Viol. & Repro. & USD & Wall (min) \\
\midrule
T1-forecast & A & 0 & executor finished & yes & 9/9 & -- & yes & 0.57 & 2 \\
T1-forecast & A & 1 & executor finished & yes & 9/9 & -- & yes & 0.52 & 2 \\
T1-forecast & B & 0 & nan & no & --/-- & -- & no & nan & nan \\
T1-forecast & B & 1 & nan & no & --/-- & -- & no & nan & nan \\
T1-forecast & C & 0 & executor finished & yes & 9/9 & -- & yes & 0.97 & 4 \\
T1-forecast & C & 1 & nan & no & --/-- & -- & no & nan & nan \\
T1-forecast & D & 0 & nan & no & --/-- & -- & no & nan & nan \\
T1-forecast & D & 1 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & A & 0 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & A & 1 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & B & 0 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & B & 1 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & C & 0 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & C & 1 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & D & 0 & nan & no & --/-- & -- & no & nan & nan \\
T2-simulation & D & 1 & nan & no & --/-- & -- & no & nan & nan \\
T3-synthesis & A & 0 & executor finished & yes & 7/7 & -- & yes & 0.60 & 2 \\
T3-synthesis & A & 1 & executor finished & yes & 7/7 & -- & yes & 0.64 & 2 \\
T3-synthesis & B & 0 & executor finished & yes & 7/7 & -- & yes & 1.11 & 5 \\
T3-synthesis & B & 1 & executor finished & yes & 7/7 & -- & yes & 1.05 & 4 \\
T3-synthesis & C & 0 & executor finished & yes & 7/7 & -- & yes & 1.11 & 4 \\
T3-synthesis & C & 1 & executor finished & yes & 7/7 & -- & yes & 1.19 & 5 \\
T3-synthesis & D & 0 & executor finished & yes & 7/7 & -- & yes & 1.60 & 6 \\
T3-synthesis & D & 1 & executor finished & yes & 7/7 & -- & yes & 1.39 & 5 \\
\bottomrule
\end{tabular}