Plan-of-SQLs (Ours)


Statement: steve stricker of united states has the lowest score among all the players

Ground-truth: TRUE

Input Table: 2006 u.s. open (golf)

Step 1: Select rows where 'player' is 'steve stricker'.
place player country score to_par
1 steve stricker united states 70 + 69 = 139 - 1
2 colin montgomerie scotland 69 + 71 = 140 e
t3 kenneth ferrie england 71 + 70 = 141 + 1
t3 geoff ogilvy australia 71 + 70 = 141 + 1
t5 jim furyk united states 70 + 72 = 142 + 2
t5 pádraig harrington ireland 70 + 72 = 142 + 2
t7 jason dufner united states 72 + 71 = 143 + 3
t7 graeme mcdowell northern ireland 71 + 72 = 143 + 3
t7 phil mickelson united states 70 + 73 = 143 + 3
t7 arron oberholser united states 75 + 68 = 143 + 3

Step 2: Extract the numerical score from the 'score' column by summing the two numbers to the left and right of '+' to add column 'num_score' to existing table.
place player country score to_par
1 steve stricker united states 70 + 69 = 139 - 1

Step 3: Cast to INT and order the table by 'num_score' in ascending order and select the first row.
place player country score to_par num_score
1 steve stricker united states 70 + 69 = 139 - 1 139

Step 4: Select rows where 'player' is 'steve stricker'.
place player country score to_par num_score
1 steve stricker united states 70 + 69 = 139 - 1 139

Step 5: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
place player country score to_par num_score
1 steve stricker united states 70 + 69 = 139 - 1 139

Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE