Plan-of-SQLs (Ours)


Statement: l 72 - 86 results has a seed less than 12 and a year thats larger than 1996

Ground-truth: FALSE

Input Table: vcu rams men 's basketball

Step 1: Select rows where 'results' contains 'l 72 - 86'.
year record seed region results
1980 18 - 12 12 east l 72 - 86
1981 24 - 5 5 east w 85 - 69 l 56 - 58 ot
1983 24 - 7 5 east w 76 - 67 l 54 - 56
1984 23 - 7 6 east w 70 - 69 l 63 - 78
1985 26 - 6 2 west w 81 - 65 l 59 - 63
1996 24 - 9 12 southeast l 51 - 58
2004 23 - 8 13 east l 78 - 79
2007 28 - 7 11 west w 79 - 77 l 79 - 84 ot
2009 24 - 10 11 east l 64 - 65
2011 28 - 12 11 southwest w 59 - 46 w 74 - 56 w 94 - 76 w 72 - 71 ot w 71 - 61 l 62 - 70
2012 29 - 7 12 midwest w 62 - 59 l 61 - 63
2013 27 - 9 5 south w 88 - 42 l 53 - 78

Step 2: Select rows where 'seed' is less than 12.
year record seed region results
1980 18 - 12 12 east l 72 - 86

Step 3: Select rows where 'year' is larger than 1996.
year record seed region results

Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
year record seed region results

Final output table:
verification_result
FALSE

Prediction: FALSE

Ground-truth: FALSE