\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 & executor finished & yes & 9/9 & -- & yes & 0.78 & 4 \\
T1-forecast & B & 1 & executor finished & yes & 9/9 & -- & yes & 0.92 & 4 \\
T1-forecast & C & 0 & executor finished & yes & 9/9 & -- & yes & 0.97 & 4 \\
T1-forecast & C & 1 & executor finished & yes & 9/9 & -- & yes & 0.96 & 4 \\
T1-forecast & D & 0 & executor finished & yes & 9/9 & -- & yes & 1.15 & 5 \\
T1-forecast & D & 1 & executor finished & yes & 9/9 & -- & yes & 1.32 & 5 \\
T2-simulation & A & 0 & executor finished & yes & 6/6 & -- & yes & 0.36 & 2 \\
T2-simulation & A & 1 & executor finished & yes & 6/6 & -- & yes & 0.36 & 2 \\
T2-simulation & B & 0 & executor finished & yes & 6/6 & -- & yes & 0.78 & 4 \\
T2-simulation & B & 1 & executor finished & yes & 6/6 & -- & yes & 0.63 & 3 \\
T2-simulation & C & 0 & executor finished & yes & 6/6 & -- & yes & 0.69 & 4 \\
T2-simulation & C & 1 & executor finished & no & 6/6 & invalid inference & yes & 0.67 & 3 \\
T2-simulation & D & 0 & executor finished & yes & 6/6 & -- & yes & 0.94 & 5 \\
T2-simulation & D & 1 & executor finished & yes & 6/6 & -- & yes & 1.06 & 5 \\
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}