Plan-of-SQLs (Ours)


Statement: coherence is the name when windows and web interface are partial

Ground-truth: FALSE

Input Table: comparison of upnp av media servers

Step 1: Select rows where 'windows' is 'partial'.
name license os_x unix___like windows web_interface
360 media server gpl no yes yes yes
avia media player prop no no no no
brisa mit partial partial no yes
coherence mit partial partial partial yes
divx prop yes no yes no
elgato eyeconnect prop yes no no no
foobar2000 prop no no yes no
fuppes gpl yes yes yes yes
geexbox ushare gpl no yes no yes
gmediaserver gpl no yes no no
home media center gplv2 no no yes yes
isedora media server prop yes no yes yes
jriver media center prop no no yes yes
kooraroo media prop yes yes yes yes
lximedia gpl yes yes yes no
majestic media server prop yes no no no
mediatomb gpl partial yes no yes
minidlna gpl / bsd partial yes yes partial
mezzmo prop no no yes no
myihome prop yes yes yes no
mythtv with upnp gpl yes yes no yes
nullriver medialink prop yes no no no
playon prop no no yes yes
plex prop yes yes yes yes
ps3 media server gpl yes yes yes yes
pymeds mit partial partial no no
rygel lgplv2 no yes no no
rivet prop yes no no no
serviio prop yes yes yes yes
simplecenter premium prop no no yes yes
skifta prop yes yes yes no
songbird gplv2 yes no yes no
tvble prop no no yes no
tversity prop no no yes yes
tvmobili prop yes yes yes yes
tvshare prop no no yes no
twonkyserver prop yes yes yes yes
universal media server gpl yes yes yes yes
windows media connect prop no no yes no
wild media server prop yes yes yes yes
xbmc media center gpl yes yes yes yes
xupnpd gplv2 no yes no yes
yazsoft playback prop yes no no no
name license os x unix - like windows web interface

Step 2: Select rows where 'web_interface' is 'partial'.
name license os_x unix___like windows web_interface
coherence mit partial partial partial yes

Step 3: Select rows where 'name' is 'coherence'.
name license os_x unix___like windows web_interface

Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
name license os_x unix___like windows web_interface

Final output table:
verification_result
FALSE

Prediction: FALSE

Ground-truth: FALSE